Hacker GitHub

← All repos

trailofbits/manticore

View on GitHub ↗ ★ 3,856 Python archived

Symbolic execution tool

3 mentions on Hacker News by 2 people: 0 stories, 3 comments · first 2018-03-24 · latest 2021-04-22

Mentions per year 3 mentions · busiest year 2018 (1)
20082026
AllStoriesComments NewestTopOldest
  1. …Here's Echidna: https://github.com/crytic/echidna and Manticore: https://github.com/trailofbits/manticore Sometimes we also use custom static analyses built around Slither's IR during projects too: https://github.com/crytic
    comment by dguido · 2021-04-22 · in Smart Contract Security for Pentesters
  2. fwiw there's a popular symbolic execution tool with the same name https://github.com/trailofbits/manticore Just got confused for a sec.
    comment by sudhackar · 2020-04-20 · in Show HN: Manticore – Static site generator in Python
  3. Manticore in the post above uses formal methods to verify contract properties! https://github.com/trailofbits/manticore
    comment by dguido · 2018-03-24 · in Our suite of Ethereum security tools