Skip to content

Commit 1544f49

Browse files
Jami CogswellJami Cogswell
authored andcommitted
Java: add java.math models
1 parent ed534b0 commit 1544f49

File tree

1 file changed

+9
-0
lines changed

1 file changed

+9
-0
lines changed

java/ql/lib/ext/java.math.model.yml

Lines changed: 9 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -4,3 +4,12 @@ extensions:
44
extensible: summaryModel
55
data:
66
- ["java.math", "BigDecimal", False, "BigDecimal", "(String)", "", "Argument[0]", "Argument[-1]", "taint", "manual"]
7+
- ["java.math", "BigDecimal", False, "valueOf", "(long)", "", "Argument[0]", "ReturnValue", "taint", "manual"] # ! consider making this signatureless and merging with the below line instead
8+
- ["java.math", "BigDecimal", False, "valueOf", "(double)", "", "Argument[0]", "ReturnValue", "taint", "manual"]
9+
- ["java.lang", "Math", False, "min", "(int,int)", "", "Argument[0..1]", "ReturnValue", "value", "manual"]
10+
11+
- addsTo:
12+
pack: codeql/java-all
13+
extensible: neutralModel
14+
data:
15+
- ["java.math", "BigDecimal", "compareTo", "(BigDecimal)", "manual"]

0 commit comments

Comments
 (0)