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

330 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Fredrik Dahlgren
ece9efe0a2 Merge pull request #23 from trailofbits/clap-update 
Updated clap dependency to 0.4
 2024-06-22 17:39:04 +02:00
Fredrik Dahlgren
abda28da9a Updated clap dependency to 0.4 2024-06-22 14:58:30 +02:00
Fredrik Dahlgren
82e63df70d Merge pull request #22 from trailofbits/clippy-fixes 
Linter fixes and bumped crate version
v0.9.0 		2024-06-20 17:35:42 +02:00
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
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
175058c081 remove get and unwrap since the 0th element is guaranteed to exist 2024-04-04 13:23:59 -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
01dcabe383 replace map_or with ok_or 2024-04-04 13:20:42 -04:00
Will Song
3b8e4f4fc2 do not use default for struct with single value 2024-04-04 13:20:24 -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
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