Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Java/Shared: Refactor TypeFlow.qll into a shared library #15728

Merged
merged 17 commits into from
Apr 5, 2024
Merged

Java/Shared: Refactor TypeFlow.qll into a shared library #15728

Show file tree
Hide file tree
Changes from 8 commits
Commits
Show all changes
17 commits
Select commit Hold shift + click to select a range
9ec17e6
Shared: Pull out the shared parts of Java's type flow library into a …
MathiasVP Feb 26, 2024
1d4c889
Java: Use the shared type-flow library.
MathiasVP Feb 26, 2024
690fdc0
Shared: Add change note.
MathiasVP Feb 26, 2024
2fd57f6
Shared: Remove cached annotation.
MathiasVP Feb 28, 2024
90fbacc
Java/Shared: Use getLocation instead of hasLocationInfo.
MathiasVP Mar 20, 2024
6a65c46
Java/Shared: Share more 'isNull' computations.
MathiasVP Mar 20, 2024
ebac171
Java/Shared: Rename 'joinStep0' to 'joinStep'.
MathiasVP Mar 20, 2024
1acbb84
Shared/Java: Make the 'isNull' interface slightly prettier.
MathiasVP Apr 5, 2024
3f63d3a
Update java/ql/lib/semmle/code/java/dataflow/TypeFlow.qll
MathiasVP Apr 5, 2024
26cf8df
Update java/ql/lib/semmle/code/java/dataflow/TypeFlow.qll
MathiasVP Apr 5, 2024
1775bde
Java: Remove redundant qualifiers.
MathiasVP Apr 5, 2024
3f69678
Update shared/typeflow/codeql/typeflow/internal/TypeFlowImpl.qll
MathiasVP Apr 5, 2024
a2c29fe
Shared: nomagicify 'getASourceSupertype'.
MathiasVP Apr 5, 2024
bffa262
Shared: Make 'getAStrictAncestor' private.
MathiasVP Apr 5, 2024
9deeb67
Update shared/typeflow/codeql/typeflow/internal/TypeFlowImpl.qll
MathiasVP Apr 5, 2024
bae633a
Shared: Make 'erasedHaveIntersection' more identical to the Java vers…
MathiasVP Apr 5, 2024
27688bf
Shared: Rename 'joinStep' to 'joinStepNotNull' to prevent name clashe…
MathiasVP Apr 5, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
1 change: 1 addition & 0 deletions java/ql/lib/qlpack.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -13,6 +13,7 @@ dependencies:
codeql/threat-models: ${workspace}
codeql/tutorial: ${workspace}
codeql/typetracking: ${workspace}
codeql/typeflow: ${workspace}
codeql/util: ${workspace}
dataExtensions:
- ext/*.model.yml
Expand Down
Loading
Loading