зеркало из https://github.com/github/codeql.git
Update swift/ql/src/queries/Summary/SummaryStats.ql
Co-authored-by: Mathias Vorreiter Pedersen <mathiasvp@github.com>
This commit is contained in:
Родитель
80cd994e36
Коммит
e288b07099
|
@ -25,7 +25,7 @@ class TaintReachConfig extends TaintTracking::Configuration {
|
|||
|
||||
float taintReach() {
|
||||
exists(TaintReachConfig config, int tainted, int total |
|
||||
tainted = count(DataFlow::Node n | config.hasFlow(_, n)) and
|
||||
tainted = count(DataFlow::Node n | config.hasFlowTo(n)) and
|
||||
total = count(DataFlow::Node n) and
|
||||
result = (tainted * 1000000.0) / total
|
||||
)
|
||||
|
|
Загрузка…
Ссылка в новой задаче