S2E/libvmi

Name: libvmi

Owner: S2E

Description: VM Introspection and Binary File Parsing Library

Created: 2017-04-04 15:02:11.0

Updated: 2017-11-07 04:31:37.0

Pushed: 2017-10-27 22:37:56.0

Homepage: null

Size: 75

Language: C++

GitHub Committers

UserMost Recent Commit# Commits

Other Committers

UserEmailMost Recent Commit# Commits

README

Virtual Machine Introspection Library

This library allows easy inspection of VM's state by exposing as much debug information as possible. Debug information can come from the guest VM itself, compiled binaries with debug information, etc.

libvmi relies on libelf and libdwarf to do the actual debug info parsing.

libvmi can be used by S2E plugins. Currently the following file formats are supported:


This work is supported by the National Institutes of Health's National Center for Advancing Translational Sciences, Grant Number U24TR002306. This work is solely the responsibility of the creators and does not necessarily represent the official views of the National Institutes of Health.