Commit list

Author: Analysis Tools Bot

README.md

@@ -306,6 +306,9 @@ Here are some of the checks this enables:
 - [Code Pulse](http://code-pulse.com/) — Code Pulse is a free real-time code coverage tool for penetration testing activities by OWASP and Code Dx ([GitHub](https://github.com/codedx/codepulse)).
 
 
+- [Daikon](https://plse.cs.washington.edu/daikon/) — A dynamic detector of likely invariants. An invariant is a property  that holds at a certain program point, often seen in assert statements,  documentation, and formal specifications.
+  
+
 - [Sydr](https://sydr-fuzz.github.io/) :copyright: — Continuous Hybrid Fuzzing and Dynamic Analysis for Security Development Lifecycle.
 
 

data/api/tools.json

@@ -308,6 +308,35 @@
     "demos": null,
     "wrapper": null
   },
+  "daikon": {
+    "name": "Daikon",
+    "categories": [
+      "linter"
+    ],
+    "languages": [
+      "c",
+      "cpp",
+      "java"
+    ],
+    "other": [],
+    "licenses": [
+      "NOASSERTION"
+    ],
+    "types": [
+      "cli"
+    ],
+    "homepage": "https://plse.cs.washington.edu/daikon/",
+    "source": "https://github.com/codespecs/daikon",
+    "pricing": null,
+    "plans": null,
+    "description": "A dynamic detector of likely invariants. An invariant is a property  that holds at a certain program point, often seen in assert statements,  documentation, and formal specifications.",
+    "discussion": null,
+    "deprecated": null,
+    "resources": null,
+    "reviews": null,
+    "demos": null,
+    "wrapper": null
+  },
   "dr-memory": {
     "name": "Dr. Memory",
     "categories": [