Python: Correctly locate stores to built-ins

This commit is contained in:
Taus
2021-05-12 18:07:18 +00:00
committed by GitHub
parent 3d30efed11
commit ff2b6b9737

View File

@@ -422,7 +422,7 @@ module API {
*/
private predicate possible_builtin_defined_in_module(string name, Module m) {
exists(NameNode n |
n.isGlobal() and
not exists(LocalVariable v | n.defines(v)) and
n.isStore() and
name = n.getId() and
name = builtin_name() and