Docs.rs
  • 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
    • i686-unknown-linux-gnu
    • x86_64-apple-darwin
    • x86_64-unknown-linux-gnu
  • Feature flags
  • docs.rs
    • About docs.rs
    • Privacy policy
  • Rust
    • Rust website
    • The Book
    • Standard Library API Reference
    • Rust by Example
    • The Cargo Guide
    • Clippy Documentation

circomspect_program_analysis0.8.2

  • All Items

Crate Items

  • Modules
  • Functions

Crate circomspect_program_analysis

Source

Modules§

analysis_context
analysis_runner
config
constraint_analysis
taint_analysis

Functions§

get_analysis_passes