File tree Expand file tree Collapse file tree 1 file changed +4
-4
lines changed
cpp/ql/src/experimental/Security/CWE/CWE-243 Expand file tree Collapse file tree 1 file changed +4
-4
lines changed Original file line number Diff line number Diff line change @@ -22,8 +22,8 @@ predicate inExistsChdir(FunctionCall fcp) {
22
22
fctmp .getTarget ( ) .hasGlobalOrStdName ( "fchdir" )
23
23
) and
24
24
(
25
- fctmp . getASuccessor * ( ) = fcp or
26
- fcp . getASuccessor * ( ) = fctmp
25
+ fcp . getBasicBlock ( ) . getASuccessor * ( ) = fctmp . getBasicBlock ( ) or
26
+ fctmp . getBasicBlock ( ) . getASuccessor * ( ) = fcp . getBasicBlock ( )
27
27
)
28
28
)
29
29
}
@@ -40,8 +40,8 @@ predicate outExistsChdir(FunctionCall fcp) {
40
40
fctmp2 .getEnclosingStmt ( ) .getParentStmt * ( ) = fctmp .getTarget ( ) .getEntryPoint ( ) .getChildStmt * ( )
41
41
) and
42
42
(
43
- fctmp . getASuccessor * ( ) = fcp or
44
- fcp . getASuccessor * ( ) = fctmp
43
+ fcp . getBasicBlock ( ) . getASuccessor * ( ) = fctmp . getBasicBlock ( ) or
44
+ fctmp . getBasicBlock ( ) . getASuccessor * ( ) = fcp . getBasicBlock ( )
45
45
)
46
46
)
47
47
}
You can’t perform that action at this time.
0 commit comments