leonardoalt/dl_symb_exec_sol
Symbolic execution engine written in Solidity, based on Difference Logic.
SolidityGPL-3.0
Stargazers
- 0xArepo
- 0xca11
- 0xDakshstealth
- 0xethsign@lucidlyfi
- abovewallstreet
- calldataOKX
- CootieShots
- dantop114Remote
- decanusDialectic / Project Blanc
- docongminhRemote
- frankfanslcFatpipe Networks
- gakonst@paradigmxyz
- gzeoneth@OffchainLabs
- hack3r-0m
- HilliamTLondon, United Kingdom
- humayunj
- jflatowPalo Alto
- JoranHonig
- kartset@realpensive
- keone
- lonerapierSomewhere but not Here
- longcpp
- maurelianOP Labs
- maximebrugelKiln
- mds1OP Labs
- pcaversaccio@daita-technologies
- pynchmeister
- RagePit
- rajivpo@framework-labs
- sambacha@manifoldfinance
- shorttermmem
- shunkakinoki@LightDotSo
- TimidanAkure,Nigeria
- transmissions11
- wolflo
- Zer0dot