cherry-wb/d-s-se-directed-tests
Binary dynamic, static, and symbolic execution analysis tools for directed test generation
Public GitHub Catalog
Discovered Sep 27, 2026
cherry-wb / OpenExplorer
Open Explorer plugin for Eclipse
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.
#9254734GitHub 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