Selective Symbolic Execution

Technique

First seen 6/20/2026

Last seen 6/20/2026

Evidence 7 chunks

NEIGHBORHOOD

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

4 connections

FuSS Framework ← implements 100% 2e

The FuSS framework implements selective symbolic execution to overcome coverage plateaus.

control flow graph uses → 100% 2e

Selective symbolic execution uses the hardware CFG to identify source and destination nodes.

SMT Solving uses → 100% 2e

Selective symbolic execution uses SMT solving to generate constraints for hard-to-reach regions.

Fuzzing Corpus depends on → 100% 2e

Selective symbolic execution depends on the fuzzing trajectory/corpus as its starting point.