58 - MythX tools

When you submit your code to the API it gets analyzed by multiple microservices in parallel where these tools cooperate to return the more comprehensive results in the execution time provided.

A static analyzer that parses the Solidity AST
a symbolic analyzer that detects possible vulnerable states, and
a greybox fuzzer that detects vulnerable execution paths

Slide Screenshot

Slide Text

Static Analysis -> Maru
Symbolic Analysis -> Mythril
Greybox Fuzzing -> Harvey
Combination -> Comprehensive Analysis

References

Youtube Reference

Tags