circomspect-program-analysis-0.8.2
- circomspect-program-analysis 0.8.2
- Permalink
- 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.2.0 normal
  
  circomspect-program-structure ^2.1.4 normal
  
  thiserror ^1.0 normal
  
  circomspect-parser ^2.2.0 dev
  
  circomspect-program-structure ^2.1.4 dev
- Versions
- 41.94% of the crate is documented
Platform
Feature flags

docs.rs

Rust

circomspect_program_analysis0.8.2

All Items

Crate Items

Modules
Functions

Crate circomspect_program_analysis

Modules§

analysis_context
analysis_runner
config
constraint_analysis
taint_analysis

Functions§

get_analysis_passes