Skip to content
Snippets Groups Projects
Commit 40f240af authored by POTHURI HARIKA's avatar POTHURI HARIKA
Browse files

Added tools

parent cc48a1c6
No related branches found
No related tags found
No related merge requests found
Show whitespace changes
Inline Side-by-side
Showing
with 13 additions and 0 deletions
Tools.md 0 → 100644
+ 13
− 0
View file @ 40f240af
| 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|
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment