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::ir::utils

Function veriwasm::ir::utils::has_indirect_jumps[−][src]

pub fn has_indirect_jumps(irmap: &IRMap) -> bool