Skip to content
STIMSMITH

Dependency Analysis

Technique
First seen 6/11/2026
Last seen 6/11/2026
Evidence 6 chunks

NEIGHBORHOOD

No graph connections found for this entity yet. It may appear in future ingestion runs.

explore full graph →

RELATIONSHIPS

4 connections
Z3 SMT solver uses → 90% 2e
Dependency analysis uses the Z3 SMT solver for satisfiability checking.
Single Static Assignment (SSA) uses → 95% 1e
Dependency analysis converts assignments to SSA form for satisfiability checking.
Dependency-Aware Heuristic ← depends on 95% 1e
The dependency-aware heuristic relies on the refined CFG produced by dependency analysis.
DAFL ← implements 85% 1e
DAFL is a software fuzzer that employs control flow and data dependency analysis.