CFL Field Sensitivity#814

Open

fabianbs96 wants to merge 32 commits intodevelopmentfrom

Commits on May 21, 2025

Add alloc-sites-aware default problem + start adding IDEDroid-like formulation of field-sensitive IFDS
fabianbs96
committed

Commits on Jun 9, 2025

Commits on Jun 10, 2025

Commits on Jun 24, 2025

Change alias handling
fabianbs96
committed

Commits on Jan 23, 2026

Add more (passing) XTaint tests
Fabian Schiebel
committed
Add sanitizer-customization-point + fix bug in combine() with EdgeIdentity
Fabian Schiebel
committed

Commits on Jan 27, 2026

Merge branch 'development' into f-CFLFieldSens
Fabian Schiebel
committed
Fix minor compilation issue
Fabian Schiebel
committed
Out-comment unnecessary stuff
Fabian Schiebel
committed

Commits on Jan 28, 2026

Convert CFLFieldSensTest to testingSrcLocation + add logger to FieldSensAllocSitesAwareIFDSProblem
Fabian Schiebel
committed

Commits on Jan 29, 2026

Optimize CFLFieldSensEdgeValue::applyTransforms
Fabian Schiebel
committed
Some cleanup + optimize creation of CFLFieldSensEdgeFunction
Fabian Schiebel
committed
minor
Fabian Schiebel
committed

Commits on Feb 5, 2026

Some optimizations
Fabian Schiebel
committed
Add corner case tests
Fabian Schiebel
committed

Commits on Feb 9, 2026

Fix edge-cases in CFL-Fieldsens analysis + make corresponding tests (xtaint 22,23) pass
fabianbs96
committed

Commits on Feb 16, 2026

Small tweak in CFLFieldSensTest + minor
Fabian Schiebel
committed

Commits on Feb 19, 2026

Add structural sharing for Store- and Load sequences
Fabian Schiebel
committed
Some cleanup + small enhancement to LatticeDomain-join
Fabian Schiebel
committed
Add some comment
Fabian Schiebel
committed

Commits on Feb 23, 2026

Merge branch 'development' into f-CFLFieldSens
Fabian Schiebel
committed
Fix errors after merge
Fabian Schiebel
committed
minor
Fabian Schiebel
committed

Commits on Feb 24, 2026

Integrate CFL-fieldsens analysis into phasar-cli for IFDSTaintAnalysis
Fabian Schiebel
committed
Rename cfl fieldsens analysis problem + introduce own namespace for it
Fabian Schiebel
committed

Commits on Feb 25, 2026

Add generic mechanism to filter IFDS analysis results field-sensitively
Fabian Schiebel
committed
Properly handling non-existing value
Fabian Schiebel
committed
Add some comments + minor
Fabian Schiebel
committed
pre-commit
fabianbs96
committed