Skip to content

Commit

Permalink
Added Aderyn to List of Publicly Available Security Analysis Techniques
Browse files Browse the repository at this point in the history
  • Loading branch information
Mill1995 authored and ZhangZhuoSJTU committed May 12, 2024
1 parent 0209635 commit 274a1a1
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions README.md
Original file line number Diff line number Diff line change
@@ -69,6 +69,7 @@ This section will include open-source techniques that are publicly available and
| Technique | Developer(s) | Description | Security-related Keywords |
| :------------------------------------------------------------------------------- | :--------------------------------------------------------- | :------------------------------------------- | :----------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- |
| [Slither](https://github.com/crytic/slither) | [Trail of Bits](https://www.trailofbits.com/) | Static Analysis Framework | [Vulnerability Detectors](https://github.com/crytic/slither/blob/master/trophies.md), [SlithIR](https://github.com/crytic/slither/wiki/SlithIR) |
| [Aderyn](https://github.com/Cyfrin/aderyn) | [Cyfrin](https://www.cyfrin.io/) | Static Analysis Framework | Static Analyzer, Custom Detectors, Markdown Reports |
| [Foundry](https://github.com/foundry-rs/foundry) | [Paradigm](https://www.paradigm.xyz/) | Development Toolchain | [Fuzzing](https://book.getfoundry.sh/forge/fuzz-testing), [Stateful Fuzzing (Invariant Testing)](https://book.getfoundry.sh/forge/invariant-testing#invariant-testing), [Differential Testing](https://book.getfoundry.sh/forge/differential-ffi-testing#differential-testing) |
| [Echidna](https://github.com/crytic/echidna) | [Trail of Bits](https://www.trailofbits.com/) | Fuzzer | [Fuzzing](https://github.com/crytic/echidna#echidna-a-fast-smart-contract-fuzzer-) , [Stateful Fuzzing (Invariant Testing)](https://github.com/crytic/echidna#writing-invariants), [CI/CD](https://github.com/crytic/echidna#using-echidna-in-a-github-actions-workflow) |
| [Optik](https://github.com/crytic/optik) | [Trail of Bits](https://www.trailofbits.com/) | Hybrid Fuzzer (Symbolic Execution + Fuzzing) | Fuzzing, Stateful Fuzzing, Symbolic Execution |

0 comments on commit 274a1a1

Please sign in to comment.