github/circomspect
1
1
Fork 0
mirror of https://github.com/trailofbits/circomspect.git synced 2026-01-10 14:27:55 -05:00
Code Issues Packages Projects Releases Wiki Activity
330 Commits 6 Branches 8 Tags
main
Commit Graph

64 Commits

Author SHA1 Message Date
Fredrik Dahlgren
abda28da9a Updated clap dependency to 0.4 2024-06-22 14:58:30 +02:00
Fredrik Dahlgren
c52043f844 Updated crate versions 2024-06-20 17:24:01 +02:00
Will Song
c4bb707cdc cargo fmt 2024-04-04 01:49:12 -04:00
Will Song
a2cb6365cc add library search functionality 2024-04-04 01:14:23 -04:00
Fredrik Dahlgren
cb35785382 Bumped versions 2023-03-21 10:29:41 +01:00
Fredrik Dahlgren
2517fdc5c4 Replaced all uses of the name BN128 with BN254 2023-02-15 18:17:40 +01:00
Fredrik Dahlgren
68477c3e27 Filter out reports for files not specified by the user 2023-02-15 18:04:32 +01:00
Fredrik Dahlgren
16c8e66085 Added --follow-includes flag 2023-01-10 16:31:48 +01:00
Fredrik Dahlgren
430d4dda8e Updated AnalysisRunner.with_files API 2023-01-10 16:08:28 +01:00
Fredrik Dahlgren
4770446764 Moved analysis runner and configuration to program_analysis crate. 2023-01-10 13:18:23 +01:00
Fredrik Dahlgren
5223de15e9 Merge remote-tracking branch 'origin/main' into dev/version-0.8.0 2023-01-09 16:01:06 +01:00
Fredrik Dahlgren
e9c70d038f Downgraded clap to avoid help message regression issue 2023-01-09 15:42:01 +01:00
Fredrik Dahlgren
276b4be2c0 Updated main to use new analysis runner 2023-01-09 15:41:37 +01:00
Fredrik Dahlgren
343f304726 Added analysis runner 2023-01-09 15:41:13 +01:00
Fredrik Dahlgren
8a691558ce Bumped compiler version. 2023-01-04 14:38:58 +01:00
Fredrik Dahlgren
23c1e1e85e Bumped versions 2022-12-28 14:00:38 +01:00
Fredrik Dahlgren
ec2d62346b Reworded unconstrained-less-than warning 2022-12-01 14:48:47 +01:00
Fredrik Dahlgren
eb6f99e793 Fixed under-constrained warning message 2022-11-29 19:21:24 +01:00
Fredrik Dahlgren
faf259d3f6 Bumped versions 2022-11-29 15:20:24 +01:00
Fredrik Dahlgren
c21059d06d Updated dependencies 2022-11-29 15:08:14 +01:00
Fredrik Dahlgren
10b7283fe4 Fixed Clippy suggestions 2022-11-19 18:03:07 +01:00
Fredrik Dahlgren
adde91f1e3 Bumped versions 2022-09-13 10:31:25 +02:00
Fredrik Dahlgren
27e6311a61 Bumped versions 2022-09-13 09:22:33 +02:00
Fredrik Dahlgren
3cdd3c3fc5 Update to support Circom 2.0.8 2022-09-12 21:59:23 +02:00
Fredrik Dahlgren
ff820f1e0c Bumped package versions 2022-09-12 13:53:57 +02:00
Fredrik Dahlgren
1e5a4a6a25 Bumped circomspect-program-structure version 2022-09-12 13:51:01 +02:00
Fredrik Dahlgren
c978a79882 Bug fix in Statement implementation of VariableMeta 
The implementation did not track accesses to written variables.
 2022-09-12 13:47:34 +02:00
Fredrik Dahlgren
a1c7266567 Changed image links for crates.io 2022-09-12 12:43:08 +02:00
Fredrik Dahlgren
de5eaaad40 Bumped version 2022-09-12 12:35:05 +02:00
Fredrik Dahlgren
87a4c150e4 Added log message for Sarif generation 2022-09-12 12:34:15 +02:00
Fredrik Dahlgren
28d220a4ad Bumped version for crates.io 2022-09-12 12:02:09 +02:00
Fredrik Dahlgren
660ff347b3 Added README field to Cargo.toml 2022-09-12 11:49:05 +02:00
Fredrik Dahlgren
92a73d7816 Renamed internal crates to avoid crates.io namespace collisions 2022-09-12 11:15:37 +02:00
Fredrik Dahlgren
27dd74dae5 Added version information for internal crates to Cargo.toml 2022-09-12 11:02:39 +02:00
Fredrik Dahlgren
5d38f7a1f6 Updated Cargo.toml 2022-09-12 09:22:38 +02:00
Fredrik Dahlgren
3cc44f4560 Added ReportWriter 
This change also adds the verbose output options to the CLI.
 2022-09-12 09:22:15 +02:00
Fredrik Dahlgren
be72311bd6 Updated CLI output 2022-09-02 16:45:57 +02:00
Fredrik Dahlgren
359b0e9ee3 Updated output from main 2022-09-02 16:40:12 +02:00
Fredrik Dahlgren
149f64282d Switched rustfmt to more sensible defaults 2022-09-02 14:08:50 +02:00
Fredrik Dahlgren
4fed2c5078 Fixed clippy lints 2022-09-01 15:09:46 +02:00
Fredrik Dahlgren
d8c644ec7d Added trace messages to CLI output 2022-08-31 11:23:45 +02:00
Fredrik Dahlgren
7315d9dd3a Ran cargo fmt 2022-08-25 10:38:18 +02:00
Fredrik Dahlgren
6e8cadbdd1 Bumped version to 0.4.0 2022-08-24 11:12:15 +02:00
Fredrik Dahlgren
5da6379824 Added Access and Update expression nodes to IR 2022-08-24 11:06:42 +02:00
Fredrik Dahlgren
4442313445 Updated CLI to take a non-empty vector of input files 2022-08-05 22:55:43 +02:00
Fredrik Dahlgren
a37f09e593 Added support for multiple input files 2022-07-31 22:55:22 +02:00
Fredrik Dahlgren
6cf3b7ddd3 Change from structopt to clap for command line parsing 2022-07-22 15:10:53 +02:00
Fredrik Dahlgren
294be70c47 Support parsing template libraries 2022-07-22 15:10:24 +02:00
Fredrik Dahlgren
2e9e6e61de Bumped version to 0.3.0 2022-07-12 20:31:24 +02:00
Fredrik Dahlgren
2d075fb80e Refactored parser to handle library code that does not define main 2022-07-12 20:29:45 +02:00