ConcolicFuzzer.jl
ConcolicFuzzer.jl copied to clipboard
vchuravy
Prototype of a fuzzer for Julia based on concolic execution
The tag name "v0.0.1-alpha" is not of the appropriate SemVer form (vX.Y.Z). cc: @vchuravy
Kleaver (from the Klee project) has several backends, among them Z3. Using Kleaver would give CF a bit more flexibility and maybe a better API to target than Z3 strings....
This is a real world example where ConcolicFuzzer would be fantastic, albeit it seems to crash Z3 and I haven't had time to investigate. https://github.com/JuliaLang/julia/pull/30178#issuecomment-446985166 ``` using ConcolicFuzzer import Base:...