mirror of
https://github.com/github/codeql.git
synced 2025-12-20 02:44:30 +01:00
17 lines
450 B
Plaintext
17 lines
450 B
Plaintext
|
|
import python
|
|
import Resources.FileOpen
|
|
|
|
|
|
from EssaVariable v, EssaDefinition def, string open, string exit
|
|
where def = v.getDefinition() and v.getSourceVariable().getName().charAt(0) = "f" and
|
|
(
|
|
var_is_open(v, _) and open = "open"
|
|
or
|
|
not var_is_open(v, _) and open = "closed"
|
|
)
|
|
and
|
|
if BaseFlow::reaches_exit(v) then exit = "exit" else exit = ""
|
|
|
|
select v.getRepresentation() + " = " + v.getDefinition().getRepresentation(), open, exit
|