Added modeling of underscore.string for str to array.

This commit is contained in:
Napalys
2025-03-17 12:52:56 +01:00
parent c256b9c336
commit 30623cd953
2 changed files with 5 additions and 4 deletions

View File

@@ -35,8 +35,8 @@ function strToStr() {
}
function strToArray() {
sink(s.chop(source("s1"), 3)[0]); // $ MISSING: hasTaintFlow=s1
sink(s.chars(source("s2")[0])); // $ MISSING: hasTaintFlow=s2
sink(s.words(source("s3")[0])); // $ MISSING: hasTaintFlow=s3
sink(s.lines(source("s7")[0])); // $ MISSING: hasTaintFlow=s7
sink(s.chop(source("s1"), 3)[0]); // $ hasTaintFlow=s1
sink(s.chars(source("s2")[0])); // $ hasTaintFlow=s2
sink(s.words(source("s3")[0])); // $ hasTaintFlow=s3
sink(s.lines(source("s7")[0])); // $ hasTaintFlow=s7
}