search

R-Fuzz / symsan

A LLVM Sanitizer for Symbolic Tracing
Apache License 2.0
208 stars 29 forks source link

Fastgen #3

Closed ChengyuSong closed 2 years ago

ChengyuSong commented 2 years ago

Add support for out-of-process solving (e.g., fastgen)