-
Notifications
You must be signed in to change notification settings - Fork 12
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Signed-off-by: degrigis <[email protected]>
- Loading branch information
Showing
1 changed file
with
4 additions
and
4 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,8 +1,8 @@ | ||
# Welcome to greed's documentation! | ||
# 👋🏼 Welcome to greed's documentation! | ||
|
||
Welcome to `greed`'s documentation! This documentation is intended to be a quick guide to use greed: our symbolic execution engine for EVM smart contract binaries. | ||
Welcome to greed's documentation! This documentation is intended to be a quick guide to use greed: our symbolic execution engine for EVM smart contract binaries. | ||
|
||
If `greed` makes you think of `angr`, is because we are basically from the same research group (UCSB Seclab). | ||
Some of the folks developing `greed` are also `angr`'s contributor, thus, many of the choices in this project are inspired by `angr`. | ||
If greed makes you think of angr, is because we are basically from the same research group (UCSB Seclab). | ||
Some of the folks developing greed are also angr's contributor, thus, many of the choices in this project are inspired by angr. | ||
|
||
|