mirror of
https://github.com/github/codeql.git
synced 2025-12-17 17:23:36 +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.
15 lines
456 B
Plaintext
15 lines
456 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
|