search

R-Fuzz / symsan

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

not instrumenting vector index #14

Closed ChengyuSong closed 1 year ago

ChengyuSong commented 1 year ago

a temporary fix for issue #13