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
ad19a89
Java: Replace idominance tests.
aschackmull Feb 16, 2026
7bb4a5f
Java/Cfg: Introduce new shared CFG library and replace the Java CFG.
aschackmull Jan 20, 2026
4453df8
Java: Fix Cyclomatic complexity calculation.
aschackmull Feb 9, 2026
263434b
Java: Fix RangeAnalysis/ModulusAnalysis.
aschackmull Feb 9, 2026
6edbcfc
Java: Fix switchcase guards.
aschackmull Feb 9, 2026
cf6f53c
Java: Adjust BasicBlock-based qltests.
aschackmull Feb 10, 2026
4f5d5bb
Java: Adjust idominance tests.
aschackmull Feb 16, 2026
a6a336f
Java: Accept guards test changes for revised switch CFG.
aschackmull Feb 10, 2026
07890bb
Java: Accept test changes due to pruned CFG, after-nodes, and reduced…
aschackmull Feb 10, 2026
19c4cdb
Java: Accept new CFG nodes.
aschackmull Feb 10, 2026
2667a95
Java: Fix instanceof-disjunction.
aschackmull Feb 11, 2026
843c917
Java: Exclude ExprStmt consistent with SwitchCase.getRuleExpression().
aschackmull Feb 11, 2026
dc3f050
Java: Fix reference to entry node.
aschackmull Feb 12, 2026
96e6b17
Java: Remove test. Flexible constructors need AST-based tests, which …
aschackmull Feb 12, 2026
b50e131
Java: Accept new locations for SSA definitions.
aschackmull Feb 12, 2026
6bc25ab
Java: Accept dispatch precision improvement.
aschackmull Feb 12, 2026
5e1a0fe
Java: Fix enhancedForEarlyExit implementation.
aschackmull Feb 12, 2026
36e1ebd
Java: Accept new TP in NullMaybe.
aschackmull Feb 12, 2026
8f9329b
Java: Accept removal of spurious reason (the alert stays).
aschackmull Feb 12, 2026
17ac843
Java: Accept reduced precision from no longer nesting completions in …
aschackmull Feb 12, 2026
c06827c
Java: Accept revised CFG.
aschackmull Feb 13, 2026
908cc3a
Java: Remove obsolete tests - false successors are no longer special.
aschackmull Feb 16, 2026
ab6b782
Java: Enable Cfg consistency checks.
aschackmull Feb 16, 2026
0e7c3ba
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