cherry-wb/d-s-se-directed-tests
Binary dynamic, static, and symbolic execution analysis tools for directed test generation
Public GitHub Catalog
Discovered Oct 1, 2026
cherry-wb / lbd
llvm backend document
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#21235496GitHub System ID
cherry-wbOrganization / User
PublicVisibility
ActiveCatalog Status
More from cherry-wb
cherry-wb/corestar-old
coreStar is a symbolic execution engine for analysis and verification with separation logic
cherry-wb/symbolic-execution
Public repository.
cherry-wb/mmtests
MMTests: Benchmarking framework primarily aimed at Linux kernel testing