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

Name		Name	Last commit message	Last commit date
Latest commit History 1 Commit
demo		demo
.gitignore		.gitignore
go.mod		go.mod
go.sum		go.sum
main.go		main.go
smt_generator.go		smt_generator.go

About

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