Commit list

Author: Analysis Tools Bot

README.md

@@ -240,8 +240,6 @@ Also check out the sister project, [awesome-dynamic-analysis](https://github.com
 
 - [IKOS](https://github.com/nasa-sw-vnv/ikos) — A sound static analyzer for C/C++ code based on LLVM.
 
-- [Joern](https://joern.io) — Open-source code analysis platform for C/C++ based on code property graphs
-
 - [KLEE](http://klee.github.io/) — A dynamic symbolic execution engine built on top of the LLVM compiler infrastructure.  It can auto-generate test cases for programs such that the test cases exercise as much of the program as possible.
 
 - [LDRA](https://ldra.com) :copyright: — A tool suite including static analysis (TBVISION) to various standards including MISRA C & C++, JSF++ AV, CWE, CERT C, CERT C++ & Custom Rules.
@@ -338,8 +336,6 @@ Also check out the sister project, [awesome-dynamic-analysis](https://github.com
 
 - [IKOS](https://github.com/nasa-sw-vnv/ikos) — A sound static analyzer for C/C++ code based on LLVM.
 
-- [Joern](https://joern.io) — Open-source code analysis platform for C/C++ based on code property graphs
-
 - [KLEE](http://klee.github.io/) — A dynamic symbolic execution engine built on top of the LLVM compiler infrastructure.  It can auto-generate test cases for programs such that the test cases exercise as much of the program as possible.
 
 - [LDRA](https://ldra.com) :copyright: — A tool suite including static analysis (TBVISION) to various standards including MISRA C & C++, JSF++ AV, CWE, CERT C, CERT C++ & Custom Rules.
@@ -834,6 +830,9 @@ A ktfmt IntelliJ plugin is available from the plugin repository. To install it,
 
 - [larastan](https://github.com/larastan/larastan) — Adds static analysis to Laravel improving developer productivity and code quality. It is a wrapper around PHPStan.
 
+- [mago](https://mago.carthage.software) — Mago is a complete toolchain for PHP, written in Rust, designed from the ground up for maximum performance.
+- ✨ A blazing-fast formatter that automatically formats your code according to PER-CS, ending style debates forever. - 🔎 An intelligent linter that catches stylistic issues, inconsistencies, and code smells before they become problems. - 🔬 A powerful static analyzer that finds type errors and logical bugs in your code without you ever having to run it. - 🛡️ A robust architectural guard that enforces dependency rules and structural conventions.
+
 - **Mondrian** :warning: — A set of static analysis and refactoring tools which use graph theory.
 
 - [parallel-lint](https://github.com/php-parallel-lint/PHP-Parallel-Lint) — This tool checks syntax of PHP files faster than serial check with a fancier output.
@@ -1521,6 +1520,8 @@ It supports multiple languages and is designed to be extensible, allowing you to
 
 - [Infer](https://fbinfer.com) — A static analyzer for Java, C and Objective-C
 
+- [Joern](https://joern.io) — Joern is a platform for analyzing source code, bytecode, and binary executables. It generates code property graphs (CPGs), a graph representation of code for cross-language code analysis. Code property graphs are stored in a custom graph database. This allows code to be mined using search queries formulated in a Scala-based domain-specific query language. Joern is developed with the goal of providing a useful tool for vulnerability discovery and research in static program analysis.
+
 - [keploy](https://keploy.io/) — Keploy is an open-source testing platform that helps developers automate and streamline their testing process. It provides API, and integration testing agents, generating tests, mocks/stubs for APIs that actually work. Additionally, Keploy offers an AI-powered Unit Testing Agent that generates stable, useful unit tests directly in your GitHub PRs and in VSCode, helping catch errors and improve code quality.
 
 - [Kiuwan](https://www.kiuwan.com/code-security-sast) :copyright: — Identify and remediate cyber threats in a blazingly fast, collaborative environment, with seamless integration in your SDLC. Python, C\C++, Java, C#, PHP and more.

data/api/tags.json

@@ -160,6 +160,11 @@
       "value": "jsp",
       "tag_type": "Language"
     },
+    {
+      "name": "Jimple",
+      "value": "jimple",
+      "tag_type": "Language"
+    },
     {
       "name": "JSX",
       "value": "jsx",
@@ -432,6 +437,11 @@
       "value": "gherkin",
       "tag_type": "Other"
     },
+    {
+      "name": "Ghidra",
+      "value": "ghidra",
+      "tag_type": "Other"
+    },
     {
       "name": "git",
       "value": "git",

data/api/tools.json

@@ -10289,23 +10289,46 @@
     ],
     "languages": [
       "c",
-      "cpp"
+      "csharp",
+      "cpp",
+      "go",
+      "java",
+      "javascript",
+      "jimple",
+      "kotlin",
+      "php",
+      "python",
+      "ruby",
+      "swift",
+      "typescript"
+    ],
+    "other": [
+      "ghidra",
+      "security"
     ],
-    "other": [],
     "licenses": [
       "Apache License 2.0"
     ],
     "types": [
       "cli"
     ],
     "homepage": "https://joern.io",
-    "source": "https://github.com/ShiftLeftSecurity/joern",
+    "source": "https://github.com/joernio/joern",
     "pricing": null,
     "plans": null,
-    "description": "Open-source code analysis platform for C/C++ based on code property graphs",
+    "description": "Joern is a platform for analyzing source code, bytecode, and binary executables. It generates code property graphs (CPGs), a graph representation of code for cross-language code analysis. Code property graphs are stored in a custom graph database. This allows code to be mined using search queries formulated in a Scala-based domain-specific query language. Joern is developed with the goal of providing a useful tool for vulnerability discovery and research in static program analysis.",
     "discussion": null,
     "deprecated": null,
-    "resources": null,
+    "resources": [
+      {
+        "title": "Documentation",
+        "url": "https://docs.joern.io"
+      },
+      {
+        "title": "CPG Specification",
+        "url": "https://cpg.joern.io"
+      }
+    ],
     "reviews": null,
     "demos": null,
     "wrapper": null
@@ -11661,6 +11684,34 @@
     "demos": null,
     "wrapper": null
   },
+  "mago": {
+    "name": "mago",
+    "categories": [
+      "linter",
+      "formatter"
+    ],
+    "languages": [
+      "php"
+    ],
+    "other": [],
+    "licenses": [
+      "MIT License"
+    ],
+    "types": [
+      "cli"
+    ],
+    "homepage": "https://mago.carthage.software",
+    "source": "https://github.com/carthage-software/mago",
+    "pricing": null,
+    "plans": null,
+    "description": "Mago is a complete toolchain for PHP, written in Rust, designed from the ground up for maximum performance.\n- ✨ A blazing-fast formatter that automatically formats your code according to PER-CS, ending style debates forever. - 🔎 An intelligent linter that catches stylistic issues, inconsistencies, and code smells before they become problems. - 🔬 A powerful static analyzer that finds type errors and logical bugs in your code without you ever having to run it. - 🛡️ A robust architectural guard that enforces dependency rules and structural conventions.",
+    "discussion": null,
+    "deprecated": null,
+    "resources": null,
+    "reviews": null,
+    "demos": null,
+    "wrapper": null
+  },
   "malcat": {
     "name": "Malcat",
     "categories": [