cherry-wb/native-symbolic-execution-clang
Source-to-source transformation to call native symbolic execution library and SMT Kit
Public GitHub Catalog
Discovered Oct 1, 2026
cherry-wb / mktec
A ERP with win32 Native GUI
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.
#21323827GitHub System ID
cherry-wbOrganization / User
PublicVisibility
ActiveCatalog Status
More from cherry-wb
cherry-wb/benchmarks
A hub for sharing ideas on planning, executing and evaluating benchmarks.
cherry-wb/smt-kit
C++11 library for many-sorted logics
cherry-wb/symbolic-trace
Symbolic execution of LLVM IR traces for program understanding.