search

R-Fuzz / symsan

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

add an ID to branches and functions #11

Closed ChengyuSong closed 1 year ago

ChengyuSong commented 1 year ago

Add an ID to branches and functions for easier tracking