3093 Commits (93c1e85433e9f4d4dc9c2ec90e179eaba22bf705)

 

All Branches   

Search

Author	SHA1	Message	Date
Nathan	1c3de071cd	Merge branch 'returndatacopy_returndatasize_implementations' of github.com:nbanmp/mythril into returndatacopy_returndatasize_implementations	6 years ago
Nathan	ecfdcfd53a	Cleanup returndatacopy and correctly constrain native return values	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
Nathan	64f4dfc576	Merge branch 'develop' into returndatacopy_returndatasize_implementations	6 years ago
Nikhil Parasaram	30c8a11593	Cache the suicide module's output	6 years ago
Nikhil Parasaram	6762e00905	Remove print statement	6 years ago
Nathan	f50d78dcd3	Fix variable reference before assignment in returndatacopy	6 years ago
Nathan	0c242a0823	Implement returndatacopy and returndatasize ... Also includes a few minor bugfixes	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
Joran Honig	f403b8a7a1	apply style rules	6 years ago
Joran Honig	45abcad261	preserve original function	6 years ago
Joran Honig	d7426fa246	add initialize body for mutation pruner	6 years ago
Joran Honig	20f81c73c8	import signals	6 years ago
Joran Honig	d150f382d1	move hook logic to be in one place and extend with laser_hook	6 years ago
Joran Honig	b52b30d935	move to add_world_state function ... This allows us to start using callbacks 😄	6 years ago
Joran Honig	7cd378a947	add signals for the plugins to be used	6 years ago
Joran Honig	0bded7c4b3	split time evenly over the required transactions	6 years ago
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