SymCC

https://github.com/eurecom-s3/symcc

SymCC is a compiler pass that embeds symbolic execution into programs during compilation to compute...

Tokens:12,313
Snippets:105
Trust Score:9.2
License:GPL-3.0
Update:3 months ago
Tokens:
Raw