search

trailofbits / manticore

Symbolic execution tool
https://blog.trailofbits.com/2017/04/27/manticore-symbolic-execution-for-humans/
GNU Affero General Public License v3.0
3.67k stars 472 forks source link

How can I obtain the constraint for each explored path? #1723

Open MingWEN-CS opened 4 years ago

MingWEN-CS commented 4 years ago

Hi All

I want to perform some static analysis of smart contract, and found this great tool!!

I want to know if there is a convenient way to obtain the constraints for each explored path via using manticore? Is there any documents or examples that I can refer to?

Best Wishes Thanks

feliam commented 4 years ago

After the exploration you could....

for state in m.ready_states:
    print(state.id, state.constraints)

Feel free to stop by our #manticore slack channel in Empire Hacking for help using or extending Manticore.