Improved, more precise fix for issue #756

PrincetonUniversity / VST

Verified Software Toolchain

https://vst.cs.princeton.edu

Other

424 stars 91 forks source link

Closed andrew-appel closed 3 months ago

andrew-appel commented 3 months ago

Protect just one evar instead of searching for all evars and protecting.