circomspect-program-analysis-0.7.2
- circomspect-program-analysis 0.7.2
- Docs.rs crate page
- LGPL-3.0-only
- Links
- Repository
- crates.io
- Source
- Owners
- fegge
- Dependencies
- anyhow ^1.0 normal
  log ^0.4 normal
  num-bigint-dig ^0.8 normal
  num-traits ^0.2 normal
  circomspect-parser ^2.0.11 normal
  circomspect-program-structure ^2.0.11 normal
  circomspect-parser ^2.0.11 dev
  circomspect-program-structure ^2.0.11 dev
- Versions
- 52.17% of the crate is documented
Go to latest version
Platform
Feature flags

docs.rs

Rust

Crate circomspect_program_analysis

Structs
Functions

List of all items

Structs

constraint_analysis::ConstraintAnalysis
taint_analysis::TaintAnalysis

Functions

constraint_analysis::run_constraint_analysis
get_analysis_passes
taint_analysis::run_taint_analysis