Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/vacekj/crawl
https://github.com/vacekj/crawl
Last synced: about 2 months ago
JSON representation
- Host: GitHub
- URL: https://github.com/vacekj/crawl
- Owner: vacekj
- Created: 2023-04-12T11:18:24.000Z (over 1 year ago)
- Default Branch: main
- Last Pushed: 2023-04-25T15:54:57.000Z (over 1 year ago)
- Last Synced: 2024-04-14T02:03:13.556Z (9 months ago)
- Language: Rust
- Size: 60.5 KB
- Stars: 0
- Watchers: 1
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
# crawl
- crawls a blockchain for contract creations and ouputs bytecode to disk.
- uses erigon db directly, or an rpc in case erigon is not available
## next steps
- check all contracts for code from sourcify or etherscan
- identify known vulnerabilities
- check state values against the most common vulns to see if exploit is still possible
## symbolic execution
- get bytecode, automatically transform it into constraints (using llms?)
- define a constraints and run a solver (https://www.youtube.com/watch?v=VkSR9jz_C-0)
## endgame
- analyze bytecode directly using llms
- "given this bytecode and this state, develop an exploit that yields a net profit"