mirror of
https://github.com/github/codeql.git
synced 2025-12-18 01:33:15 +01:00
8 lines
158 B
Plaintext
8 lines
158 B
Plaintext
import python
|
|
|
|
from Value val, string name
|
|
where
|
|
val = Value::named(name) and
|
|
name in ["bool", "sys", "sys.argv", "ValueError", "slice"]
|
|
select val, name
|