2878 Commits (4592a6bf5d9b707fb25bdb497c03d5f963fd4220)

 

All Branches   

Search

Author	SHA1	Message	Date
Nikhil Parasaram	4592a6bf5d	Copy the signatures file to .mythril in Dockerfile	6 years ago
JoranHonig	8366ad4965	Merge pull request #849 from hzzhang/hzzhang/iprof ... Add a simple instruction profiler	6 years ago
JoranHonig	717826ff47	Merge branch 'develop' into hzzhang/iprof	6 years ago
Nikhil Parasaram	94e52b75e1	Merge pull request #872 from nbanmp/dynld_bugfix ... Fix bug accessing on chain contracts with addresses starting with 0s	6 years ago
Nikhil Parasaram	c398e48a01	Merge branch 'develop' into dynld_bugfix	6 years ago
Nikhil Parasaram	bb14aca266	Merge pull request #884 from ConsenSys/bugfix/877 ... Add the return constraints to global state	6 years ago
Nikhil Parasaram	1a105dea05	Merge branch 'develop' into bugfix/877	6 years ago
JoranHonig	712c9ba395	Merge pull request #880 from JoranHonig/features/return_array_of_issue_templates ... Return array of issue templates	6 years ago
JoranHonig	b236f5204c	Merge branch 'develop' into features/return_array_of_issue_templates	6 years ago
Joran Honig	9a91fc8c31	indent test results jsonv2	6 years ago
Nikhil Parasaram	7b32ef0a6e	Add the return constraints to global state	6 years ago
Nathan	7402269b42	Merge branch 'develop' into hzzhang/iprof	6 years ago
Nikhil Parasaram	500aeb5df3	Merge pull request #869 from ConsenSys/enhance/optimize ... Cache integer overflows/underflows, selfdestruct module	6 years ago
Nikhil Parasaram	962a5f8711	Fix merge conflicts	6 years ago
Joran Honig	7611352d37	reformat code according to style rules	6 years ago
Joran Honig	5594e306fb	adapt tests to changes in the new report ... Includes minor change to report change that fixes a bug there, as items should not be called there.	6 years ago
Joran Honig	65e412bae8	refactor report format to return array of the issue format	6 years ago
Nathan	ff071dc28d	Merge branch 'develop' into dynld_bugfix	6 years ago
Nikhil Parasaram	7779c0d5f5	Merge pull request #852 from ConsenSys/enhance/844 ... Add JSONv2 standard format and refactor reporting	6 years ago
Nikhil Parasaram	8b19ff4bdb	Merge branch 'develop' into enhance/844	6 years ago
Nathan	c9e6f0f69c	Merge branch 'develop' into dynld_bugfix	6 years ago
Nathan	9de814bcf9	Merge pull request #871 from nbanmp/delegatecall_special_case ... Implement special case for the delegatecall proxy pattern	6 years ago
Nikhil Parasaram	eab736d3ef	Add a function which returns address in integer module	6 years ago
Nikhil Parasaram	b85f2592bd	Remove the else condition to handle both creation code and runtime code	6 years ago
Nikhil Parasaram	7491fa6dbf	Remove redundant If condition in report.py and remove postfix assignment in tests	6 years ago
Nathan	ef49a6c52e	Fix bug accessing on chain contracts with addresses starting with 0s	6 years ago
Nathan	30d3b9a74e	Cleanup get_call_data	6 years ago
Nathan	6a59cb4954	Implement special case for the delegatecall proxy pattern	6 years ago
Nikhil Parasaram	30c8a11593	Cache the suicide module's output	6 years ago
Nikhil Parasaram	6762e00905	Remove print statement	6 years ago
Nikhil Parasaram	0b66e0207c	Merge with develop and add bugfixes	6 years ago
Nikhil Parasaram	5d6e854414	Calculate hash on the fly in the report class	6 years ago
Nikhil Parasaram	96f6c13548	Add the creation bytecode hash to source list	6 years ago
Nikhil Parasaram	feb58fa7e0	Add standardized functions for the description head, tail and title to avoid mistakes	6 years ago
Nikhil Parasaram	758c0d6cf8	Add creation bytecode hash and remove unused statement in the Report class	6 years ago
Nikhil Parasaram	b55880c0aa	convert sourceList to snake case	6 years ago
Nikhil Parasaram	fb396024b2	Remove lines which are redundant after the bugfix	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