mirror of
https://github.com/github/codeql.git
synced 2025-12-19 18:33:16 +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.
13 lines
295 B
Plaintext
13 lines
295 B
Plaintext
import python
|
|
import Lib
|
|
|
|
from ControlFlowNode f, TrackableState state
|
|
where
|
|
(
|
|
callTo(f, "exacerbate") and state = "frobnicated"
|
|
or
|
|
callTo(f, "frobnicate") and state = "initialized"
|
|
) and
|
|
state.mayNotApplyTo(f)
|
|
select f.getLocation().toString(), f.toString(), state.toString()
|