Shortened the tools bullet points

electisec · Jun 21, 2024 · 1d25ebd · 1d25ebd
1 parent 62e0465
commit 1d25ebd
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 6 deletions.
diff --git a/versionA.md b/versionA.md
@@ -461,9 +461,7 @@ The audit employed a blend of automated tools and manual examination conducted b
 The audit utilized several specialized tools, each tailored to assess different aspects of the protocol:
     - **Halo2-analyzer**: Verified all circuit constraints.
     - **Polyexen-demo**: Standardized circuit formats for clarity and reusability.
-    - **Highlighter**: Identified potential code issues needing closer examination.
-    - **NPM and Cargo Audits**: Checked dependencies for known vulnerabilities.
-    - **Clippy**: Ensured Rust code quality and best practices.
+    - **Misc Tools**: Utilized Highlighter to identify potential code issues, conducted NPM and Cargo Audits to check for vulnerabilities, and Clippy to ensure Rust code quality and best practices.
 - **Analytical Techniques:**
 The audit encompassed both static and dynamic analyses to provide a comprehensive security assessment:
     - **Static Analysis**: Examined the source code for vulnerabilities without execution.

diff --git a/versionB.md b/versionB.md
@@ -386,9 +386,7 @@ The audit employed a blend of automated tools and manual examination conducted b
 The audit utilized several specialized tools, each tailored to assess different aspects of the protocol:
     - **Halo2-analyzer**: Verified all circuit constraints.
     - **Polyexen-demo**: Standardized circuit formats for clarity and reusability.
-    - **Highlighter**: Identified potential code issues needing closer examination.
-    - **NPM and Cargo Audits**: Checked dependencies for known vulnerabilities.
-    - **Clippy**: Ensured Rust code quality and best practices.
+    - **Misc Tools**: Utilized Highlighter to identify potential code issues, conducted NPM and Cargo Audits to check for vulnerabilities, and Clippy to ensure Rust code quality and best practices.
 - **Analytical Techniques:**
 The audit encompassed both static and dynamic analyses to provide a comprehensive security assessment:
     - **Static Analysis**: Examined the source code for vulnerabilities without execution.