Analysis Modules

SmartExecutor’s detection capabilities are written in modules in the /analysis/module/modules directory. Note that SmartExecutor inherits the detection ability from Mythril and thus reuses the related documentation from Mythril.

• Modules
  • Delegate Call To Untrusted Contract
  • Dependence on Predictable Variables
  • Ether Thief
  • Exceptions
  • External Calls
  • Integer
  • Multiple Sends
  • Suicide
  • State Change External Calls
  • Unchecked Retval
  • User Supplied assertion
  • Arbitrary Storage Write
  • Arbitrary Jump
• Creating a Module