search

uwplse / herbgrind

A Valgrind tool for Herbie
GNU General Public License v3.0
90 stars 7 forks source link

Unstructured shadows #3

Closed HazardousPeach closed 8 years ago

HazardousPeach commented 8 years ago

Unstructured shadows in memory and thread state to make shadow value tracking more precise.