circomspect-program-structure 2.0.10

Support crate for the Circomspect static analyzer
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29

[package]
name = "circomspect-program-structure"
version = "2.0.10"
edition = "2018"
license = "LGPL-3.0-only"
description = "Support crate for the Circomspect static analyzer"
repository = "https://github.com/trailofbits/circomspect"
authors = ["hermeGarcia <hermegarcianavarro@gmail.com>", "Fredrik Dahlgren <fredrik.dahlgren@trailofbits.com>"]

[dependencies]
anyhow = "1.0"
atty = "0.2.14"
circom_algebra = { package = "circomspect-circom-algebra", version = "2.0.0", path = "../circom_algebra" }
codespan = "0.9.0"
codespan-reporting = "0.9.0"
log = "0.4"
regex = "1.1.2"
rustc-hex = "2.0.1"
num-bigint-dig = "0.6.0"
num-traits = "0.2.6"
serde = "1.0.82"
serde_derive = "1.0.91"
serde-sarif = "0.3.1"
serde_json = "1.0.79"
thiserror = "1.0.31"

[dev-dependencies]
proptest = "1.0.0"
circom_algebra = { package = "circomspect-circom-algebra", version = "2.0.0", path = "../circom_algebra" }