Merge pull request github#5639 from tausbn/python-api-graphs-missing-builtins

tausbn · web-flow · commit 981c5deb5787 · 2021-04-13T21:27:52.000+02:00
Python: Add missing builtins to `API::builtin`
diff --git a/python/ql/src/semmle/python/ApiGraphs.qll b/python/ql/src/semmle/python/ApiGraphs.qll
@@ -363,7 +363,7 @@ module API {
           n.isGlobal() and
           n.isLoad() and
           name = n.getId() and
-          name = any(Builtins::Builtin b).getName()
+          name in [any(Builtins::Builtin b).getName(), "None", "True", "False"]
         )
     }
 

Original file line number	Diff line number	Diff line change
`@@ -363,7 +363,7 @@ module API {`
`363`	`363`	`n.isGlobal() and`
`364`	`364`	`n.isLoad() and`
`365`	`365`	`name = n.getId() and`
`366`		`- name = any(Builtins::Builtin b).getName()`
	`366`	`+ name in [any(Builtins::Builtin b).getName(), "None", "True", "False"]`
`367`	`367`	`)`
`368`	`368`	`}`
`369`	`369`