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

☰

Other items in
veriwasm::checkers

Function veriwasm::checkers::check_stack[−][src]

pub fn check_stack(
    result: AnalysisResult<StackGrowthLattice>, 
    irmap: &IRMap, 
    analyzer: &StackAnalyzer
) -> bool