R-Fuzz / symsan

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

fixing cmp family return value #1

Closed ChengyuSong closed 2 years ago

ChengyuSong commented 2 years ago

Previously I used a hack to make sure these functions only return 0 or 1, but this seems unnecessary and will cause problems (e.g., std::map in libcxx).