search

R-Fuzz / symsan

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

Add support for strlen #5

Open ChengyuSong opened 2 years ago

ChengyuSong commented 2 years ago

Without support for strlen, comparison of std::string will not work.