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