Files
codeql/javascript/ql/test/library-tests/TaintTracking/booleanOps.js
2023-10-13 13:15:08 +02:00

24 lines
362 B
JavaScript

function test() {
let x = source();
sink(x); // NOT OK
if (x === 'a')
sink(x); // OK
if (x === 'a' || x === 'b')
sink(x); // OK
if (x === 'a' || 1 === 1)
sink(x); // NOT OK
if (isSafe(x))
sink(x); // OK
if (isSafe(x, y) || isSafe(x, z))
sink(x); // OK [INCONSISTENCY]
if (isSafe(x) || 1 === 1)
sink(x); // NOT OK
}