circomspect-program-analysis-0.8.1
- circomspect-program-analysis 0.8.1
- 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.1.3 normal
  
  circomspect-program-structure ^2.1.3 normal
  
  thiserror ^1.0 normal
  
  circomspect-parser ^2.1.3 dev
  
  circomspect-program-structure ^2.1.3 dev
- Versions
- 42.62% of the crate is documented
Go to latest version
Platform
Feature flags

docs.rs

Rust

Crate circomspect_program_analysis

Version 0.8.1
All Items

Modules
Functions

Crate circomspect_program_analysis

Modules

analysis_context
analysis_runner
config
constraint_analysis
taint_analysis

Functions

get_analysis_passes