Context-Sensitive Andersen Pointer Analysis - #856

Merged

fabianbs96 merged 81 commits into

secure-software-engineering:developmentfrom

fabianbs96:f-CtxAndersOTFAA

Aug 20, 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

Allow analyzing a single file with the ptaben benchmark tool
fabianbs96
committed
b43140b
Guard AllocWrapper classification against escaping pointer uses

fabianbs96
and
claude
committed
7cae64f
Resolve heap/stack function-pointer dispatch tables field-sensitively

fabianbs96
and
claude
committed
ba376b4
Split FieldWriteRecord
fabianbs96
committed
d3777dd
Fix TypedArray::enumerate with LLVM 22
fabianbs96
committed
409904c
Update license to include the newly added submodule CRoaring
fabianbs96
committed
27671d3

Commits on Jul 29, 2026

added anders-otf results to README
mxHuber
committed
10368e2
initial context sensitivity
fabianbs96
committed
0302517

Commits on Jul 31, 2026

Commits on Aug 3, 2026

Commits on Aug 4, 2026

Re-check fn-ptr callback entry points every round

fabianbs96
and
claude
committed
2320a15
Small update on ptaben benchmark tool
fabianbs96
committed
77507c0

Commits on Aug 5, 2026

Let AI add failing test cases
fabianbs96
committed
d45ecc2

Commits on Aug 6, 2026

Fix the AndersenOTFAA defects found in the review

fabianbs96
and
claude
committed
0fef1d6

Commits on Aug 11, 2026

Remove redundant set
fabianbs96
committed
d4d9864

Commits on Aug 12, 2026

Report invalid context-selection globs; annotate solver lifetimes

fabianbs96
and
claude
committed
dca59bf

Commits on Aug 13, 2026

Retune the dynamic context-sensitivity defaults

fabianbs96
and
claude
committed
cd604bd
Model punned pointer accesses in the PAG builder

fabianbs96
and
claude
committed
7fbce44
Model atomicrmw and cmpxchg in the PAG builder

fabianbs96
and
claude
committed
454a9f3
Recover aliases that addAlias could not record

fabianbs96
and
claude
committed
91cf18a
Announce pre-populated ValueCompressor ids to the PAG strategy

fabianbs96
and
claude
committed
5e160c6
Share the LLVM memory-access semantics between both PAG frontends

fabianbs96
and
claude
committed
7ffdf3f

Commits on Aug 14, 2026

Commits on Aug 16, 2026

Dump IR to debug issue on ARM in CI
fabianbs96
committed
fbeeb8f
Attempt to fix issue on ARM
fabianbs96
committed
56677da
Merge branch 'development' into f-CtxAndersOTFAA
fabianbs96
authored
b930500

Commits on Aug 17, 2026

Commits on Aug 19, 2026

Merge branch 'development' into f-CtxAndersOTFAA
fabianbs96
authored
1a251c5