You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Suppose I have the runtime code of a contract (as bytecode). Is it possible to analyze it with Manticore, doing predefined vulnerability checks, in a similar way as Mythril or other tools would do it, with a report on suspected weaknesses in the end? Storage and input would have to remain symbolical.
Is there an example somewhere showing how to use Manticore this way?
reacted with thumbs up emoji reacted with thumbs down emoji reacted with laugh emoji reacted with hooray emoji reacted with confused emoji reacted with heart emoji reacted with rocket emoji reacted with eyes emoji
-
Suppose I have the runtime code of a contract (as bytecode). Is it possible to analyze it with Manticore, doing predefined vulnerability checks, in a similar way as Mythril or other tools would do it, with a report on suspected weaknesses in the end? Storage and input would have to remain symbolical.
Is there an example somewhere showing how to use Manticore this way?
Beta Was this translation helpful? Give feedback.
All reactions