hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-24 04:36:35 +01:00
Code Issues Packages Projects Releases Wiki Activity

have rb/meta/taint-steps print only one for each file, to limit the size of the output

Browse Source
This commit is contained in:
erik-krogh
2022-10-06 15:19:11 +02:00
parent 169965cfb9
commit c1fae91a1f
1 changed files with 6 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
ruby/ql/src/queries/meta/TaintSteps.ql
View File

@@ -14,8 +14,10 @@ import codeql.ruby.dataflow.internal.TaintTrackingPublic
predicate relevantStep(DataFlow::Node pred, DataFlow::Node succ) { localTaintStep(pred, succ) }
from DataFlow::Node pred, int numOfSuccessors
from File file, int numSteps
where
relevantStep(pred, _) and
numOfSuccessors = count(DataFlow::Node succ | relevantStep(pred, succ))
select pred, "Step to " + numOfSuccessors + " other nodes."
numSteps =
strictcount(DataFlow::Node pred, DataFlow::Node succ |
relevantStep(pred, succ) and pred.getLocation().getFile() = file
)
select file, "File has " + numSteps + " taint steps."