hybrid-hash-verification

Hybrid verification PoC with hash table example

System

We have tested building, running and verifying with the following setup:

• Linux Ubuntu 17.10
• Binutils 2.29.1
• GCC 7.2.0
• QEMU 2.10.1

Install these packages before proceeding. Other platforms or versions may not work.

Build

To silence irpy errors and LLVM dump

make

Alternatively

make DEBUG=1