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
+4-4Lines changed: 4 additions & 4 deletions
Display the source diff
Display the rich diff
Original file line number
Diff line number
Diff line change
@@ -238,7 +238,7 @@ Also check out the sister project, [awesome-dynamic-analysis](https://github.com
238
238
239
239
-[CScout](https://www.spinellis.gr/cscout) — Complexity and quality metrics for C and C preprocessor code.
240
240
241
-
-[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)
241
+
-[ENRE-cpp](https://github.com/xjtu-enre/ENRE-cpp):warning:— 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)
242
242
243
243
-[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.
244
244
@@ -340,7 +340,7 @@ Also check out the sister project, [awesome-dynamic-analysis](https://github.com
340
340
341
341
-[CScout](https://www.spinellis.gr/cscout) — Complexity and quality metrics for C and C preprocessor code.
342
342
343
-
-[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)
343
+
-[ENRE-cpp](https://github.com/xjtu-enre/ENRE-cpp):warning:— 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)
344
344
345
345
-[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.
346
346
@@ -798,7 +798,7 @@ A ktfmt IntelliJ plugin is available from the plugin repository. To install it,
798
798
799
799
-[DrNim](https://nim-lang.org/docs/drnim.html) — DrNim combines the Nim frontend with the Z3 proof engine in order to allow verify / validate software written in Nim.
800
800
801
-
-[nimfmt](https://github.com/FedericoCeratto/nimfmt) — Nim code formatter / linter / style checker
801
+
-[nimfmt](https://github.com/FedericoCeratto/nimfmt):warning:— Nim code formatter / linter / style checker
802
802
803
803
804
804
<aname="ocaml" />
@@ -1478,7 +1478,7 @@ It supports multiple languages and is designed to be extensible, allowing you to
1478
1478
1479
1479
-[DevSkim](https://github.com/microsoft/devskim) — Regex-based static analysis tool for Visual Studio, VS Code, and Sublime Text - C/C++, C#, PHP, ASP, Python, Ruby, Java, and others.
1480
1480
1481
-
-[dotenet-format](https://github.com/dotnet/format) — A code formatter for .NET. Preferences will be read from an `.editorconfig` file, if present, otherwise a default set of preferences will be used. At this time dotnet-format is able to format C# and Visual Basic projects with a subset of supported `.editorconfig` options.
1481
+
-[dotnet-format](https://github.com/dotnet/format) — A code formatter for .NET. Preferences will be read from an `.editorconfig` file, if present, otherwise a default set of preferences will be used. At this time dotnet-format is able to format C# and Visual Basic projects with a subset of supported `.editorconfig` options.
1482
1482
1483
1483
-[Embold](https://embold.io):copyright: — Intelligent software analytics platform that identifies design issues, code issues, duplication and metrics. Supports Java, C, C++, C#, JavaScript, TypeScript, Python, Go, Kotlin and more.
"description": "A code formatter for .NET. Preferences will be read from an `.editorconfig` file, if present, otherwise a default set of preferences will be used. At this time dotnet-format is able to format C# and Visual Basic projects with a subset of supported `.editorconfig` options.",
6075
+
"description": "Linting dotenv files like a charm.",
"description": "Lightning-fast linter for .env files. Written in Rust",
6131
+
"description": "A code formatter for .NET. Preferences will be read from an `.editorconfig` file, if present, otherwise a default set of preferences will be used. At this time dotnet-format is able to format C# and Visual Basic projects with a subset of supported `.editorconfig` options.",
6132
6132
"discussion": null,
6133
6133
"deprecated": null,
6134
6134
"resources": null,
@@ -6540,7 +6540,7 @@
6540
6540
"plans": null,
6541
6541
"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)",
0 commit comments