Projects in Awesome Lists tagged with hardbound
A curated list of projects in awesome lists tagged with hardbound .
https://github.com/agra-uni-bremen/hardbound-vp
Virtual Prototype with symbolic execution support and HardBound path analyzer
hardbound memory-safety symbolic-execution systemc virtual-prototyping
Last synced: 20 Jan 2026
https://github.com/agra-uni-bremen/hardbound-llvm
LLVM 11 compiler pass for HardBound instrumentation
c hardbound llvm llvm-pass memory-safety
Last synced: 20 Jan 2026