File tree Expand file tree Collapse file tree 1 file changed +3
-7
lines changed
cpp/ql/test/library-tests/dataflow/DefaultTaintTracking Expand file tree Collapse file tree 1 file changed +3
-7
lines changed Original file line number Diff line number Diff line change @@ -3,13 +3,9 @@ import semmle.code.cpp.security.Security
33import semmle.code.cpp.security.TaintTracking as ASTTaintTracking
44import semmle.code.cpp.ir.dataflow.DefaultTaintTracking as IRDefaultTaintTracking
55
6- predicate astFlow ( Expr source , Element sink ) {
7- ASTTaintTracking:: tainted ( source , sink )
8- }
6+ predicate astFlow ( Expr source , Element sink ) { ASTTaintTracking:: tainted ( source , sink ) }
97
10- predicate irFlow ( Expr source , Element sink ) {
11- IRDefaultTaintTracking:: tainted ( source , sink )
12- }
8+ predicate irFlow ( Expr source , Element sink ) { IRDefaultTaintTracking:: tainted ( source , sink ) }
139
1410from Expr source , Element sink , string note
1511where
2016 irFlow ( source , sink ) and
2117 not astFlow ( source , sink ) and
2218 note = "IR only"
23- select source , sink , note
19+ select source , sink , note
You can’t perform that action at this time.
0 commit comments