kvm-bindings: Rust FFI bindings to KVM generated using bindgen. • kvm-ioctls: Safe wrappers over the KVM API. • vfio-bindings: Rust FFI bindings for using the VFIO framework. • virtio-bindings: Rust Rust FFI bindings to virtio kernel headers generated using bindgen. • vm-memory: abstractions over a virtual machine's memory. • vmm-sys-util: collection of modules providing helpers and utilities for building

1 ?1 != 0 p: null cond: 1 var: 2 p: null cond: 0 var: 0 p: ?1 cond: 0 var: 1 ?1 != 0 Store/Bindings Path condition Program State Program Point Transitions SolverPerformance Precision ESP: Path-Sensitive