Verify zero-order invokers of allocs and deallocs in new program - Githubissues

xr0-org / xr0

The Xr0 Verifier for C

https://xr0.dev

Apache License 2.0

174 stars 4 forks source link

Verify zero-order invokers of allocs and deallocs in new program #17

Closed claude-betz closed 8 months ago