From 40f240afefeb45283e65349d4bfb2e3b8c48f964 Mon Sep 17 00:00:00 2001 From: POTHURI HARIKA <cb.en.p2cys21018@cb.students.amrita.edu> Date: Fri, 27 Jan 2023 11:16:20 +0530 Subject: [PATCH] Added tools --- Tools.md | 13 +++++++++++++ 1 file changed, 13 insertions(+) create mode 100644 Tools.md diff --git a/Tools.md b/Tools.md new file mode 100644 index 0000000..3199b30 --- /dev/null +++ b/Tools.md @@ -0,0 +1,13 @@ +| S.NO | Security tool | Method | Method of Analysis | Rule Definition Language| +|:-------:|---------|------------|------------|------------| +| 1 | Oyente | Symbolic Execution | Static code analysis | Yes| +| 2 | Securify |Formal Verification | Static code analysis |Yes| +| 3 | Smart check | Symbolic Execution | Static code analysis | Yes | +| 4 | Mythril | Formal verification | Static code analysis | Yes| +| 5 | Scribble | Runtime Verification | Fuzz testing |YES| +| 6 | Manticore | Symbolic Execution | Fuzz testing |No| +| 7 | Certora | Formal Verification | Static code analysis |Yes| +| 8 | HoneyBadger | Symbolic Execution | Fuzz testing |No| +| 9 | Maian | Symbolic Execution | Static and Dnamic analysis |Yes| +| 10 | Osiris | Symbolic Execution | Taint analysis |Yes| +| 11 | Slither | Symbolic Execution | Static code analysis|No| -- GitLab