mirror of
https://github.com/github/codeql.git
synced 2025-12-20 18:56:32 +01:00
14 lines
243 B
Plaintext
14 lines
243 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
|