Manticore: Symbolic execution for humansblog.trailofbits.com5 points·dguido··0 commentsOpen articleSaveView on HN