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

150 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
c946bf33bc add some debug info for includes and library resolution 2024-04-04 14:20:12 -04:00
Will Song
a01b1c0189 reformat code after clippy changes 2024-04-04 13:29:58 -04:00
Will Song
f98b8564f3 follow rust guidelines and have PartialOrd rely on Ord when the type is Ord, also saving an unwrap 2024-04-04 13:21:33 -04:00
Will Song
3b8e4f4fc2 do not use default for struct with single value 2024-04-04 13:20:24 -04:00
Fredrik Dahlgren
9cce76266f Fixed dependencies flagged by cargo-audit 2023-03-21 10:16:41 +01:00
Fredrik Dahlgren
04ebe22f90 Updated change log 2023-03-21 09:43:15 +01:00
Fredrik Dahlgren
e21edef5b1 Removed duplicate reporting descriptors from Sarif output 2023-02-23 15:22:15 +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
c3cdef9387 Added documentation for unused-output-signal 2023-02-15 13:51:01 +01:00
Fredrik Dahlgren
aa295abff9 Fixed clippy suggestions 2023-02-15 13:49:40 +01:00
Fredrik Dahlgren
2a9309f9a5 Added unused-output-signal analysis pass 2023-01-10 16:08:59 +01:00
Fredrik Dahlgren
0a2e0519e6 Added input and output signal APIs to CFG 2023-01-10 13:17:02 +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
1ff17d46f0 Moved writers to separate module 2023-01-09 15:40:54 +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
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
Fredrik Dahlgren
efb0d0a199 Added a link to the issue description to output 2022-12-01 15:53:55 +01:00
Fredrik Dahlgren
1ffee5ada0 Bumped circom-algebra version 2022-11-29 15:24:20 +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
0ddc3c68d7 Added loop-depth tracking to BasicBlock 2022-11-29 14:32:34 +01:00
Fredrik Dahlgren
83f0dbe205 Added unconstrained-division analysis pass 2022-11-22 13:19:45 +01:00
Fredrik Dahlgren
7d3b92817b Added boolean is_* methods on DegreeRange 2022-11-22 13:17:00 +01:00
Fredrik Dahlgren
10b7283fe4 Fixed Clippy suggestions 2022-11-19 18:03:07 +01:00
Fredrik Dahlgren
2bc9b92c5c Added BN128-specific circuits analysis pass 2022-11-18 17:25:40 +01:00
Fredrik Dahlgren
d5db484312 Added unit test for DegreeKnowledge 2022-11-17 17:35:04 +01:00
Fredrik Dahlgren
a8a8bb3da5 Bug fix in SwitchOp degree propagation 2022-11-17 16:27:15 +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
ac43452f9a Added fmt::Debug implementation for ir::AccessType 2022-11-17 12:19:43 +01:00
Fredrik Dahlgren
385daf7995 Bug fix in value propagation 
Previously, value propagation would propagate values from `rhe` to `v` (rather than `v[i]`) in statements like `v[i] = rhe`.
 2022-11-17 12:18:25 +01:00
Fredrik Dahlgren
90c6c75fc3 Added ValueKnowledge unit test 2022-11-17 12:14:56 +01:00
Fredrik Dahlgren
73a9b69a69 Renamed DominatorTree API 2022-11-17 12:14:31 +01:00
Fredrik Dahlgren
e290fd0d56 Added MessageCategory::to_level 2022-11-17 12:12:53 +01:00
Fredrik Dahlgren
288bbfbe9f Code cleanup 2022-11-17 12:12:07 +01:00
Fredrik Dahlgren
9bd1a7fc73 Fixed report code spelling 2022-09-24 18:28:40 +02:00
Filipe Casal
a15270e796 Sarif: use name instead of id. 2022-09-13 12:42:54 +01:00
Filipe Casal
a6bff9294f Add rule names to the sarif report. 2022-09-13 11:51:37 +01:00
Fredrik Dahlgren
1f9f0cb8f1 Updated Sarif conversion to support rule names 2022-09-13 12:46:00 +02:00
Fredrik Dahlgren
adde91f1e3 Bumped versions 2022-09-13 10:31:25 +02:00
Fredrik Dahlgren
505a5380d0 Fixed clippy suggestion 2022-09-13 10:25:51 +02:00
Fredrik Dahlgren
48086a3e01 Improved degree propagation 
Degree propagation now does fixed point iteration.
 2022-09-13 10:23:26 +02:00
Fredrik Dahlgren
27e6311a61 Bumped versions 2022-09-13 09:22:33 +02:00