Java: add java.time models

2026-04-30 11:15:13 +02:00 · 2022-12-21 12:54:35 -05:00
parent 8e20aeb314
commit cfe075ef54
1 changed files with 8 additions and 0 deletions
--- a/java/ql/lib/ext/java.time.model.yml
+++ b/java/ql/lib/ext/java.time.model.yml
@@ -0,0 +1,8 @@
+extensions:
+  - addsTo:
+      pack: codeql/java-all
+      extensible: neutralModel
+    data:
+      - ["java.time", "Instant", "now", "()", "manual"]
+      - ["java.time", "LocalDate", "of", "(int,int,int)", "manual"]
+      - ["java.time", "ZonedDateTime", "now", "()", "manual"]