maybe you could run it on the C codes inside of cryptokit

TrustInSoft / tis-interpreter

An interpreter for finding subtle bugs in programs written in standard C

565 stars 28 forks source link

Open UnixJunkie opened 5 years ago

UnixJunkie commented 5 years ago

monate commented 5 years ago

Indeed, this is an interesting target. Thanks for the suggestion.