Repository navigation

DFI Solver - #866

Merged

fabianbs96 merged 8 commits into

secure-software-engineering:developmentfrom

fabianbs96:f-DFI

Oct 19, 2026

Merged

DFI Solver#866
fabianbs96 merged 8 commits into
secure-software-engineering:developmentfrom
fabianbs96:f-DFI

Commits on Oct 7, 2026
- Add DFISolver: IFDS solving via DFS-interval reachability
  
  fabianbs96
  and
  claude
  committed
  cf89658
- Support followReturnsPastSeeds in DFISolver
  
  fabianbs96
  and
  claude
  committed
  78ba58a
- Add dfi-taint to phasar-cli; pass CLI SolverConfig to ifds-taint
  
  fabianbs96
  and
  claude
  committed
  1564a88
Commits on Oct 9, 2026
- Add backward index direction to DFISolver
  
  fabianbs96
  and
  claude
  committed
  1bd5405
- Small perf improvement in IterativeIDESolver by caching summary-ffs as well
  fabianbs96
  committed
  983869a
Commits on Oct 10, 2026
- minor
  fabianbs96
  committed
  8cdefc5
- Remove the agent's design doc
  fabianbs96
  committed
  74d127a
Commits on Oct 11, 2026
- Update readme + minor
  fabianbs96
  committed
  b467dd0