You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
This commit was created on GitHub.com and signed with GitHub’s verified signature.
The key has expired.
Features
Circomspect will now only report findings for potential issues in the files
specified on the command line. (It will still attempt to parse included
files, but these will only be used to inform the analysis of the files
specified by the user.)
Added support for tags, tuples, and anonymous components. Circomspect now
supports Circom versions 2.0.0 - 2.1.4.
Added templates to the bn254-specific-circuits analysis pass.
Added unused-output-signal analysis pass.
All uses of the name BN128 have been replaced with BN254.
Bug fixes
Rewrote the unconstrained-less-than analysis pass to better capture the
underlying issue.
Fixed an issue where the cyclomatic complexity calculation could underflow
in some cases in the overly-complex-function-or-template analysis pass.
Fixed an issue in the Sarif export implementation where reporting
descriptors were added multiple times.