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
315 Commits 6 Branches 8 Tags
library-search
Commit Graph

315 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Will Song
c946bf33bc add some debug info for includes and library resolution 2024-04-04 14:20:12 -04:00
Will Song
c4bb707cdc cargo fmt 2024-04-04 01:49:12 -04:00
Will Song
b34ac2444b fix local includes 2024-04-04 01:40:03 -04:00
Will Song
a2cb6365cc add library search functionality 2024-04-04 01:14:23 -04:00
Fredrik Dahlgren
f746fd1d49 Merge pull request #17 from Gratla/dev/feature/pub-single-file-parsing 
Introduced pub access-modifier for parse_file to expose AST
 2023-11-08 18:21:43 +01:00
Philipp Leeb
e1077772b7 Introduced pub access-modifier for parse_file to expose AST from outside the library. 2023-10-22 13:04:19 +02:00
Fredrik Dahlgren
02f0a1d305 Merge pull request #15 from trailofbits/add-codeowners 
Add CODEOWNERS file
 2023-04-12 09:59:34 +02:00
Artem Dinaburg
874f08f9cc Add CODEOWNERS file 2023-04-11 14:05:42 -04:00
Fredrik Dahlgren
a888906564 Updated change log 2023-03-21 10:54:16 +01:00
Fredrik Dahlgren
cb35785382 Bumped versions v0.8.1 2023-03-21 10:29:41 +01:00
Fredrik Dahlgren
b9eef46aa6 Merge pull request #14 from trailofbits/fix/cargo-audit 
Fixed dependencies flagged by cargo-audit
 2023-03-21 10:22:44 +01:00
Fredrik Dahlgren
9cce76266f Fixed dependencies flagged by cargo-audit 2023-03-21 10:16:41 +01:00
Fredrik Dahlgren
cda487e776 Merge pull request #11 from trailofbits/dev/version-0.8.0 
Version 0.8.0
v0.8.0 		2023-03-21 09:49:06 +01:00
Fredrik Dahlgren
04ebe22f90 Updated change log 2023-03-21 09:43:15 +01:00
Fredrik Dahlgren
7949ff69d9 Updated maximum supported version 2023-03-21 09:31:20 +01:00
Fredrik Dahlgren
e21edef5b1 Removed duplicate reporting descriptors from Sarif output 2023-02-23 15:22:15 +01:00
Fredrik Dahlgren
3133113b98 Updated change log 2023-02-15 18:17:55 +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
33fef95020 Updated change log 2023-02-15 13:51:54 +01:00
Fredrik Dahlgren
0775d3cc4d Updated error message for anonymous signals in conditions 2023-02-15 13:51:43 +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
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
430d4dda8e Updated AnalysisRunner.with_files API 2023-01-10 16:08:28 +01:00
Fredrik Dahlgren
3f23649c26 Deleted duplicate parse_definition implementation 2023-01-10 13:19:02 +01:00
Fredrik Dahlgren
4770446764 Moved analysis runner and configuration to program_analysis crate. 2023-01-10 13:18:23 +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
92b9ead67a Merge pull request #13 from trailofbits/dev/analysis-context 
Add analysis context to allow for inter-procedural analysis
 2023-01-09 15:54:07 +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
1ff17d46f0 Moved writers to separate module 2023-01-09 15:40:54 +01:00
Fredrik Dahlgren
abd6bb4bdd Added analysis context trait 2023-01-09 15:39:32 +01:00
Fredrik Dahlgren
cf1d6ef235 Fixed an issue in compiler version check 2023-01-09 15:33:18 +01:00
Fredrik Dahlgren
b945079ef4 Updated FileStack API to take a reference 2023-01-09 15:32:10 +01:00
Fredrik Dahlgren
28fa5b3eca Updated CHANGELOG 2023-01-06 10:22:38 +01:00
Fredrik Dahlgren
a2414c3b3e Updated analysis pass descriptions 2023-01-05 16:12:47 +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
8a691558ce Bumped compiler version. 2023-01-04 14:38:58 +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
80f1c97669 Merge pull request #10 from trailofbits/fix_cyclomatic_underflow 
Reorder cyclomatic complexity calculation
 2022-12-28 14:17:42 +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