veriwasm-0.1.3
- veriwasm 0.1.3
- Docs.rs crate page
- Links
- Repository
- crates.io
- Source
- Owners
- enjhnsn2
- Dependencies
- byteorder ^1.3.4 normal
  
  clap ^2.33.3 normal
  
  colored ^2.0.0 normal
  
  elfkit ^0.0.4 normal
  
  env_logger ^0.8.4 normal
  
  goblin ^0.4.1 normal
  
  itertools ^0.10.1 normal
  
  log ^0.4.14 normal
  
  lucet-module ^0.5.1 normal
  
  object ^0.21.0 normal
  
  petgraph ^0.4.13 normal
  
  serde_json ^1.0.59 normal
  
  wasmtime ^0.28.0 normal
  
  yaxpeax-arch ^0.2.4 normal
  
  yaxpeax-core ^0.0.3-vw-tweaks normal
  
  yaxpeax-x86 ^1.0.4 normal
- Versions
- 1.46% of the crate is documented
Go to latest version
Platform
- i686-unknown-linux-gnu
- x86_64-unknown-linux-gnu
Feature flags

Rust

☰

Type Definition HeapLattice

Other items in
veriwasm::lattices::heaplattice

Type Definition veriwasm::lattices::heaplattice::HeapLattice[−][src]

pub type HeapLattice = VariableState<HeapValueLattice>;