Manticore: A Symbolic Execution Framework for Binaries and Smart Contracts

Article URL: https://arxiv.org/abs/1907.03890

Comments URL: https://news.ycombinator.com/item?id=20483325

Points: 3

# Comments: 0

from Hacker News: Front Page https://ift.tt/2SsiPg5
via