mirror of
https://github.com/github/codeql.git
synced 2025-12-17 17:23:36 +01:00
26 lines
341 B
JavaScript
26 lines
341 B
JavaScript
import * as dummy from 'dummy';
|
|
|
|
function f(x) {
|
|
useVar();
|
|
useVar();
|
|
mutateVar();
|
|
mutateVar();
|
|
|
|
function useVar() {
|
|
if (isSafe(x)) {
|
|
causeReCapture();
|
|
causeReCapture();
|
|
sink(x); // OK
|
|
}
|
|
sink(x); // NOT OK
|
|
}
|
|
|
|
function causeReCapture() {}
|
|
|
|
function mutateVar() {
|
|
x = null;
|
|
}
|
|
}
|
|
|
|
f(source());
|