z3

Z3 Z3 est un prouveur de théorèmes de Microsoft Research. Il est sous licence MIT. Les distributions binaires Windows incluent les redistribuables du runtime C++ Si vous n'êtes pas familier avec Z3, vous pouvez commencer ici. Des binaires pré-construits pour les versions stables et nightly sont...

Dynamic Binary Analysis Tool: Manticore

Manticore is a prototyping tool for dynamic binary analysis, with support for symbolic execution, taint analysis, and binary instrumentation. Manticore comes with an easy-to-use command line tool that quickly generates new program “test cases” or sample inputs with symbolic execution. Each test...