Michael Nebel
|
7d7bbf2a50
|
C#: Add data flow test for partial method.
|
2026-02-23 15:10:15 +01:00 |
|
Michael Nebel
|
0e543a9843
|
C#: Update partial method test to count the number of extracted bodies.
|
2026-02-23 15:10:14 +01:00 |
|
Michael Nebel
|
a83c53ec9a
|
C#: Add a partial method example with a body.
|
2026-02-23 15:10:12 +01:00 |
|
Anders Schack-Mulligen
|
94121f19ca
|
Guards: Improve join-order.
|
2026-02-23 15:10:03 +01:00 |
|
Anders Schack-Mulligen
|
2b8e719034
|
Java: Add nullness test covering known FP.
|
2026-02-23 15:10:03 +01:00 |
|
Anders Schack-Mulligen
|
bdbbd45909
|
Java: Handle missing throws clauses.
|
2026-02-23 15:10:02 +01:00 |
|
Anders Schack-Mulligen
|
0d0711f2a7
|
Java: Add change note.
|
2026-02-23 15:10:02 +01:00 |
|
Anders Schack-Mulligen
|
d4873dd35e
|
Java: Adjust switch case guards test.
|
2026-02-23 15:10:01 +01:00 |
|
Anders Schack-Mulligen
|
f7317b6a2b
|
Java: Enable Cfg consistency checks.
|
2026-02-23 15:10:01 +01:00 |
|
Anders Schack-Mulligen
|
352b3711f6
|
Java: Remove obsolete tests - false successors are no longer special.
|
2026-02-23 15:10:00 +01:00 |
|
Anders Schack-Mulligen
|
eb37c413f2
|
Java: Accept revised CFG.
|
2026-02-23 15:10:00 +01:00 |
|
Anders Schack-Mulligen
|
106a9d479f
|
Java: Accept reduced precision from no longer nesting completions in YieldCompletions.
|
2026-02-23 15:09:59 +01:00 |
|
Anders Schack-Mulligen
|
d84e0e262d
|
Java: Accept removal of spurious reason (the alert stays).
|
2026-02-23 15:09:59 +01:00 |
|
Anders Schack-Mulligen
|
8b0dd7b866
|
Java: Accept new TP in NullMaybe.
|
2026-02-23 15:09:58 +01:00 |
|
Anders Schack-Mulligen
|
b798bc2c8f
|
Java: Fix enhancedForEarlyExit implementation.
|
2026-02-23 15:09:58 +01:00 |
|
Anders Schack-Mulligen
|
a72cf56a05
|
Java: Accept dispatch precision improvement.
|
2026-02-23 15:09:57 +01:00 |
|
Anders Schack-Mulligen
|
4d9c0e0c26
|
Java: Accept new locations for SSA definitions.
|
2026-02-23 15:09:57 +01:00 |
|
Anders Schack-Mulligen
|
a6ee1df567
|
Java: Remove test. Flexible constructors need AST-based tests, which are already in place, not CFG tests.
|
2026-02-23 15:09:56 +01:00 |
|
Anders Schack-Mulligen
|
581679d27d
|
Java: Fix reference to entry node.
|
2026-02-23 15:09:56 +01:00 |
|
Anders Schack-Mulligen
|
fc8b7c04cf
|
Java: Exclude ExprStmt consistent with SwitchCase.getRuleExpression().
|
2026-02-23 15:09:55 +01:00 |
|
Anders Schack-Mulligen
|
ccd28ff66a
|
Java: Fix instanceof-disjunction.
|
2026-02-23 15:09:55 +01:00 |
|
Anders Schack-Mulligen
|
a844d60174
|
Java: Accept new CFG nodes.
|
2026-02-23 15:09:54 +01:00 |
|
Anders Schack-Mulligen
|
6ac8c4f544
|
Java: Accept test changes due to pruned CFG, after-nodes, and reduced exception precision.
|
2026-02-23 15:09:54 +01:00 |
|
Anders Schack-Mulligen
|
e0eb653dcc
|
Java: Accept guards test changes for revised switch CFG.
|
2026-02-23 15:09:53 +01:00 |
|
Anders Schack-Mulligen
|
fb2799bd47
|
Java: Adjust idominance tests.
|
2026-02-23 15:09:53 +01:00 |
|
Anders Schack-Mulligen
|
12b9999289
|
Java: Adjust BasicBlock-based qltests.
|
2026-02-23 15:09:52 +01:00 |
|
Anders Schack-Mulligen
|
7871cd74f6
|
Java: Fix switchcase guards.
|
2026-02-23 15:09:52 +01:00 |
|
Anders Schack-Mulligen
|
1e9dcea88b
|
Java: Fix RangeAnalysis/ModulusAnalysis.
|
2026-02-23 15:09:51 +01:00 |
|
Anders Schack-Mulligen
|
6fbdb2c52b
|
Java: Fix Cyclomatic complexity calculation.
|
2026-02-23 15:09:51 +01:00 |
|
Anders Schack-Mulligen
|
48e3724299
|
Java/Cfg: Introduce new shared CFG library and replace the Java CFG.
|
2026-02-23 15:09:50 +01:00 |
|
Anders Schack-Mulligen
|
0c9931ff8a
|
Java: Replace idominance tests.
|
2026-02-23 15:09:50 +01:00 |
|
Anders Schack-Mulligen
|
48d7d9cedb
|
Cfg: Add getEnclosingCallable to shared BasicBlock
|
2026-02-23 15:09:49 +01:00 |
|
Anders Schack-Mulligen
|
4a97a449fc
|
Java: Replace ControlFlowNode.asCall with Call.getControlFlowNode.
|
2026-02-23 15:09:49 +01:00 |
|
Anders Schack-Mulligen
|
2e987343dd
|
Java: Preparatory tweaks.
|
2026-02-23 15:09:48 +01:00 |
|
Anders Schack-Mulligen
|
723a896b99
|
Cfg: Add ConditionKind and getDual to ConditionalSuccessor.
|
2026-02-23 15:09:48 +01:00 |
|
Owen Mansel-Chan
|
ada9c452f0
|
Merge pull request #21336 from owen-mc/js/accept-mad-sanitizers
JS: Accept MaD sanitizers for queries with MaD sinks
|
2026-02-23 13:44:54 +00:00 |
|
Jeroen Ketema
|
99de5d4238
|
Merge pull request #21208 from jketema/jketema/softfloat
C++: Update expected test results after extractor changes
|
2026-02-23 13:52:43 +01:00 |
|
Owen Mansel-Chan
|
12bd709219
|
Merge pull request #21341 from owen-mc/rb/accept-mad-sanitizers
Ruby: Accept MaD sanitizers for queries with MaD sinks and convert some existing sanitizers
|
2026-02-23 11:44:05 +00:00 |
|
Jeroen Ketema
|
a935d97190
|
C++: Update expected test results after extractor changes
|
2026-02-23 11:54:58 +01:00 |
|
Taus
|
480ae619e6
|
Merge pull request #21116 from github/tausbn/python-add-dataflow-overlay-annotations
Add `overlay[local]` annotations
|
2026-02-21 13:44:09 +01:00 |
|
Jeroen Ketema
|
8947f7afd8
|
Merge pull request #21329 from paldepind/cpp/simple-range-analysis-phi-divide
C++: Divide number of bounds between branches for phi nodes
|
2026-02-20 17:05:01 +01:00 |
|
Jeroen Ketema
|
9228304294
|
Merge branch 'main' into cpp/simple-range-analysis-phi-divide
|
2026-02-20 16:25:26 +01:00 |
|
Simon Friis Vindum
|
8eed18a8ff
|
C++: Fix typo
Co-authored-by: Jeroen Ketema <93738568+jketema@users.noreply.github.com>
|
2026-02-20 16:24:19 +01:00 |
|
Simon Friis Vindum
|
fdbd49a843
|
C++: Improve clarity in comment
Co-authored-by: Mathias Vorreiter Pedersen <mathiasvp@github.com>
|
2026-02-20 13:38:24 +01:00 |
|
Paolo Tranquilli
|
15fde872b5
|
Merge pull request #21276 from github/redsun82/bazel-9
Upgrade Bazel to 9.0.0
|
2026-02-20 13:26:14 +01:00 |
|
Mathias Vorreiter Pedersen
|
1dba99f47d
|
Merge pull request #21292 from microsoft/UncheckedLeaprYearAfterModification_Refactor_Upstream
C++: Refactor of UncheckedLeapYearAfterModification
|
2026-02-20 12:11:45 +00:00 |
|
Asger F
|
27638c7029
|
JS: Add change note
|
2026-02-20 11:20:46 +01:00 |
|
Paolo Tranquilli
|
a5905a6f20
|
Merge branch 'main' into redsun82/bazel-9
|
2026-02-20 10:51:18 +01:00 |
|
Geoffrey White
|
ca41ae0d1a
|
Merge pull request #21347 from geoffw0/toolstatus
Rust: Update rust/diagnostic/database-quality
|
2026-02-20 09:16:44 +00:00 |
|
REDMOND\brodes
|
38219f6ebb
|
C++: Fixing FP in unit tests.
|
2026-02-19 14:08:36 -05:00 |
|