porting more its solving strategies - Githubissues

R-Fuzz / symsan

A LLVM Sanitizer for Symbolic Tracing

Apache License 2.0

206 stars 29 forks source link

porting more its solving strategies #30

Closed ChengyuSong closed 7 months ago

ChengyuSong commented 7 months ago

Added the following its solving from afl++:

more mem/str/strncmp functions
strto(u)l(l)
simple binary operation
simple encoding in memcmp

Missing ones: hex, base64