github/circomspect
1
1
Fork 0
mirror of https://github.com/trailofbits/circomspect.git synced 2026-04-20 03:00:12 -04:00
Code Issues Packages Projects Releases Wiki Activity
330 Commits 6 Branches 8 Tags
main
Commit Graph

106 Commits

Author SHA1 Message Date
Fredrik Dahlgren
c52043f844 Updated crate versions 2024-06-20 17:24:01 +02:00
Fredrik Dahlgren
72c3705eab Fixed Clippy lints 2024-06-20 17:23:24 +02:00
Fredrik Dahlgren
791b50ccd8 Merge pull request #21 from trailofbits/library-search 
Add library search functionality
 2024-06-20 16:43:10 +02:00
Will Song
e5ec56f6e1 make match more concise 2024-04-04 13:27:57 -04:00
Will Song
7fb88b2af3 extend will call .into_iter for us 2024-04-04 13:25:28 -04:00
Will Song
a859c8f708 add semicolons as per cargo fmt 2024-04-04 12:52:54 -04:00
Will Song
6a1a85d0c4 reformat else as per cargo fmt and the rust style guide (https://github.com/rust-lang/rust/blob/master/src/doc/style-guide/src/statements.md#else-blocks-let-else-statements) 2024-04-04 12:51:33 -04: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
7949ff69d9 Updated maximum supported version 2023-03-21 09:31:20 +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
2a9309f9a5 Added unused-output-signal analysis pass 2023-01-10 16:08:59 +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
343f304726 Added analysis runner 2023-01-09 15:41:13 +01:00
Fredrik Dahlgren
abd6bb4bdd Added analysis context trait 2023-01-09 15:39:32 +01:00
Fredrik Dahlgren
7f04fbd14b Added unit test to the overly-complex-function-or-template analysis pass 2023-01-05 16:12:32 +01:00
Fredrik Dahlgren
2f1d1df699 Added templates to the bn128-specific-circuits analysis pass 2023-01-05 16:11:48 +01:00
Fredrik Dahlgren
c05f42ea27 Rewrote bn128-specific-circuit analysis pass 2023-01-04 18:16:20 +01:00
Fredrik Dahlgren
c5dd2da4b7 Rewrote unconstrained-less-than analysis pass 2023-01-04 14:39:27 +01:00
Fredrik Dahlgren
864faad3a8 Merge branch 'main' of github.com:trailofbits/circomspect into dev/version-0.8.0 2022-12-28 14:19:57 +01:00
Fredrik Dahlgren
23c1e1e85e Bumped versions 2022-12-28 14:00:38 +01:00
Fredrik Dahlgren
ba7f3f598e Added initial support for Circom 2.1.2 2022-12-28 14:00:08 +01:00
Fredrik Dahlgren
717861e3ac Renamed VariableName helper method 2022-12-25 16:35:34 +01:00
Tjaden Hess
cb770f5b6a Reorder cyclomatic complexity calculation to prevent underflow assertion in dev mode 2022-12-21 13:35:36 -06:00
Fredrik Dahlgren
11c0f44154 Bumped versions 2022-12-01 14:50:17 +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
4bcbf3c14e Added under-constrained signals analysis pass 2022-11-29 14:40:41 +01:00
Fredrik Dahlgren
b61d8959b0 Exit early from non-strict binary conversion pass if we're not on the default curve 2022-11-29 14:40:11 +01:00
Fredrik Dahlgren
fb31d689fd Added more unit tests 2022-11-29 14:39:10 +01:00
Fredrik Dahlgren
83f0dbe205 Added unconstrained-division analysis pass 2022-11-22 13:19:45 +01:00
Fredrik Dahlgren
1d322ec5db Unconstrained less-than now tracks accesses independently of the variable version 2022-11-22 13:19:04 +01:00
Fredrik Dahlgren
8cae3112bb Updated Assignment to use DegreeRange::is_quadratic 2022-11-22 13:18:55 +01:00
Fredrik Dahlgren
dc59d3298f Bug fix in nonstrict-binary-conversion analysis pass 
The nonstrict-binary-conversion analysis pass now handles array assignments.
 2022-11-21 10:32:50 +01:00
Fredrik Dahlgren
4efcd83c9e Renamed analysis pass in debug output 2022-11-21 10:31:42 +01:00
Fredrik Dahlgren
cf22120d59 Fixed unit test for unconstrained-less-than 2022-11-19 18:06:55 +01:00
Fredrik Dahlgren
10b7283fe4 Fixed Clippy suggestions 2022-11-19 18:03:07 +01:00
Fredrik Dahlgren
4cd229b852 Added unit test for BN128-specific circuits analysis pass 2022-11-19 17:11:07 +01:00
Fredrik Dahlgren
2bc9b92c5c Added BN128-specific circuits analysis pass 2022-11-18 17:25:40 +01:00
Fredrik Dahlgren
5e234c4b18 Commented out log statements from side-effects analysis 2022-11-17 17:36:46 +01:00
Fredrik Dahlgren
8a31514734 Added unconstrained-less-than analysis pass 2022-11-17 15:31:06 +01:00
Fredrik Dahlgren
4cae982b36 Added maximum running times for degree and value propagation algorithms 
Analysis will currently choke on CFGs with a large (over 65 000) variables. This bounds the running time for degree and value propagation. We still need to handle side-effect analysis.
 2022-11-17 15:29:40 +01:00
Fredrik Dahlgren
288bbfbe9f Code cleanup 2022-11-17 12:12:07 +01:00
Fredrik Dahlgren
adde91f1e3 Bumped versions 2022-09-13 10:31:25 +02:00