mirror of
https://github.com/github/codeql.git
synced 2025-12-18 09:43:15 +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
314 B
Plaintext
13 lines
314 B
Plaintext
import python
|
|
import Lib
|
|
|
|
from ControlFlowNode f, TrackableState state, Context ctx, boolean sense
|
|
where
|
|
f.getLocation().getStartLine() >= 20 and
|
|
(
|
|
state.appliesTo(f, ctx) and sense = true
|
|
or
|
|
state.mayNotApplyTo(f, ctx) and sense = false
|
|
)
|
|
select f.getLocation().toString(), f, ctx, state, sense
|