# cherry-wb/native-symbolic-execution-clang

> Source-to-source transformation to call native symbolic execution library and SMT Kit

- **Canonical URL**: https://githubrepo.cloud/repo/cherry-wb/native-symbolic-execution-clang
- **GitHub Repository**: https://github.com/cherry-wb/native-symbolic-execution-clang
- **Maintainer / Creator**: https://github.com/cherry-wb
- **Discovered On**: Oct 2, 2026

---
*Indexed by GitHubRepo (https://githubrepo.cloud). Real-time open-source discovery & telemetry.*