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

All

circomspect_program_analysis0.8.2

Crate Items

Structs
Enums
Constants
Traits
Functions

List of all items

Structs

analysis_runner::AnalysisRunner
constraint_analysis::ConstraintAnalysis
taint_analysis::TaintAnalysis

Enums

analysis_context::AnalysisError

Traits

analysis_context::AnalysisContext

Functions

constraint_analysis::run_constraint_analysis
get_analysis_passes
taint_analysis::run_taint_analysis

Constants

config::COMPILER_VERSION
config::DEFAULT_CURVE
config::DEFAULT_LEVEL