3003 Commits (pr/894)

 

All Branches   

Search

Author	SHA1	Message	Date
Joran Honig	c21843df7a	initialize mutation pruner plugin	6 years ago
Joran Honig	ada298f414	setup bare MutationPruner and documentation	6 years ago
Bernhard Mueller	924b1dd71c	Reformat report.py (again?)	6 years ago
JoranHonig	41cacff551	Update mythril/analysis/report.py ... Co-Authored-By: b-mueller <b-mueller@users.noreply.github.com>	6 years ago
Bernhard Mueller	b598ce3afa	A little bit of black	6 years ago
Bernhard Mueller	ca34b3aa19	Make debugging output nicer	6 years ago
Nikhil Parasaram	badaaa7709	Add the bytecode_hash as property	6 years ago
Bernhard Mueller	8e565af113	Blackkkkkkkk	6 years ago
Bernhard Mueller	ed5354297a	Improve integer module descriptions	6 years ago
Bernhard Mueller	df7d5c799f	Add jsonv2 option to help	6 years ago
Haozhong Zhang	844f821ea5	Add a simple instruction profiler ... If Mythril is launched with `--enable-iprof` and - Laser will run, i.e. any of `-g`, `--graph`, `-x`, `--fire-lasers`, `-j`, `--statespace-json` is present - the log level is not less than 4, i.e. `-v 4` or higher , then Laser will collect the time of each execution of each instruction, and dumps them at the end of symbolic execution. Those profiling information can be helpful to inspect performance regressions and potential optimization points in Laser. Below is an example output of the profiling information: $ ./myth -x example.sol --enable-iprof -v 4 ... mythril.laser.ethereum.svm [INFO]: Finished symbolic execution ... mythril.laser.ethereum.svm [INFO]: Instruction Statistics: Total: 23.8251314163208 s [add ] 0.6699 %, nr 1087, total 0.1596 s, avg 0.0001 s, min 0.0001 s, max 0.0006 s [and ] 0.3178 %, nr 941, total 0.0757 s, avg 0.0001 s, min 0.0001 s, max 0.0003 s [calldataload] 8.3301 %, nr 154, total 1.9847 s, avg 0.0129 s, min 0.0122 s, max 0.0153 s [calldatasize] 0.0129 %, nr 88, total 0.0031 s, avg 0.0000 s, min 0.0000 s, max 0.0001 s [caller ] 0.0192 %, nr 111, total 0.0046 s, avg 0.0000 s, min 0.0000 s, max 0.0002 s [callvalue ] 0.0121 %, nr 78, total 0.0029 s, avg 0.0000 s, min 0.0000 s, max 0.0001 s [codecopy ] 0.0196 %, nr 2, total 0.0047 s, avg 0.0023 s, min 0.0011 s, max 0.0036 s [div ] 0.0146 %, nr 11, total 0.0035 s, avg 0.0003 s, min 0.0003 s, max 0.0003 s [dup ] 0.5720 %, nr 3345, total 0.1363 s, avg 0.0000 s, min 0.0000 s, max 0.0003 s [eq ] 0.0313 %, nr 99, total 0.0074 s, avg 0.0001 s, min 0.0001 s, max 0.0001 s [gt ] 0.0156 %, nr 22, total 0.0037 s, avg 0.0002 s, min 0.0002 s, max 0.0002 s [iszero ] 0.7285 %, nr 735, total 0.1736 s, avg 0.0002 s, min 0.0002 s, max 0.0008 s [jump ] 0.1341 %, nr 211, total 0.0320 s, avg 0.0002 s, min 0.0001 s, max 0.0004 s [jumpdest ] 0.0899 %, nr 588, total 0.0214 s, avg 0.0000 s, min 0.0000 s, max 0.0002 s [jumpi ] 0.5684 %, nr 309, total 0.1354 s, avg 0.0004 s, min 0.0003 s, max 0.0008 s [log ] 0.0169 %, nr 90, total 0.0040 s, avg 0.0000 s, min 0.0000 s, max 0.0001 s [lt ] 0.0621 %, nr 99, total 0.0148 s, avg 0.0001 s, min 0.0001 s, max 0.0003 s [mload ] 0.2997 %, nr 450, total 0.0714 s, avg 0.0002 s, min 0.0001 s, max 0.0025 s [mstore ] 80.2252 %, nr 899, total 19.1138 s, avg 0.0213 s, min 0.0001 s, max 0.1594 s [pop ] 0.5909 %, nr 1642, total 0.1408 s, avg 0.0001 s, min 0.0000 s, max 0.0819 s [push ] 1.3592 %, nr 4591, total 0.3238 s, avg 0.0001 s, min 0.0001 s, max 0.0003 s [sha3 ] 1.1173 %, nr 331, total 0.2662 s, avg 0.0008 s, min 0.0003 s, max 0.0017 s [sload ] 1.1815 %, nr 231, total 0.2815 s, avg 0.0012 s, min 0.0001 s, max 0.0035 s [sstore ] 2.9423 %, nr 123, total 0.7010 s, avg 0.0057 s, min 0.0002 s, max 0.0717 s [sub ] 0.2540 %, nr 400, total 0.0605 s, avg 0.0002 s, min 0.0001 s, max 0.0004 s [swap ] 0.4147 %, nr 2403, total 0.0988 s, avg 0.0000 s, min 0.0000 s, max 0.0002 s ... where, - Column 1: the opcode name `OP` - Column 2: execution time of all `OP` / total execution time - Column 3: the number of `OP` executed - Column 4: the execution time of all `OP` - Column 5: the average execution time of one `OP` (column 4 / column 3) - Column 6: the minimum execution time of one `OP` - Column 7: the maximum execution time of one `OP`	6 years ago
Nikhil Parasaram	2b668a7a4f	fix merge conflicts with tests	6 years ago
Nikhil Parasaram	f70121cefa	Merge and fix more merge conflicts	6 years ago
Nikhil Parasaram	9410ceb83d	Add documentation for Source class	6 years ago
Nikhil Parasaram	4e33d94396	Fix merge conflicts	6 years ago
Bernhard Mueller	b4eabf032e	Fix a couple of things	6 years ago
Nikhil Parasaram	e88295cb1e	Merge pull request #821 from ConsenSys/bugfix/733 ... Initialize calldata with empty list for constructor	6 years ago
Bernhard Mueller	76bbb9771a	Update formatting of swcID field	6 years ago
Nikhil Parasaram	281e739500	Merge branch 'develop' into bugfix/733	6 years ago
Nikhil Parasaram	e85c8845e0	Merge pull request #863 from ConsenSys/enhance/cache_ether_thief ... Cache the ether_thief addresses whose issues were already raised	6 years ago
Nikhil Parasaram	12b8c831f1	Remove unused imports and add removed import due to merge conflict	6 years ago
Nikhil Parasaram	a271cf9d03	Merge branch 'develop' into enhance/cache_ether_thief	6 years ago
Nikhil Parasaram	a2d08c3e44	Merge branch 'develop' into bugfix/733	6 years ago
Nikhil Parasaram	2d369103bc	Merge with develop	6 years ago
Nikhil Parasaram	ffe0f872ef	Merge pull request #862 from ConsenSys/bugfix/integer_underflow_title ... Fix title for integer underflow	6 years ago
JoranHonig	7c50139f68	Merge branch 'develop' into bugfix/integer_underflow_title	6 years ago
Nikhil Parasaram	bf543123e0	Make cache_addresses as a hidden variable	6 years ago
JoranHonig	7d22795cb9	Merge pull request #845 from ConsenSys/feature/docs ... Add Sphinx and basic docstrings	6 years ago
Nikhil Parasaram	fad69ce98f	Add the cache_addresses to base module	6 years ago
Nikhil Parasaram	7820e583b6	Refactor modules for better module reset capability	6 years ago
Nikhil Parasaram	d04a7b0fdf	Cache the ether_thief success addresses	6 years ago
Nikhil Parasaram	b08b00d1f9	Merge branch 'develop' of github.com:ConsenSys/mythril into bugfix/integer_underflow_title	6 years ago
Nikhil Parasaram	d9350d2334	Use proper title for integer underflow	6 years ago
Nikhil Parasaram	813cb066f2	Add cache for jumpi in integer module	6 years ago
Dominik Muhs	7fb75ee5cc	Fix merge errors	6 years ago
Dominik Muhs	88be48d230	Merge branch 'develop' into feature/docs	6 years ago
Dominik Muhs	446c484091	Merge branch 'master' into feature/docs	6 years ago
Nathan	1a7d8c679c	Merge pull request #853 from nbanmp/timeout ... Implement sigalrm timeout	6 years ago
Nathan	d3cab3d90c	Merge branch 'develop' into timeout	6 years ago
Nikhil Parasaram	68cf1be332	Merge branch 'enhance/optimize' of github.com:ConsenSys/mythril into enhance/optimize	6 years ago
Nikhil Parasaram	ecc0a7ab47	Cache the integer overflows for sstores	6 years ago
Nikhil Parasaram	57403c185d	Merge pull request #859 from ConsenSys/enhance/statespace ... Stores the entire statespace only when necessary	6 years ago
Nikhil Parasaram	e8e4131b9e	Reformat file with black	6 years ago
Nikhil Parasaram	586f23a9a7	Merge branch 'develop' into enhance/statespace	6 years ago
Nikhil Parasaram	24796bd628	Merge pull request #855 from ConsenSys/bugfix/843 ... Add function name to node initialization	6 years ago
Bernhard Mueller	58d3d853d7	Merge branch 'develop' into timeout	6 years ago
Bernhard Mueller	742a4c4dc7	Merge branch 'develop' into enhance/statespace	6 years ago
Bernhard Mueller	c82f598369	Merge branch 'develop' into enhance/844	6 years ago
Nikhil Parasaram	c6fd36de38	Correct typo in swc title and remove PREDICTABLE_VARS variable	6 years ago
Nikhil Parasaram	30746d95d9	Add the node check in concolic.py	6 years ago