Andersen Pointer Analysis - #842

Merged

fabianbs96 merged 52 commits into

secure-software-engineering:developmentfrom

fabianbs96:f-AndersOTFAA

Jul 31, 2026

Commits on Apr 23, 2026

Initial vide-coded impl of andersen analysis with OTF CG construction
fabianbs96
committed
8908155
Add online cycle detection
fabianbs96
committed
c59d591

Commits on Apr 29, 2026

Merge branch 'development' into f-AndersOTFAA
fabianbs96
committed
d06b6ec
Fix reference invalidation, missing retroactive firing, and arg aliasing in AndersenOTFSolver

fabianbs96
and
claude
committed
ace582c

Commits on May 3, 2026

Commits on May 14, 2026

Add AndersenOTF tests for deep chains, recursion, and function pointers

fabianbs96
and
claude
committed
a289f5f

Commits on May 19, 2026

Perf improvement in AndersOTFAA
fabianbs96
committed
c8c0260
Vibe-code delta propagation
fabianbs96
committed
992604d
Let AI write more tests
fabianbs96
committed
8f3f88e

Commits on May 20, 2026

Handle global initializers
fabianbs96
committed
4619bcb
Reduce unnecessary copies
fabianbs96
committed
0f54781

Commits on May 26, 2026

Fix globals + fnptr handling
fabianbs96
committed
532c621

Commits on May 27, 2026

Commits on May 28, 2026

minor
fabianbs96
committed
a1be493
Expose call-graph built by AndersenOTFAA + add some configurable soundness with extern functions
fabianbs96
committed
fd3e394

Commits on May 30, 2026

Debug missing callees in AndersenOTFAA
fabianbs96
committed
c130387
minor perf improvement
fabianbs96
committed
b47acc1
minor
fabianbs96
committed
098d60b

Commits on Jun 3, 2026

Commits on Jun 4, 2026

Small deduplication
fabianbs96
committed
ec5b5a3
Small manual refactorings
fabianbs96
committed
d96da4a
minor in test
fabianbs96
committed
8f03c60
Merge branch 'development' into f-AndersOTFAA
fabianbs96
committed
b0d6a79
Add MemorySSA to AndersenOTFAA + let AI debug a soundness-bug.
fabianbs96
committed
86cdd07
Add other lightweight alias oracles from LLVM to MemSSABundle for slightly better precision
fabianbs96
committed
9eeb88a
Remove stale commented-out debug print in handleCall

fabianbs96
and
claude
committed
b499c67
pre-commit
fabianbs96
committed
8d527c6
Fix compilation with LLVM > 19
fabianbs96
committed
af9e847
Add missing parts from phasarllvm/pointer to C++20 module
fabianbs96
committed
886dac8
Let AI fix a LLVM-version compatibility issue in AndersenOTFAATest
fabianbs96
committed
175025a
Fix dependency between phasar_llvm_controlflow and phasar_llvm_pointer
fabianbs96
committed
8d71110
pre-commit
fabianbs96
committed
718cc0b
Fix CRoaring install
fabianbs96
committed
d902f2a

Commits on Jul 4, 2026

Merge branch 'development' into f-AndersOTFAA
fabianbs96
committed
75b1377
Merge branch 'development' into f-AndersOTFAA
fabianbs96
authored
a2c84d3

Commits on Jul 5, 2026

Fix small bug that pointer-params of entry-functions had no aliases + bump CRoaring + minor
fabianbs96
committed
b0dfac3

Commits on Jul 14, 2026

Let the AI add a special case for factory functions
fabianbs96
committed
063c0c7
Merge branch 'development' into f-AndersOTFAA
fabianbs96
committed
b5c9b22

Commits on Jul 25, 2026

Commits on Jul 29, 2026

added anders-otf results to README
mxHuber
committed
10368e2

Commits on Jul 31, 2026