mirror of
https://github.com/github/codeql.git
synced 2026-08-06 02:13:10 +02:00
17 lines
525 B
Plaintext
17 lines
525 B
Plaintext
import python
|
|
|
|
// this can be quick-eval to see which ones have splitting. But that's basically just
|
|
// anything from line 39 and further.
|
|
predicate exprWithSplitting(Expr e) {
|
|
exists(e.getLocation().getFile().getRelativePath()) and
|
|
1 < count(ControlFlowNode cfn | cfn.getNode() = e)
|
|
}
|
|
|
|
from File f, string msg
|
|
where
|
|
exists(f.getRelativePath()) and
|
|
if exists(Expr e | e.getLocation().getFile() = f and exprWithSplitting(e))
|
|
then msg = "has splitting"
|
|
else msg = "does not have splitting"
|
|
select f.toString(), msg
|