New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Display registered eth detectors #1301

Merged
merged 3 commits into from Dec 12, 2018

Conversation

Projects
None yet
2 participants
@disconnect3d
Copy link
Contributor

disconnect3d commented Dec 12, 2018

root@52356aa06255:/# manticore test.sol
2018-12-12 13:53:58,615: [1496] m.c.manticore:INFO: Verbosity set to 1.
2018-12-12 13:53:58,798: [1496] m.main:INFO: Registered plugins/detectors: DetectInvalid, DetectExternalCallAndLeak, DetectEnvInstruction, DetectReentrancySimple, DetectUninitializedMemory, DetectDelegatecall, DetectUninitializedStorage, DetectReentrancyAdvanced, DetectUnusedRetVal, DetectSuicidal, DetectIntegerOverflow
2018-12-12 13:53:58,799: [1496] m.main:INFO: Beginning analysis
2018-12-12 13:53:58,800: [1496] m.e.manticore:INFO: Starting symbolic create contract
Mnemonic return
Mnemonic return hooman
2018-12-12 13:53:58,933: [1496] m.e.manticore:INFO: Starting symbolic transaction: 0
2018-12-12 13:53:59,072: [1496] m.e.manticore:INFO: 0 alive states, 2 terminated states
2018-12-12 13:53:59,117: [1496] m.e.manticore:INFO: Starting symbolic transaction: 1
2018-12-12 13:53:59,133: [1558] m.e.manticore:INFO: Generated testcase No. 0 - REVERT
2018-12-12 13:53:59,462: [1558] m.e.manticore:INFO: Generated testcase No. 1 - RETURN
2018-12-12 13:53:59,590: [1496] m.c.manticore:INFO: Results in /mcore_f7hsxcpn
2018-12-12 13:53:59,591: [1496] m.c.manticore:INFO: Total time: 0.6525142192840576

This change is Reviewable

Display registered eth detectors
```
root@52356aa06255:/# manticore test.sol
2018-12-12 13:53:58,615: [1496] m.c.manticore:INFO: Verbosity set to 1.
2018-12-12 13:53:58,798: [1496] m.main:INFO: Registered plugins/detectors: DetectInvalid, DetectExternalCallAndLeak, DetectEnvInstruction, DetectReentrancySimple, DetectUninitializedMemory, DetectDelegatecall, DetectUninitializedStorage, DetectReentrancyAdvanced, DetectUnusedRetVal, DetectSuicidal, DetectIntegerOverflow
2018-12-12 13:53:58,799: [1496] m.main:INFO: Beginning analysis
2018-12-12 13:53:58,800: [1496] m.e.manticore:INFO: Starting symbolic create contract
Mnemonic return
Mnemonic return hooman
2018-12-12 13:53:58,933: [1496] m.e.manticore:INFO: Starting symbolic transaction: 0
2018-12-12 13:53:59,072: [1496] m.e.manticore:INFO: 0 alive states, 2 terminated states
2018-12-12 13:53:59,117: [1496] m.e.manticore:INFO: Starting symbolic transaction: 1
2018-12-12 13:53:59,133: [1558] m.e.manticore:INFO: Generated testcase No. 0 - REVERT
2018-12-12 13:53:59,462: [1558] m.e.manticore:INFO: Generated testcase No. 1 - RETURN
2018-12-12 13:53:59,590: [1496] m.c.manticore:INFO: Results in /mcore_f7hsxcpn
2018-12-12 13:53:59,591: [1496] m.c.manticore:INFO: Total time: 0.6525142192840576
```
@@ -57,7 +57,10 @@ def ethereum_main(args, logger):
filter_nohuman_constants = FilterFunctions(regexp=r".*", depth='human', mutability='constant', include=False)
m.register_plugin(filter_nohuman_constants)

logger.info("Beginning analysis")
if m.plugins:
logger.info(f'Registered plugins/detectors: {", ".join(d.name for d in m.plugins)}')

This comment has been minimized.

@mossberg

mossberg Dec 12, 2018

Contributor

"plugins/detectors" -> "plugins" ?

Show resolved Hide resolved manticore/ethereum/cli.py Outdated
Show resolved Hide resolved tests/test_binaries.py Outdated

@disconnect3d disconnect3d merged commit 54bf795 into master Dec 12, 2018

5 checks passed

codeclimate All good!
Details
codeclimate/total-coverage 70% (0.0% change)
Details
continuous-integration/travis-ci/pr The Travis CI build passed
Details
continuous-integration/travis-ci/push The Travis CI build passed
Details
license/cla Contributor License Agreement is signed.
Details

@disconnect3d disconnect3d deleted the display-registered-detectors branch Dec 12, 2018

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment