This website requires JavaScript.
Explore
Help
Register
Sign In
hohn
/
codeql
Watch
1
Star
0
Fork
0
You've already forked codeql
mirror of
https://github.com/github/codeql.git
synced
2026-03-02 13:53:42 +01:00
Code
Issues
Packages
Projects
Releases
Wiki
Activity
Files
714b2ad56572b22c5b37c2d702d9510319e538cf
codeql
/
java
/
ql
/
lib
/
semmle
/
code
/
java
/
controlflow
History
Anders Schack-Mulligen
72d83cc966
ControlFlowReachability: Align the SSA signature with the one from shared SSA.
2025-10-23 10:57:21 +02:00
..
internal
Java: Consolidate Assertions.qll and Preconditions.qll.
2025-09-10 15:42:18 +02:00
unreachableblocks
Overlay: Add overlay annotations to Java & shared libraries
2025-06-24 10:25:06 +02:00
BasicBlocks.qll
Java: Improve precision of SuccessorType labels in CFG.
2025-09-12 13:38:21 +02:00
ControlFlowReachability.qll
ControlFlowReachability: Align the SSA signature with the one from shared SSA.
2025-10-23 10:57:21 +02:00
Dominance.qll
rename overlay[caller] to overlay[caller?]
2025-06-24 10:25:07 +02:00
Guards.qll
Guards: Align the SSA signature with the one from shared SSA.
2025-10-23 10:23:22 +02:00
Paths.qll
Java: Adjust Paths.qll
2025-07-17 11:21:26 +02:00
UnreachableBlocks.qll
Overlay: Add overlay annotations to Java & shared libraries
2025-06-24 10:25:06 +02:00
