Solidity smart contract analysis tools

In this story, I introduce the main tools for security testing of smart contracts written in Solidity :

  • Slither,
  • Oyente,
  • Manticore,
  • Solhint,
  • Conkas,
  • HoneyBadger,
  • Maian,
  • Mythril Smart,
  • Osiris,
  • Securify 2,
  • Smart Check.

Slither

--

--

Get the Medium app

A button that says 'Download on the App Store', and if clicked it will lead you to the iOS App store
A button that says 'Get it on, Google Play', and if clicked it will lead you to the Google Play store
Bruno Delb

Bruno Delb

393 Followers

Blockchains, DevOps, Agile Coaching, development, testing, Cloud, Management 3.0, ITIL. It defines me.