jingle-0.1.1
- jingle 0.1.1
- Permalink
- Docs.rs crate page
- MIT
- Links
- Homepage
- Repository
- crates.io
- Source
- Owners
- toolCHAINZ
- Dependencies
- jingle_sleigh ^0.1.1 normal
  
  serde ^1.0.197 normal
  
  thiserror ^1.0.58 normal
  
  tracing ^0.1.40 normal
  
  z3 ^0.12.1 normal
- Versions
- 37.74% of the crate is documented
Platform
- x86_64-unknown-linux-gnu
Feature flags

docs.rs
- About docs.rs
- Privacy policy

Rust

jingle0.1.1

Crate Items

Structs
Enums
Traits

List of all items

Structs

SleighTranslator
modeling::BlockConditionalBranchInfo
modeling::BranchConstraint
modeling::ModeledBlock
modeling::ModeledInstruction
modeling::State
varnode::ResolvedIndirectVarNode

Enums

JingleError
modeling::BlockEndBehavior
varnode::ResolvedVarnode

Traits

modeling::ModelingContext