https://github.com/elefthei/hyperkernel-hash

Hash table by hybrid verification as seen in Hyperkernel (SOSP 16)
https://github.com/elefthei/hyperkernel-hash

Last synced: 12 months ago
JSON representation

Hash table by hybrid verification as seen in Hyperkernel (SOSP 16)

• Host: GitHub
• URL: https://github.com/elefthei/hyperkernel-hash
• Owner: elefthei
• License: mit
• Created: 2019-01-13T05:05:36.000Z (over 7 years ago)
• Default Branch: master
• Last Pushed: 2019-01-13T05:06:03.000Z (over 7 years ago)
• Last Synced: 2025-04-11T21:19:48.309Z (about 1 year ago)
• Language: Python
• Size: 67.4 KB
• Stars: 0
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

          
# 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

```