Skip to content

Commit 5efee37

Browse files
author
Analysis Tools Bot
committed
Commit list
1 parent 3032eb2 commit 5efee37

File tree

2 files changed

+3
-3
lines changed

2 files changed

+3
-3
lines changed

README.md

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -238,7 +238,7 @@ Also check out the sister project, [awesome-dynamic-analysis](https://github.com
238238

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

241-
- [flawfinder](http://dwheeler.com/flawfinder/) — Finds possible security weaknesses.
241+
- [flawfinder](http://dwheeler.com/flawfinder/) :warning: — Finds possible security weaknesses.
242242

243243
- [flint++](https://github.com/JossWhittle/FlintPlusPlus) — Cross-platform, zero-dependency port of flint, a lint program for C++ developed and used at Facebook.
244244

@@ -338,7 +338,7 @@ Also check out the sister project, [awesome-dynamic-analysis](https://github.com
338338

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

341-
- [flawfinder](http://dwheeler.com/flawfinder/) — Finds possible security weaknesses.
341+
- [flawfinder](http://dwheeler.com/flawfinder/) :warning: — Finds possible security weaknesses.
342342

343343
- [flint++](https://github.com/JossWhittle/FlintPlusPlus) — Cross-platform, zero-dependency port of flint, a lint program for C++ developed and used at Facebook.
344344

data/api/tools.json

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -6844,7 +6844,7 @@
68446844
"plans": null,
68456845
"description": "Finds possible security weaknesses.",
68466846
"discussion": null,
6847-
"deprecated": null,
6847+
"deprecated": true,
68486848
"resources": null,
68496849
"reviews": null,
68506850
"demos": null,

0 commit comments

Comments
 (0)