mirror of
https://github.com/github/codeql.git
synced 2025-12-20 10:46:30 +01:00
f07a7bf8cf
Will need subsequent PRs fixing up test failures (due to deprecated methods moving around), but other than that everything should be straight-forward.
14 lines
217 B
Plaintext
14 lines
217 B
Plaintext
import python
|
|
|
|
from Value val, string name
|
|
where
|
|
val = Value::named(name) and
|
|
(
|
|
name = "bool" or
|
|
name = "sys" or
|
|
name = "sys.argv" or
|
|
name = "ValueError" or
|
|
name = "slice"
|
|
)
|
|
select val, name
|