Projects | Open Source Science

Projects

Updated 5 months ago

https://github.com/agra-uni-bremen/hardbound-llvm • Science 13%

LLVM 11 compiler pass for HardBound instrumentation

c hardbound llvm llvm-pass memory-safety

Updated 5 months ago

https://github.com/agra-uni-bremen/hardbound-vp • Science 13%

Virtual Prototype with symbolic execution support and HardBound path analyzer

hardbound memory-safety symbolic-execution systemc virtual-prototyping