Concolic execution of a tiny assembly language in Zig, just for playing around with the concept.
lostbitset / zig-concolic-execution Goto Github PK
View Code? Open in Web Editor NEWConcolic execution of a tiny assembly language in Zig, just for playing around with the concept.
License: MIT License