Skip to content

Commit

Permalink
Commit list
Browse files Browse the repository at this point in the history
  • Loading branch information
Analysis Tools Bot committed Sep 29, 2024
1 parent 070c769 commit e4aa10b
Show file tree
Hide file tree
Showing 2 changed files with 125 additions and 2 deletions.
12 changes: 11 additions & 1 deletion README.md
Original file line number Diff line number Diff line change
Expand Up @@ -236,6 +236,8 @@ Also check out the sister project, [awesome-dynamic-analysis](https://github.com

- [CScout](https://www.spinellis.gr/cscout) — Complexity and quality metrics for C and C preprocessor code.

- [ENRE-cpp](https://github.com/xjtu-enre/ENRE-cpp) — ENRE (ENtity Relationship Extractor) is a tool for extraction of code entity dependencies or relationships from source code. ENRE-cpp is a ENtity Relationship Extractor for C/C++ based on @eclipse/CDT. (Under development)

- [ESBMC](http://esbmc.org) — ESBMC is an open source, permissively licensed, context-bounded model checker based on satisfiability modulo theories for the verification of single- and multi-threaded C/C++ programs.

- [flawfinder](http://dwheeler.com/flawfinder/) :warning: — Finds possible security weaknesses.
Expand Down Expand Up @@ -336,6 +338,8 @@ Also check out the sister project, [awesome-dynamic-analysis](https://github.com

- [CScout](https://www.spinellis.gr/cscout) — Complexity and quality metrics for C and C preprocessor code.

- [ENRE-cpp](https://github.com/xjtu-enre/ENRE-cpp) — ENRE (ENtity Relationship Extractor) is a tool for extraction of code entity dependencies or relationships from source code. ENRE-cpp is a ENtity Relationship Extractor for C/C++ based on @eclipse/CDT. (Under development)

- [ESBMC](http://esbmc.org) — ESBMC is an open source, permissively licensed, context-bounded model checker based on satisfiability modulo theories for the verification of single- and multi-threaded C/C++ programs.

- [flawfinder](http://dwheeler.com/flawfinder/) :warning: — Finds possible security weaknesses.
Expand Down Expand Up @@ -653,6 +657,8 @@ Its technology helps developers automate testing, find bugs, and reduce manual l

- [Doop](https://bitbucket.org/yanniss/doop) — Doop is a declarative framework for static analysis of Java/Android programs, centered on pointer analysis algorithms. Doop provides a large variety of analyses and also the surrounding scaffolding to run an analysis end-to-end (fact generation, processing, statistics, etc.).

- [ENRE-java](https://github.com/xjtu-enre/ENRE-java) — ENRE (ENtity Relationship Extractor) is a tool for extraction of code entity dependencies or relationships from source code. ENRE-java is a ENtity Relationship Extractor for Java projects based on @Eclipse JDT/parser.

- [Error Prone](https://errorprone.info) — Catch common Java mistakes as compile-time errors.

- [fb-contrib](http://fb-contrib.sourceforge.net) — A plugin for FindBugs with additional bug detectors.
Expand Down Expand Up @@ -976,6 +982,8 @@ It uses the pycodestyle utility to determine what parts of the code needs to be

- [Dodgy](https://github.com/landscapeio/dodgy) — Dodgy is a very basic tool to run against your codebase to search for "dodgy" looking values. It is a series of simple regular expressions designed to detect things such as accidental SCM diff checkins, or passwords or secret keys hard coded into files.

- [ENRE-py](https://github.com/xjtu-enre/ENRE-py) :warning: — ENRE (ENtity Relationship Extractor) is a tool for extraction of code entity dependencies or relationships from source code. ENRE-py is a ENtity Relationship Extractor for Python based on Python Language Services of The Standard Library.

- [fixit](https://pypi.org/project/fixit) — A framework for creating lint rules and corresponding auto-fixes for source code.

- [flake8](https://github.com/PyCQA/flake8) — A wrapper around `pyflakes`, `pycodestyle` and `mccabe`.
Expand Down Expand Up @@ -1088,7 +1096,7 @@ YAPF follows a distinctive methodology, originating from the 'clang-format' tool

- [flay](https://ruby.sadi.st/Flay.html) — Flay analyzes code for structural similarities.

- [flog](https://ruby.sadi.st/Flog.html) — Flog reports the most tortured code in an easy to read pain report. The higher the score, the more pain the code is in.
- [flog](https://ruby.sadi.st/Flog.html) :warning: — Flog reports the most tortured code in an easy to read pain report. The higher the score, the more pain the code is in.

- [Fukuzatsu](https://github.com/CoralineAda/fukuzatsu) — A tool for measuring code complexity in Ruby class files. Its analysis generates scores based on cyclomatic complexity algorithms with no added "opinions".

Expand Down Expand Up @@ -1301,6 +1309,8 @@ Kani verifies:

- [Codelyzer](http://codelyzer.com) :warning: — A set of tslint rules for static code analysis of Angular 2 TypeScript projects.

- [ENRE-ts](https://github.com/xjtu-enre/ENRE-ts) — ENRE (ENtity Relationship Extractor) is a tool for extraction of code entity dependencies or relationships from source code. ENRE-ts is a ENtity Relationship Extractor for ECMAScript and TypeScript based on @babel/parser.

- [fta](https://ftaproject.dev/) — Rust-based static analysis for TypeScript projects

- [stc](https://stc.dudy.dev) — Speedy TypeScript type checker written in Rust
Expand Down
115 changes: 114 additions & 1 deletion data/api/tools.json
Original file line number Diff line number Diff line change
Expand Up @@ -930,6 +930,10 @@
{
"title": "Code security with Bandit and Safety — Perfect Python",
"url": "https://www.youtube.com/watch?v=YZOKnvisJpw"
},
{
"title": "The Python Podcast.__init__: Bandit with Tim Kelsey, Travis McPeak, and Eric Brown - E62",
"url": "https://www.pythonpodcast.com/episodepage/bandit-with-tim-kelsey-travis-mcpeak-and-eric-brown"
}
],
"reviews": null,
Expand Down Expand Up @@ -6294,6 +6298,115 @@
"demos": null,
"wrapper": null
},
"enre-cpp": {
"name": "ENRE-cpp",
"categories": [
"linter"
],
"languages": [
"c",
"cpp"
],
"other": [],
"licenses": [
"LGPL-2.1 license"
],
"types": [
"cli"
],
"homepage": "https://github.com/xjtu-enre/ENRE-cpp",
"source": "https://github.com/xjtu-enre/ENRE-cpp",
"pricing": null,
"plans": null,
"description": "ENRE (ENtity Relationship Extractor) is a tool for extraction of code entity dependencies or relationships from source code. ENRE-cpp is a ENtity Relationship Extractor for C/C++ based on @eclipse/CDT. (Under development)",
"discussion": null,
"deprecated": null,
"resources": null,
"reviews": null,
"demos": null,
"wrapper": null
},
"enre-java": {
"name": "ENRE-java",
"categories": [
"linter"
],
"languages": [
"java"
],
"other": [],
"licenses": [
"LGPL-2.1 license"
],
"types": [
"cli"
],
"homepage": "https://github.com/xjtu-enre/ENRE-java",
"source": "https://github.com/xjtu-enre/ENRE-java",
"pricing": null,
"plans": null,
"description": "ENRE (ENtity Relationship Extractor) is a tool for extraction of code entity dependencies or relationships from source code. ENRE-java is a ENtity Relationship Extractor for Java projects based on @Eclipse JDT/parser.",
"discussion": null,
"deprecated": null,
"resources": null,
"reviews": null,
"demos": null,
"wrapper": null
},
"enre-py": {
"name": "ENRE-py",
"categories": [
"linter"
],
"languages": [
"python"
],
"other": [],
"licenses": [
"LGPL-2.1 license"
],
"types": [
"cli"
],
"homepage": "https://github.com/xjtu-enre/ENRE-py",
"source": "https://github.com/xjtu-enre/ENRE-py",
"pricing": null,
"plans": null,
"description": "ENRE (ENtity Relationship Extractor) is a tool for extraction of code entity dependencies or relationships from source code. ENRE-py is a ENtity Relationship Extractor for Python based on Python Language Services of The Standard Library.",
"discussion": null,
"deprecated": true,
"resources": null,
"reviews": null,
"demos": null,
"wrapper": null
},
"enre-ts": {
"name": "ENRE-ts",
"categories": [
"linter"
],
"languages": [
"typescript"
],
"other": [],
"licenses": [
"LGPL-2.1 license"
],
"types": [
"cli"
],
"homepage": "https://github.com/xjtu-enre/ENRE-ts",
"source": "https://github.com/xjtu-enre/ENRE-ts",
"pricing": null,
"plans": null,
"description": "ENRE (ENtity Relationship Extractor) is a tool for extraction of code entity dependencies or relationships from source code. ENRE-ts is a ENtity Relationship Extractor for ECMAScript and TypeScript based on @babel/parser.",
"discussion": null,
"deprecated": null,
"resources": null,
"reviews": null,
"demos": null,
"wrapper": null
},
"erb-lint": {
"name": "ERB Lint",
"categories": [
Expand Down Expand Up @@ -7020,7 +7133,7 @@
"plans": null,
"description": "Flog reports the most tortured code in an easy to read pain report. The higher the score, the more pain the code is in.",
"discussion": null,
"deprecated": null,
"deprecated": true,
"resources": null,
"reviews": null,
"demos": null,
Expand Down

0 comments on commit e4aa10b

Please sign in to comment.