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

Python: Add missing builtins to `API::builtin`
2026-04-29 18:55:14 +02:00 · 2021-04-13 21:27:52 +02:00
parent f341d5010d affdedd840
commit 981c5deb57
1 changed files with 1 additions and 1 deletions
--- 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"]
        )
    }