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
+6-6Lines changed: 6 additions & 6 deletions
Display the source diff
Display the rich diff
Original file line number
Diff line number
Diff line change
@@ -282,7 +282,7 @@ Also check out the sister project, [awesome-dynamic-analysis](https://github.com
282
282
283
283
-[Gendarme](https://www.mono-project.com/docs/tools+libraries/tools/gendarme) — Gendarme inspects programs and libraries that contain code in ECMA CIL format (Mono and .NET).
284
284
285
-
-**Infer#**:warning: — InferSharp (also referred to as Infer#) is an interprocedural and scalable static code analyzer for C#. Via the capabilities of Facebook's Infer, this tool detects null pointer dereferences and resource leaks.
285
+
-[Infer#](https://github.com/microsoft/infersharp) — InferSharp (also referred to as Infer#) is an interprocedural and scalable static code analyzer for C#. Via the capabilities of Facebook's Infer, this tool detects null pointer dereferences and resource leaks.
286
286
287
287
-[Meziantou.Analyzer](https://github.com/meziantou/Meziantou.Analyzer) — A Roslyn analyzer to enforce some good practices in C# in terms of design, usage, security, performance, and style.
288
288
@@ -1016,7 +1016,7 @@ It uses the pycodestyle utility to determine what parts of the code needs to be
1016
1016
1017
1017
-[pylyzers](https://mtshiba.github.io/pylyzer/) — A static code analyzer / language server for Python, written in Rust, focused on type checking and readable output.
1018
1018
1019
-
-[pyre-check](https://pyre-check.org) — A fast, scalable type checker for large Python codebases.
1019
+
-[pyrefly](https://pyrefly.org/) — A fast, incremental type checker and language server for Python, providing IDE features like code navigation, semantic highlighting, and code completion.
1020
1020
1021
1021
-[pyright](https://github.com/Microsoft/pyright) — Static type checker for Python, created to address gaps in existing tools like mypy.
1022
1022
@@ -1060,7 +1060,7 @@ YAPF follows a distinctive methodology, originating from the 'clang-format' tool
1060
1060
<h2>R</h2>
1061
1061
1062
1062
1063
-
-[CodeDepends](https://github.com/duncantl/CodeDepends) — Static Code Analysis for R.
1063
+
-**CodeDepends**:warning: — Static Code Analysis for R.
1064
1064
1065
1065
-[cyclocomp](https://github.com/MangoTheCat/cyclocomp) — Quantifies the cyclomatic complexity of R functions / expressions.
1066
1066
@@ -1561,7 +1561,7 @@ It supports multiple languages and is designed to be extensible, allowing you to
1561
1561
1562
1562
-[parasoft](https://www.parasoft.com/):copyright: — Automated Software Testing Solutions for unit-, API-, and web UI testing. Complies with MISRA, OWASP, and others.
1563
1563
1564
-
-[pfff](https://github.com/facebookarchive/pfff/wiki/Main) — Facebook's tools for code analysis, visualizations, or style-preserving source transformation for many languages.
1564
+
-**pfff**:warning: — Facebook's tools for code analysis, visualizations, or style-preserving source transformation for many languages.
1565
1565
1566
1566
-[Pixee](https://pixee.ai):copyright: — Pixeebot finds security and code quality issues in your code and creates merge-ready pull requests with recommended fixes.
1567
1567
@@ -1647,7 +1647,7 @@ It supports multiple languages and is designed to be extensible, allowing you to
1647
1647
1648
1648
-[Teamscale](https://www.cqse.eu/en/teamscale/overview/):copyright: — Static and dynamic analysis tool supporting more than 25 languages and direct IDE integration. Free hosting for Open Source projects available on request. Free academic licenses available.
1649
1649
1650
-
-[TencentCodeAnalysis](https://tca.tencent.com/) — Tencent Cloud Code Analysis (TCA for short, code-named CodeDog inside the company early) is a comprehensive platform for code analysis and issue tracking. TCA consist of three components, server, web and client. It integrates of a number of self-developed tools, and also supports dynamic integration of code analysis tools in various programming languages.
1650
+
-**TencentCodeAnalysis**:warning: — Tencent Cloud Code Analysis (TCA for short, code-named CodeDog inside the company early) is a comprehensive platform for code analysis and issue tracking. TCA consist of three components, server, web and client. It integrates of a number of self-developed tools, and also supports dynamic integration of code analysis tools in various programming languages.
1651
1651
1652
1652
-[ThreatMapper](https://github.com/deepfence/ThreatMapper) — Vulnerability Scanner and Risk Evaluation for containers, serverless and hosts at runtime. ThreatMapper generates runtime BOMs from dependencies and operating system packages, matches against multiple threat feeds, scans for unprotected secrets, and scores issues based on severity and risk-of-exploit.
1653
1653
@@ -1741,7 +1741,7 @@ Loading address: binbloom can parse a raw binary firmware and determine its load
1741
1741
1742
1742
-[Ghidra](https://ghidra-sre.org) — A software reverse engineering (SRE) suite of tools developed by NSA's Research Directorate in support of the Cybersecurity mission
1743
1743
1744
-
-[Hopper](https://www.hopperapp.com/):copyright: — macOS and Linux reverse engineering tool that lets you disassemble, decompile and debug applications. Hopper displays the code using different representations, e.g. the Control Flow Graph, and the pseudo-code of a procedure. Supports Apple Silicon.
1744
+
-**Hopper**:warning::copyright: — macOS and Linux reverse engineering tool that lets you disassemble, decompile and debug applications. Hopper displays the code using different representations, e.g. the Control Flow Graph, and the pseudo-code of a procedure. Supports Apple Silicon.
"description": "A fast, scalable type checker for large Python codebases.",
16019
+
"description": "A fast, incremental type checker and language server for Python, providing IDE features like code navigation, semantic highlighting, and code completion.",
16020
16020
"discussion": null,
16021
16021
"deprecated": null,
16022
16022
"resources": null,
@@ -20494,7 +20494,7 @@
20494
20494
"plans": null,
20495
20495
"description": "Tencent Cloud Code Analysis (TCA for short, code-named CodeDog inside the company early) is a comprehensive platform for code analysis and issue tracking. TCA consist of three components, server, web and client. It integrates of a number of self-developed tools, and also supports dynamic integration of code analysis tools in various programming languages.",
0 commit comments