Repository navigation

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
- Better vtable handling
  fabianbs96
  committed
  4789a3a
- Fix minor bug in vtable handling + add failing test case for too early fixpoint
  fabianbs96
  committed
  ed0b6cb
- Let claude fix the early fixpoint bug
  fabianbs96
  committed
  057076a
- minor
  fabianbs96
  committed
  76020c1
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
- Add library-summary handling to AndersenOTFAA.
  fabianbs96
  committed
  c8621e7
- Best-effort approach to more precisely handle calls through hand-rolled vtables
  fabianbs96
  committed
  9876945
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
- Attempt to fix CI by explicitly disallowing march=native
  fabianbs96
  authored
  4840348
- Use newer clang in CI to fix internal compiler error
  fabianbs96
  authored
  e59ace9
Commits on Aug 3, 2026
- Merge branch 'f-AndersOTFAA' into f-CtxAndersOTFAA
  fabianbs96
  committed
  d775542
- Merge branch 'development' into f-AndersOTFAA
  fabianbs96
  committed
  f063837
- Merge branch 'f-AndersOTFAA' into f-CtxAndersOTFAA
  fabianbs96
  committed
  b8fdefa
- Keep points-to elements canonical to preserve object identity
  
  fabianbs96
  and
  claude
  committed
  f39954f
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
- Annotate the union-find AA lifetimes with PSR_LIFETIMEBOUND
  
  fabianbs96
  and
  claude
  committed
  da4e5fd
- Merge branch 'development' into f-CtxAndersOTFAA
  fabianbs96
  committed
  30221ee
- Clean up leftovers from the AndersenOTFAA review
  
  fabianbs96
  and
  claude
  committed
  3919152
- Untrack the AndersenOTFAA context-sensitivity design doc
  
  fabianbs96
  and
  claude
  committed
  978242b
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

Commits

Commits on Apr 23, 2026

Commits on Apr 29, 2026

Commits on May 3, 2026

Commits on May 14, 2026

Commits on May 19, 2026

Commits on May 20, 2026

Commits on May 26, 2026

Commits on May 27, 2026

Commits on May 28, 2026

Commits on May 30, 2026

Commits on Jun 3, 2026

Commits on Jun 4, 2026

Commits on Jul 4, 2026

Commits on Jul 5, 2026

Commits on Jul 14, 2026

Commits on Jul 25, 2026

Commits on Jul 29, 2026

Commits on Jul 31, 2026

Commits on Aug 3, 2026

Commits on Aug 4, 2026

Commits on Aug 5, 2026

Commits on Aug 6, 2026

Commits on Aug 11, 2026

Commits on Aug 12, 2026

Commits on Aug 13, 2026

Commits on Aug 14, 2026

Commits on Aug 16, 2026

Commits on Aug 17, 2026

Commits on Aug 19, 2026