File tree Expand file tree Collapse file tree 1 file changed +2
-2
lines changed
javascript/ql/src/experimental/Security/CWE-918 Expand file tree Collapse file tree 1 file changed +2
-2
lines changed Original file line number Diff line number Diff line change @@ -55,14 +55,14 @@ deprecated class Configuration extends TaintTracking::Configuration {
5555class TernaryOperatorSanitizer extends RequestForgery:: Sanitizer {
5656 TernaryOperatorSanitizer ( ) {
5757 exists (
58- TaintTracking:: SanitizerGuardNode guard , IfStmt ifStmt , DataFlow:: Node taintedInput ,
58+ TaintTracking:: AdditionalBarrierGuard guard , IfStmt ifStmt , DataFlow:: Node taintedInput ,
5959 boolean outcome , Stmt r , DataFlow:: Node falseNode
6060 |
6161 ifStmt .getCondition ( ) .flow ( ) .getAPredecessor + ( ) = guard and
6262 ifStmt .getCondition ( ) .flow ( ) .getAPredecessor + ( ) = falseNode and
6363 falseNode .asExpr ( ) .( BooleanLiteral ) .mayHaveBooleanValue ( false ) and
6464 not ifStmt .getCondition ( ) instanceof LogicalBinaryExpr and
65- guard .sanitizes ( outcome , taintedInput .asExpr ( ) ) and
65+ guard .blocksExpr ( outcome , taintedInput .asExpr ( ) ) and
6666 (
6767 outcome = true and r = ifStmt .getThen ( ) and not ifStmt .getCondition ( ) instanceof LogNotExpr
6868 or
You can’t perform that action at this time.
0 commit comments