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
Copy file name to clipboardExpand all lines: README.md
+5-3Lines changed: 5 additions & 3 deletions
Display the source diff
Display the rich diff
Original file line number
Diff line number
Diff line change
@@ -1211,7 +1211,7 @@ Kani verifies:
1211
1211
1212
1212
-[lockbud](https://github.com/BurtonQin/lockbud) — Statically detects Rust deadlocks bugs. It currently detects two common kinds of deadlock bugs: doublelock and locks in conflicting order. It will print bugs in JSON format together with the source code location and an explanation of each bug.
1213
1213
1214
-
-[MIRAI](https://github.com/facebookexperimental/MIRAI) — And abstract interpreter operating on Rust's mid-level intermediate language, and providing warnings based on taint analysis.
1214
+
-[MIRAI](https://github.com/facebookexperimental/MIRAI):warning:— And abstract interpreter operating on Rust's mid-level intermediate language, and providing warnings based on taint analysis.
1215
1215
1216
1216
-[prae](https://github.com/teenjuna/prae):warning: — Provides a convenient macro that allows you to generate type wrappers that promise to always uphold arbitrary invariants that you specified.
1217
1217
@@ -1288,7 +1288,7 @@ Kani verifies:
1288
1288
1289
1289
-[shellcheck](https://www.shellcheck.net) — ShellCheck, a static analysis tool that gives warnings and suggestions for bash/sh shell scripts.
1290
1290
1291
-
-[shellharden](https://github.com/anordal/shellharden) — A syntax highlighter and a tool to semi-automate the rewriting of scripts to ShellCheck conformance, mainly focused on quoting.
1291
+
-[shellharden](https://github.com/anordal/shellharden):warning:— A syntax highlighter and a tool to semi-automate the rewriting of scripts to ShellCheck conformance, mainly focused on quoting.
1292
1292
1293
1293
1294
1294
<aname="swift" />
@@ -1617,7 +1617,7 @@ It supports multiple languages and is designed to be extensible, allowing you to
1617
1617
1618
1618
-[StaticReviewer](https://securityreviewer.atlassian.net/wiki/spaces/KC/pages/196633/Static+Reviewer):copyright: — Static Reviewer executes code checks according to the most relevant Secure Coding Standards, OWASP, CWE, CVE, CVSS, MISRA, CERT, for 40+ programming languages, using 1000+ built-in validation rules for Security, Deadcode & Best Practices Available a module for Software Composition Analysis (SCA) to find vulnerabilities in open source and third party libraries.
1619
1619
1620
-
-[Super-Linter](https://github.com/github/super-linter) — Combination of multiple linters to install as a GitHub Action.
1620
+
-[Super-Linter](https://github.com/github/super-linter):warning:— Combination of multiple linters to install as a GitHub Action.
1621
1621
1622
1622
-[Svace](https://www.ispras.ru/en/technologies/svace/):copyright: — Static code analysis tool for Java,C,C++,C#,Go.
1623
1623
@@ -2246,6 +2246,8 @@ Kani verifies:
2246
2246
2247
2247
-[Oversecured](https://oversecured.com):copyright: — Enterprise vulnerability scanner for Android and iOS apps. It allows app owners and developers to secure each new version of a mobile app by integrating Oversecured into the development process.
2248
2248
2249
+
-[OWASP Noir](https://owasp-noir.github.io/noir/) — Attack surface detector that identifies endpoints by static analysis.
2250
+
2249
2251
-[PT Application Inspector](https://www.ptsecurity.com):copyright: — Identifies code flaws and detects vulnerabilities to prevent web attacks. Demonstrates remote code execution by presenting possible exploits.
2250
2252
2251
2253
-[Qualys Container Security](https://www.qualys.com/apps/container-security):copyright: — Container native application protection to provide visibility and control of containerized applications.
0 commit comments