README.md

December 16, 2019 ยท View on GitHub

This is the cache used for validating the translation of a X86 programs to LLVM IR (using mcsema). The cache contains an entry for each binary instruction containing the validated LLVM IR sequence.