CFL Field Sensitivity - #814

Merged

fabianbs96 merged 36 commits into

developmentfrom

Mar 22, 2026

Commits on May 21, 2025

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

Commits on Jun 9, 2025

Merge branch development' into f-CFLFieldSens
fabianbs96
committed
151b795
Continue with CFL implementation (WIP)
fabianbs96
committed
948a35d
Fully compiling CFL-field-sens IFDS implementation
fabianbs96
committed
b791a94

Commits on Jun 10, 2025

Add some simple unittests (WIP)
fabianbs96
committed
e555e1e
Add a hack to make the alias information partially field sensitive
fabianbs96
committed
9756c18

Commits on Jun 24, 2025

Change alias handling
fabianbs96
committed
dbc413c

Commits on Jan 23, 2026

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

Commits on Jan 27, 2026

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

Commits on Jan 28, 2026

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

Commits on Jan 29, 2026

Optimize CFLFieldSensEdgeValue::applyTransforms
Fabian Schiebel
committed
47d91a2
Some cleanup + optimize creation of CFLFieldSensEdgeFunction
Fabian Schiebel
committed
e0518f1
minor
Fabian Schiebel
committed
2eefc33

Commits on Feb 5, 2026

Some optimizations
Fabian Schiebel
committed
c984b22
Add corner case tests
Fabian Schiebel
committed
586cda4

Commits on Feb 9, 2026

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

Commits on Feb 16, 2026

Small tweak in CFLFieldSensTest + minor
Fabian Schiebel
committed
2131919

Commits on Feb 19, 2026

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

Commits on Feb 23, 2026

Merge branch 'development' into f-CFLFieldSens
Fabian Schiebel
committed
0075ce2
Fix errors after merge
Fabian Schiebel
committed
7ef50d9
minor
Fabian Schiebel
committed
55a996e

Commits on Feb 24, 2026

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

Commits on Feb 25, 2026

Add generic mechanism to filter IFDS analysis results field-sensitively
Fabian Schiebel
committed
5e0c88c
Properly handling non-existing value
Fabian Schiebel
committed
9bf5762
Add some comments + minor
Fabian Schiebel
committed
ba96bc1
pre-commit
fabianbs96
committed
813cde0

Commits on Mar 7, 2026