Topic: "hardbound"
agra-uni-bremen/hardbound-vp
Virtual Prototype with symbolic execution support and HardBound path analyzer
Language: C++ - Size: 31.3 MB - Last synced at: about 1 year ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 1
agra-uni-bremen/hardbound-llvm
LLVM 11 compiler pass for HardBound instrumentation
Language: C++ - Size: 79.1 KB - Last synced at: about 1 year ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0