Hacker News new | ask | show | jobs
by prateek_mir 2524 days ago
Pardon me if I sound dumb, but going by the abstract, this is essentially concolic analysis of smart contracts ?