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

Run generation script

Browse Source 
The command line was:
python3 /Users/owen-mc/workspace/codeql-home/codeql/java/ql/src/utils/modelgenerator/GenerateFlowModel.py /Users/owen-mc/db/java/openjdk17 --with-summaries --with-neutrals
This commit is contained in:
Owen Mansel-Chan
2024-02-29 13:03:20 +00:00
parent 7bb2b57394
commit f03a56f7e0
146 changed files with 15154 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

63
java/ql/lib/ext/generated/java.util.regex.model.yml Normal file
View File

@@ -0,0 +1,63 @@
# THIS FILE IS AN AUTO-GENERATED MODELS AS DATA FILE. DO NOT EDIT.
extensions:
- addsTo:
pack: codeql/java-all
extensible: summaryModel
data:
- ["java.util.regex", "MatchResult", True, "group", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
- ["java.util.regex", "MatchResult", True, "group", "(int)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
- ["java.util.regex", "Matcher", False, "appendReplacement", "(StringBuffer,String)", "", "Argument[this]", "Argument[0]", "taint", "df-generated"]
- ["java.util.regex", "Matcher", False, "appendReplacement", "(StringBuffer,String)", "", "Argument[this]", "ReturnValue", "value", "df-generated"]
- ["java.util.regex", "Matcher", False, "appendReplacement", "(StringBuilder,String)", "", "Argument[this]", "Argument[0]", "taint", "df-generated"]
- ["java.util.regex", "Matcher", False, "appendReplacement", "(StringBuilder,String)", "", "Argument[this]", "ReturnValue", "value", "df-generated"]
- ["java.util.regex", "Matcher", False, "appendTail", "(StringBuffer)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["java.util.regex", "Matcher", False, "appendTail", "(StringBuffer)", "", "Argument[this]", "Argument[0]", "taint", "df-generated"]
- ["java.util.regex", "Matcher", False, "appendTail", "(StringBuffer)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
- ["java.util.regex", "Matcher", False, "appendTail", "(StringBuilder)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["java.util.regex", "Matcher", False, "appendTail", "(StringBuilder)", "", "Argument[this]", "Argument[0]", "taint", "df-generated"]
- ["java.util.regex", "Matcher", False, "appendTail", "(StringBuilder)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
- ["java.util.regex", "Matcher", False, "pattern", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
- ["java.util.regex", "Matcher", False, "quoteReplacement", "(String)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["java.util.regex", "Matcher", False, "region", "(int,int)", "", "Argument[this]", "ReturnValue", "value", "df-generated"]
- ["java.util.regex", "Matcher", False, "reset", "()", "", "Argument[this]", "ReturnValue", "value", "df-generated"]
- ["java.util.regex", "Matcher", False, "reset", "(CharSequence)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
- ["java.util.regex", "Matcher", False, "reset", "(CharSequence)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["java.util.regex", "Matcher", False, "reset", "(CharSequence)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
- ["java.util.regex", "Matcher", False, "toMatchResult", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
- ["java.util.regex", "Matcher", False, "useAnchoringBounds", "(boolean)", "", "Argument[this]", "ReturnValue", "value", "df-generated"]
- ["java.util.regex", "Matcher", False, "usePattern", "(Pattern)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
- ["java.util.regex", "Matcher", False, "usePattern", "(Pattern)", "", "Argument[this]", "ReturnValue", "value", "df-generated"]
- ["java.util.regex", "Matcher", False, "useTransparentBounds", "(boolean)", "", "Argument[this]", "ReturnValue", "value", "df-generated"]
- ["java.util.regex", "Pattern", False, "compile", "(String,int)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["java.util.regex", "Pattern", False, "pattern", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
- ["java.util.regex", "PatternSyntaxException", True, "PatternSyntaxException", "(String,String,int)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
- ["java.util.regex", "PatternSyntaxException", True, "PatternSyntaxException", "(String,String,int)", "", "Argument[1]", "Argument[this]", "taint", "df-generated"]
- ["java.util.regex", "PatternSyntaxException", True, "getDescription", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
- ["java.util.regex", "PatternSyntaxException", True, "getPattern", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
- addsTo:
pack: codeql/java-all
extensible: neutralModel
data:
- ["java.util.regex", "MatchResult", "end", "()", "summary", "df-generated"]
- ["java.util.regex", "MatchResult", "end", "(int)", "summary", "df-generated"]
- ["java.util.regex", "MatchResult", "groupCount", "()", "summary", "df-generated"]
- ["java.util.regex", "MatchResult", "start", "()", "summary", "df-generated"]
- ["java.util.regex", "MatchResult", "start", "(int)", "summary", "df-generated"]
- ["java.util.regex", "Matcher", "end", "(String)", "summary", "df-generated"]
- ["java.util.regex", "Matcher", "find", "(int)", "summary", "df-generated"]
- ["java.util.regex", "Matcher", "hasAnchoringBounds", "()", "summary", "df-generated"]
- ["java.util.regex", "Matcher", "hasTransparentBounds", "()", "summary", "df-generated"]
- ["java.util.regex", "Matcher", "hitEnd", "()", "summary", "df-generated"]
- ["java.util.regex", "Matcher", "lookingAt", "()", "summary", "df-generated"]
- ["java.util.regex", "Matcher", "matches", "()", "summary", "df-generated"]
- ["java.util.regex", "Matcher", "regionEnd", "()", "summary", "df-generated"]
- ["java.util.regex", "Matcher", "regionStart", "()", "summary", "df-generated"]
- ["java.util.regex", "Matcher", "requireEnd", "()", "summary", "df-generated"]
- ["java.util.regex", "Matcher", "results", "()", "summary", "df-generated"]
- ["java.util.regex", "Matcher", "start", "(String)", "summary", "df-generated"]
- ["java.util.regex", "Pattern", "asMatchPredicate", "()", "summary", "df-generated"]
- ["java.util.regex", "Pattern", "asPredicate", "()", "summary", "df-generated"]
- ["java.util.regex", "Pattern", "flags", "()", "summary", "df-generated"]
- ["java.util.regex", "Pattern", "matches", "(String,CharSequence)", "summary", "df-generated"]
- ["java.util.regex", "Pattern", "splitAsStream", "(CharSequence)", "summary", "df-generated"]
- ["java.util.regex", "PatternSyntaxException", "getIndex", "()", "summary", "df-generated"]