By Wong Kok Rui, National University of Singapore Trail of Bits maintains Manticore, a symbolic execution engine that can analyze smart contracts and native binaries. While symbolic execution is a powerful technique that can augment the vulnerability discovery process, it requires some base domain knowledge and thus has its own learning curve. Given the plethora - READ MORE

By Security Boulevard

Tue, 13 Dec 2022 15:24:24 GMT