veriwasm-0.1.4
- veriwasm 0.1.4
- Permalink
- 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.4-vw-tweaks normal
  yaxpeax-x86 ^1.0.4 normal
- Versions
- 1.46% of the crate is documented
Platform
Feature flags

Rust

☰

Type Definition CallCheckLattice

Other items in
veriwasm::lattices::calllattice

Type Definition veriwasm::lattices::calllattice::CallCheckLattice[−][src]

pub type CallCheckLattice = VariableState<CallCheckValueLattice>;