Skip to content
STIMSMITH

LLVM

Tool
First seen 6/5/2026
Last seen 7/12/2026
Evidence 4 chunks

NEIGHBORHOOD

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

explore full graph →

RELATIONSHIPS

4 connections
Processor Verification using Symbolic Execution: A RISC-V Case-Study ← uses 95% 1e
The paper compiles the co-simulation into bytecode using the LLVM toolchain.
RVDFI ← uses 100% 1e
RVDFI uses LLVM compiler infrastructure for static analysis
FuzzWiz ← uses 100% 1e
FuzzWiz uses LLVM for block coverage data.
kcov ← uses 100% 1e
KCOV relies on LLVM's sanitizer coverage features.