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 Apr 29, 2024
1 parent a8b387b commit ffe2003
Show file tree
Hide file tree
Showing 2 changed files with 7 additions and 7 deletions.
8 changes: 4 additions & 4 deletions README.md
Original file line number Diff line number Diff line change
Expand Up @@ -214,7 +214,7 @@ Also check out the sister project, [awesome-dynamic-analysis](https://github.com

- [cqmetrics](https://github.com/dspinellis/cqmetrics) — Quality metrics for C code.

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

- [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.

Expand Down Expand Up @@ -314,7 +314,7 @@ Also check out the sister project, [awesome-dynamic-analysis](https://github.com

- [cqmetrics](https://github.com/dspinellis/cqmetrics) — Quality metrics for C code.

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

- [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.

Expand Down Expand Up @@ -466,7 +466,7 @@ Dialyzer starts its analysis from either debug-compiled BEAM bytecode or from E
- [fprettify](https://pypi.python.org/pypi/fprettify) — Auto-formatter for modern fortran source code, written in Python.
Fprettify is a tool that provides consistent whitespace, indentation, and delimiter alignment in code, including the ability to change letter case and handle preprocessor directives, all while preserving revision history and tested for editor integration.

- [i-Code CNES for Fortran](https://github.com/lequal/i-CodeCNES) — An open source static code analysis tool for Fortran 77, Fortran 90 and Shell.
- [i-Code CNES for Fortran](https://github.com/lequal/i-CodeCNES) :warning: — An open source static code analysis tool for Fortran 77, Fortran 90 and Shell.


<a name="go" />
Expand Down Expand Up @@ -1236,7 +1236,7 @@ Kani verifies:

- [bashate](https://github.com/openstack/bashate) — Code style enforcement for bash programs. The output format aims to follow pycodestyle (pep8) default output format.

- [i-Code CNES for Shell](https://github.com/lequal/i-CodeCNES) — An open source static code analysis tool for Shell and Fortran (77 and 90).
- [i-Code CNES for Shell](https://github.com/lequal/i-CodeCNES) :warning: — An open source static code analysis tool for Shell and Fortran (77 and 90).

- [kmdr](https://github.com/ediardo/kmdr-cli) — CLI tool for learning commands from your terminal. kmdr delivers a break down of commands with every attribute explained.

Expand Down
6 changes: 3 additions & 3 deletions data/api/tools.json
Original file line number Diff line number Diff line change
Expand Up @@ -4483,7 +4483,7 @@
"plans": null,
"description": "Complexity and quality metrics for C and C preprocessor code.",
"discussion": null,
"deprecated": true,
"deprecated": null,
"resources": null,
"reviews": null,
"demos": null,
Expand Down Expand Up @@ -8911,7 +8911,7 @@
"plans": null,
"description": "An open source static code analysis tool for Fortran 77, Fortran 90 and Shell.",
"discussion": null,
"deprecated": null,
"deprecated": true,
"resources": null,
"reviews": null,
"demos": null,
Expand All @@ -8938,7 +8938,7 @@
"plans": null,
"description": "An open source static code analysis tool for Shell and Fortran (77 and 90).",
"discussion": null,
"deprecated": null,
"deprecated": true,
"resources": null,
"reviews": null,
"demos": null,
Expand Down

0 comments on commit ffe2003

Please sign in to comment.