hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-30 11:15:13 +02:00
Code Issues Packages Projects Releases Wiki Activity

Java: Add more neutrals

Browse Source 
Adds more neutral models to help the model generator ignore certain callables.

Also improves the precision of certain URL models by using synthetic fields so that the parts of a URL are tainted separately.
This commit is contained in:
Tony Torralba
2024-03-26 17:26:58 +01:00
parent 2de62dfcdd
commit d786ea90a4
5 changed files with 96 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

27
java/ql/lib/ext/java.nio.file.model.yml
View File

@@ -90,8 +90,31 @@ extensions:
extensible: neutralModel
data:
# summary neutrals
- ["java.nio.file", "Files", "exists", "(Path,LinkOption[])", "summary", "manual"]
- ["java.nio.file", "Files", "newInputStream", "(Path,OpenOption[])", "summary", "df-manual"]
- ["java.nio.file", "Files", "copy", "", "summary", "df-manual"]
- ["java.nio.file", "Files", "createDirectories", "", "summary", "df-manual"]
- ["java.nio.file", "Files", "createDirectory", "", "summary", "df-manual"]
- ["java.nio.file", "Files", "createFile", "", "summary", "df-manual"]
- ["java.nio.file", "Files", "createLink", "", "summary", "df-manual"]
- ["java.nio.file", "Files", "createSymbolicLink", "", "summary", "df-manual"]
- ["java.nio.file", "Files", "createTempDirectory", "", "summary", "df-manual"]
- ["java.nio.file", "Files", "createTempFile", "", "summary", "df-manual"]
- ["java.nio.file", "Files", "delete", "", "summary", "df-manual"]
- ["java.nio.file", "Files", "deleteIfExists", "", "summary", "df-manual"]
- ["java.nio.file", "Files", "getFileStore", "", "summary", "df-manual"]
- ["java.nio.file", "Files", "exists", "", "summary", "df-manual"]
- ["java.nio.file", "Files", "lines", "", "summary", "df-manual"]
- ["java.nio.file", "Files", "move", "", summary, "df-manual"]
- ["java.nio.file", "Files", "newBufferedReader", "", "summary", "df-manual"]
- ["java.nio.file", "Files", "newBufferedWriter", "", summary, "df-manual"]
- ["java.nio.file", "Files", "newInputStream", "", "summary", "df-manual"]
- ["java.nio.file", "Files", "newOutputStream", "", summary, "df-manual"]
- ["java.nio.file", "Files", "notExists", "", "summary", "df-manual"]
- ["java.nio.file", "Files", "probeContentType", "", "summary", "df-manual"]
- ["java.nio.file", "Files", "readAllBytes", "", "summary", "df-manual"]
- ["java.nio.file", "Files", "readAllLines", "", "summary", "df-manual"]
- ["java.nio.file", "Files", "readString", "", "summary", "df-manual"]
- ["java.nio.file", "Files", "write", "", summary, "df-manual"]
- ["java.nio.file", "Files", "writeString", "", summary, "df-manual"]
# sink neutrals
- ["java.nio.file", "Files", "getLastModifiedTime", "", "sink", "hq-manual"]
- ["java.nio.file", "Files", "getOwner", "", "sink", "hq-manual"]