zepedroresende / dl_symb_exec_sol Goto Github PK
View Code? Open in Web Editor NEWThis project forked from leonardoalt/dl_symb_exec_sol
Symbolic execution engine written in Solidity, based on Difference Logic.
License: GNU General Public License v3.0