#netsec

Related news
  • Magic with Manticore

    Published: 15/05/2017
    Manticore is a next-generation binary analysis tool with a simple yet powerful API for symbolic execution, taint analysis, and instrumentation. Using Manticore one can identify ‘interesting̵ ... Read more
  • Manticore: Symbolic execution for humans

    Published: 27/04/2017
    Earlier this week, we open-sourced a tool we rely on for dynamic binary analysis: Manticore! Manticore helps us quickly take advantage of symbolic execution, taint analysis, and instrumentation to ana ... Read more
FACEBOOK