Fixed map modeling and added test cases.

This commit is contained in:
Napalys
2025-03-20 12:18:28 +01:00
parent 922a07d01e
commit 752f02f04d
2 changed files with 8 additions and 1 deletions

View File

@@ -122,3 +122,8 @@ function chaining() {
return value + source("s21");
}).value()); // $ hasTaintFlow=s20 hasTaintFlow=s21
}
function mapTests(){
sink(s.map(source("s1"), (x) => {return x + source("s2");})); // $ hasTaintFlow=s1 hasTaintFlow=s2
s.map(source("s1"), (x) => { sink(x); return x;}); // $ hasTaintFlow=s1
}