github/circomspect
1
1
Fork 0
mirror of https://github.com/trailofbits/circomspect.git synced 2026-01-11 14:57:59 -05:00
Code Issues Packages Projects Releases Wiki Activity

Commit Graph

  • ece9efe0a2 Merge pull request #23 from trailofbits/clap-update main Fredrik Dahlgren 2024-06-22 17:39:04 +02:00
  • abda28da9a Updated clap dependency to 0.4 clap-update Fredrik Dahlgren 2024-06-22 14:57:43 +02:00
  • 82e63df70d Merge pull request #22 from trailofbits/clippy-fixes v0.9.0 Fredrik Dahlgren 2024-06-20 17:35:42 +02:00
  • c52043f844 Updated crate versions clippy-fixes Fredrik Dahlgren 2024-06-20 17:24:01 +02:00
  • 72c3705eab Fixed Clippy lints Fredrik Dahlgren 2024-06-20 17:23:24 +02:00
  • 791b50ccd8 Merge pull request #21 from trailofbits/library-search Fredrik Dahlgren 2024-06-20 16:43:10 +02:00
  • c946bf33bc add some debug info for includes and library resolution library-search Will Song 2024-04-04 14:20:12 -04:00
  • a01b1c0189 reformat code after clippy changes Will Song 2024-04-04 13:29:58 -04:00
  • e5ec56f6e1 make match more concise Will Song 2024-04-04 13:27:57 -04:00
  • 7fb88b2af3 extend will call .into_iter for us Will Song 2024-04-04 13:25:28 -04:00
  • 175058c081 remove get and unwrap since the 0th element is guaranteed to exist Will Song 2024-04-04 13:23:59 -04:00
  • f98b8564f3 follow rust guidelines and have PartialOrd rely on Ord when the type is Ord, also saving an unwrap Will Song 2024-04-04 13:21:33 -04:00
  • 01dcabe383 replace map_or with ok_or Will Song 2024-04-04 13:20:42 -04:00
  • 3b8e4f4fc2 do not use default for struct with single value Will Song 2024-04-04 13:20:24 -04:00
  • a859c8f708 add semicolons as per cargo fmt Will Song 2024-04-04 12:52:54 -04:00
  • 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) Will Song 2024-04-04 12:49:37 -04:00
  • c4bb707cdc cargo fmt Will Song 2024-04-04 01:49:12 -04:00
  • b34ac2444b fix local includes Will Song 2024-04-04 01:40:03 -04:00
  • a2cb6365cc add library search functionality Will Song 2024-04-04 01:14:23 -04:00
  • f746fd1d49 Merge pull request #17 from Gratla/dev/feature/pub-single-file-parsing Fredrik Dahlgren 2023-11-08 18:21:43 +01:00
  • e1077772b7 Introduced pub access-modifier for parse_file to expose AST from outside the library. Philipp Leeb 2023-10-22 13:04:19 +02:00
  • 498c26116f Bump rustix from 0.36.11 to 0.36.16 dependabot/cargo/rustix-0.36.16 dependabot[bot] 2023-10-18 18:37:09 +00:00
  • 02f0a1d305 Merge pull request #15 from trailofbits/add-codeowners Fredrik Dahlgren 2023-04-12 09:59:34 +02:00
  • 874f08f9cc Add CODEOWNERS file Artem Dinaburg 2023-04-11 14:05:42 -04:00
  • a888906564 Updated change log Fredrik Dahlgren 2023-03-21 10:54:16 +01:00
  • cb35785382 Bumped versions v0.8.1 Fredrik Dahlgren 2023-03-21 10:29:41 +01:00
  • b9eef46aa6 Merge pull request #14 from trailofbits/fix/cargo-audit Fredrik Dahlgren 2023-03-21 10:22:44 +01:00
  • 9cce76266f Fixed dependencies flagged by cargo-audit Fredrik Dahlgren 2023-03-21 10:16:41 +01:00
  • cda487e776 Merge pull request #11 from trailofbits/dev/version-0.8.0 v0.8.0 Fredrik Dahlgren 2023-03-21 09:49:06 +01:00
  • 04ebe22f90 Updated change log Fredrik Dahlgren 2023-03-21 09:43:15 +01:00
  • 7949ff69d9 Updated maximum supported version Fredrik Dahlgren 2023-03-21 09:31:20 +01:00
  • e21edef5b1 Removed duplicate reporting descriptors from Sarif output Fredrik Dahlgren 2023-02-23 15:22:15 +01:00
  • 3133113b98 Updated change log Fredrik Dahlgren 2023-02-15 18:17:55 +01:00
  • 2517fdc5c4 Replaced all uses of the name BN128 with BN254 Fredrik Dahlgren 2023-02-15 18:17:40 +01:00
  • 68477c3e27 Filter out reports for files not specified by the user Fredrik Dahlgren 2023-02-15 18:04:32 +01:00
  • 33fef95020 Updated change log Fredrik Dahlgren 2023-02-15 13:51:54 +01:00
  • 0775d3cc4d Updated error message for anonymous signals in conditions Fredrik Dahlgren 2023-02-15 13:51:43 +01:00
  • c3cdef9387 Added documentation for unused-output-signal Fredrik Dahlgren 2023-02-15 13:51:01 +01:00
  • aa295abff9 Fixed clippy suggestions Fredrik Dahlgren 2023-02-15 13:49:40 +01:00
  • e8ca88b298 fixup the merge changes dev/feature/non-bool-conditions Joe Doyle 2023-01-10 14:18:43 -05:00
  • 8337d45664 Merge branch 'dev/version-0.8.0' of github.com:trailofbits/circomspect into dev/feature/non-bool-conditions Joe Doyle 2023-01-10 14:11:58 -05:00
  • 16c8e66085 Added --follow-includes flag Fredrik Dahlgren 2023-01-10 16:31:48 +01:00
  • 2a9309f9a5 Added unused-output-signal analysis pass Fredrik Dahlgren 2023-01-10 16:08:59 +01:00
  • 430d4dda8e Updated AnalysisRunner.with_files API Fredrik Dahlgren 2023-01-10 16:08:28 +01:00
  • 3f23649c26 Deleted duplicate parse_definition implementation Fredrik Dahlgren 2023-01-10 13:19:02 +01:00
  • 4770446764 Moved analysis runner and configuration to program_analysis crate. Fredrik Dahlgren 2023-01-10 13:18:23 +01:00
  • 0a2e0519e6 Added input and output signal APIs to CFG Fredrik Dahlgren 2023-01-10 13:17:02 +01:00
  • 5223de15e9 Merge remote-tracking branch 'origin/main' into dev/version-0.8.0 Fredrik Dahlgren 2023-01-09 16:01:06 +01:00
  • 92b9ead67a Merge pull request #13 from trailofbits/dev/analysis-context Fredrik Dahlgren 2023-01-09 15:54:07 +01:00
  • e9c70d038f Downgraded clap to avoid help message regression issue Fredrik Dahlgren 2023-01-09 15:42:01 +01:00
  • 276b4be2c0 Updated main to use new analysis runner Fredrik Dahlgren 2023-01-09 15:41:37 +01:00
  • 343f304726 Added analysis runner Fredrik Dahlgren 2023-01-09 15:41:13 +01:00
  • 1ff17d46f0 Moved writers to separate module Fredrik Dahlgren 2023-01-09 15:40:54 +01:00
  • abd6bb4bdd Added analysis context trait Fredrik Dahlgren 2023-01-09 15:39:32 +01:00
  • cf1d6ef235 Fixed an issue in compiler version check Fredrik Dahlgren 2023-01-09 15:33:18 +01:00
  • b945079ef4 Updated FileStack API to take a reference Fredrik Dahlgren 2023-01-09 15:32:10 +01:00
  • 28fa5b3eca Updated CHANGELOG Fredrik Dahlgren 2023-01-06 10:22:38 +01:00
  • a2414c3b3e Updated analysis pass descriptions Fredrik Dahlgren 2023-01-05 16:12:47 +01:00
  • 7f04fbd14b Added unit test to the overly-complex-function-or-template analysis pass Fredrik Dahlgren 2023-01-05 16:12:32 +01:00
  • 2f1d1df699 Added templates to the bn128-specific-circuits analysis pass Fredrik Dahlgren 2023-01-05 16:11:48 +01:00
  • c05f42ea27 Rewrote bn128-specific-circuit analysis pass Fredrik Dahlgren 2023-01-04 18:15:50 +01:00
  • c5dd2da4b7 Rewrote unconstrained-less-than analysis pass Fredrik Dahlgren 2023-01-04 14:39:27 +01:00
  • 8a691558ce Bumped compiler version. Fredrik Dahlgren 2023-01-04 14:38:58 +01:00
  • 8b32428cb5 clippy fixes Joe Doyle 2022-12-29 22:14:51 -05:00
  • 2895773417 update flake for rust 1.66.0 Joe Doyle 2022-12-29 22:07:28 -05:00
  • 265d85fe6e rustfmt Joe Doyle 2022-12-29 21:51:09 -05:00
  • 8992d80961 non-boolean conditional pass Joe Doyle 2022-12-29 21:50:17 -05:00
  • 628022c050 Constant propagation now also propagates non-constant knowledge Joe Doyle 2022-12-29 21:01:26 -05:00
  • 864faad3a8 Merge branch 'main' of github.com:trailofbits/circomspect into dev/version-0.8.0 Fredrik Dahlgren 2022-12-28 14:19:57 +01:00
  • 80f1c97669 Merge pull request #10 from trailofbits/fix_cyclomatic_underflow Fredrik Dahlgren 2022-12-28 14:17:42 +01:00
  • 23c1e1e85e Bumped versions Fredrik Dahlgren 2022-12-28 14:00:38 +01:00
  • ba7f3f598e Added initial support for Circom 2.1.2 Fredrik Dahlgren 2022-12-28 14:00:08 +01:00
  • 717861e3ac Renamed VariableName helper method Fredrik Dahlgren 2022-12-23 19:43:02 +01:00
  • cb770f5b6a Reorder cyclomatic complexity calculation to prevent underflow assertion in dev mode Tjaden Hess 2022-12-21 13:35:36 -06:00
  • 921cbb2aa8 Updated section headers Fredrik Dahlgren 2022-12-01 16:30:31 +01:00
  • 69b1d4bb83 Fixed URL in README Fredrik Dahlgren 2022-12-01 16:28:12 +01:00
  • a2c1e01ce0 Merge pull request #8 from trailofbits/dev/version-0.7.2 v0.7.2 Fredrik Dahlgren 2022-12-01 16:06:41 +01:00
  • e3010e6491 Updated README Fredrik Dahlgren 2022-12-01 16:02:08 +01:00
  • 0449a37119 Updated change log Fredrik Dahlgren 2022-12-01 15:58:24 +01:00
  • efb0d0a199 Added a link to the issue description to output Fredrik Dahlgren 2022-12-01 15:53:55 +01:00
  • 11c0f44154 Bumped versions Fredrik Dahlgren 2022-12-01 14:50:17 +01:00
  • ec2d62346b Reworded unconstrained-less-than warning Fredrik Dahlgren 2022-12-01 14:48:47 +01:00
  • d422fa5a9a Clarified issues around unconstrained inputs to LessThan in README Fredrik Dahlgren 2022-11-30 18:36:00 +01:00
  • ac7bbe169f Merge pull request #7 from trailofbits/dev/version-0.7.1 v0.7.1 Fredrik Dahlgren 2022-11-29 19:26:51 +01:00
  • eb6f99e793 Fixed under-constrained warning message Fredrik Dahlgren 2022-11-29 19:21:24 +01:00
  • 72d74e4be5 Merge pull request #6 from trailofbits/dev/version-0.7.0 v0.7.0 Fredrik Dahlgren 2022-11-29 15:55:34 +01:00
  • 1ffee5ada0 Bumped circom-algebra version Fredrik Dahlgren 2022-11-29 15:24:20 +01:00
  • faf259d3f6 Bumped versions Fredrik Dahlgren 2022-11-29 15:20:24 +01:00
  • 08ad1a90c3 Added CHANGELOG.md Fredrik Dahlgren 2022-11-29 15:19:41 +01:00
  • f280136fc9 Updated .gitignore Fredrik Dahlgren 2022-11-29 15:19:01 +01:00
  • c21059d06d Updated dependencies Fredrik Dahlgren 2022-11-29 15:08:14 +01:00
  • 2c42babdd4 Improved parsing error messages Fredrik Dahlgren 2022-11-29 14:41:12 +01:00
  • 4bcbf3c14e Added under-constrained signals analysis pass Fredrik Dahlgren 2022-11-29 14:40:41 +01:00
  • b61d8959b0 Exit early from non-strict binary conversion pass if we're not on the default curve Fredrik Dahlgren 2022-11-29 14:40:11 +01:00
  • fb31d689fd Added more unit tests Fredrik Dahlgren 2022-11-29 14:39:10 +01:00
  • 27dcd1d4c5 Fixed Clippy lints Fredrik Dahlgren 2022-11-29 14:38:14 +01:00
  • 0ddc3c68d7 Added loop-depth tracking to BasicBlock Fredrik Dahlgren 2022-11-29 14:32:34 +01:00
  • 2fb41268ea Updated README Fredrik Dahlgren 2022-11-28 10:54:01 +01:00
  • 5c5a308fc0 Clarified prime use in README Fredrik Dahlgren 2022-11-24 15:38:05 +01:00
  • bda5297c35 Rewrote a few analysis pass descriptions in the README Fredrik Dahlgren 2022-11-22 15:35:13 +01:00