mirror of
https://github.com/github/codeql.git
synced 2025-12-20 10:46:30 +01:00
15 lines
478 B
Plaintext
15 lines
478 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
|