lisa-analyzer/evm-lisa
EVMLiSA: an abstract interpretation-based static analyzer for EVM bytecode
JavaMIT
Stargazers
- coreyjj1679venv
- Entropy1110
- Findus24
- FrancescoBernini
- giacomoboldiniItaly
- giacomozanatta
- gretadolcetti
- iVoider
- jf-li00Huazhong University Of Science and Technology
- lou1306TU Wien
- lucanegCa' Foscari University of Venice
- manueldiagostinoUniversità degli studi di Parma
- merendamattiaUniversity of Parma, IT
- miladebadiExpert Systems Ltd.
- mingbaile
- narrorek0xdRzeszów
- simonegazzaReggio Emilia
- Sparkhand
- tuyucheng777Wuhan,China
- VincenzoArceriUniversity of Parma