zk-kit.circom icon indicating copy to clipboard operation
zk-kit.circom copied to clipboard

Ignore specific files and/or lines in circomspect checks

Open sripwoud opened this issue 1 year ago • 0 comments

Circomspect does not provide a way to configure override rules per warning and files.
However the way we integrated it in the CI relies on a SARIF (Static Analysis Results Interchange Format) file, which is JSON based.
So we should be able to edit this file on the fly to remove entries related to the warnings and files we want to ignore. Consider using e.g a .circomspectignore.yaml to define override rules:

[ruleIdsGlob]:
  - circom/file/path
  - /circom/file/path
[ruleIdsGlob]:
  - /circomfile/path
  - /circom/file/path

sripwoud avatar Jul 18 '24 07:07 sripwoud