Skip to content
Draft
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
28 commits
Select commit Hold shift + click to select a range
544d920
Cfg: Add ConditionKind and getDual to ConditionalSuccessor.
aschackmull Feb 5, 2026
29bee96
Java: Preparatory tweaks.
aschackmull Feb 6, 2026
402197d
Java: Replace ControlFlowNode.asCall with Call.getControlFlowNode.
aschackmull Feb 6, 2026
0a8bff9
Cfg: Add getEnclosingCallable to shared BasicBlock
aschackmull Feb 6, 2026
b599289
Java: Replace idominance tests.
aschackmull Feb 16, 2026
4270b03
Java/Cfg: Introduce new shared CFG library and replace the Java CFG.
aschackmull Jan 20, 2026
bc5d16f
Java: Fix Cyclomatic complexity calculation.
aschackmull Feb 9, 2026
df6f301
Java: Fix RangeAnalysis/ModulusAnalysis.
aschackmull Feb 9, 2026
0fa7b5e
Java: Fix switchcase guards.
aschackmull Feb 9, 2026
1ca6f99
Java: Adjust BasicBlock-based qltests.
aschackmull Feb 10, 2026
356a6dd
Java: Adjust idominance tests.
aschackmull Feb 16, 2026
1fbc9e4
Java: Accept guards test changes for revised switch CFG.
aschackmull Feb 10, 2026
4c61341
Java: Accept test changes due to pruned CFG, after-nodes, and reduced…
aschackmull Feb 10, 2026
98be78f
Java: Accept new CFG nodes.
aschackmull Feb 10, 2026
fbf6aac
Java: Fix instanceof-disjunction.
aschackmull Feb 11, 2026
85c4c73
Java: Exclude ExprStmt consistent with SwitchCase.getRuleExpression().
aschackmull Feb 11, 2026
d3e5ff1
Java: Fix reference to entry node.
aschackmull Feb 12, 2026
d5128c9
Java: Remove test. Flexible constructors need AST-based tests, which …
aschackmull Feb 12, 2026
40ef352
Java: Accept new locations for SSA definitions.
aschackmull Feb 12, 2026
bd15685
Java: Accept dispatch precision improvement.
aschackmull Feb 12, 2026
b99f84c
Java: Fix enhancedForEarlyExit implementation.
aschackmull Feb 12, 2026
958ad3a
Java: Accept new TP in NullMaybe.
aschackmull Feb 12, 2026
52e2e5a
Java: Accept removal of spurious reason (the alert stays).
aschackmull Feb 12, 2026
f6a0db5
Java: Accept reduced precision from no longer nesting completions in …
aschackmull Feb 12, 2026
2e45b92
Java: Accept revised CFG.
aschackmull Feb 13, 2026
c5ed59a
Java: Remove obsolete tests - false successors are no longer special.
aschackmull Feb 16, 2026
6081fd0
Java: Enable Cfg consistency checks.
aschackmull Feb 16, 2026
7fda944
Java: Adjust switch case guards test.
aschackmull Feb 16, 2026
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
2 changes: 2 additions & 0 deletions java/ql/consistency-queries/CfgConsistency.ql
Original file line number Diff line number Diff line change
@@ -0,0 +1,2 @@
import java
import ControlFlow::Consistency
4 changes: 2 additions & 2 deletions java/ql/lib/printCfg.ql
Original file line number Diff line number Diff line change
Expand Up @@ -21,7 +21,7 @@ external int selectedSourceColumn();

private predicate selectedSourceColumnAlias = selectedSourceColumn/0;

module ViewCfgQueryInput implements ViewCfgQueryInputSig<File> {
module ViewCfgQueryInput implements ControlFlow::ViewCfgQueryInputSig<File> {
predicate selectedSourceFile = selectedSourceFileAlias/0;

predicate selectedSourceLine = selectedSourceLineAlias/0;
Expand All @@ -42,4 +42,4 @@ module ViewCfgQueryInput implements ViewCfgQueryInputSig<File> {
}
}

import ViewCfgQuery<File, ViewCfgQueryInput>
import ControlFlow::ViewCfgQuery<File, ViewCfgQueryInput>
96 changes: 0 additions & 96 deletions java/ql/lib/semmle/code/java/Completion.qll

This file was deleted.

Loading
Loading