About

Go white-box symbolic execution: Convert IR (SSA) to SMT constraints, and then use z3 to reason (Powered by Claude Sonnet 4

Stars

Watchers

Forks