Category Archives: Manticore

How I gave ManticoreUI a makeover December 15, 2022

Manticore GUIs made easy December 13, 2022

MUI: Visualizing symbolic execution with Manticore and Binary Ninja November 17, 2021

Contract verification made easier July 12, 2020

Manticore discovers the ENS bug March 3, 2020

Symbolically Executing WebAssembly in Manticore January 31, 2020

Watch Your Language: Our First Vyper Audit October 24, 2019

Announcing Manticore 0.3.0 June 7, 2019

Performing Concolic Execution on Cryptographic Primitives April 1, 2019

Symbolic Path Merging in Manticore January 25, 2019