3907 Commits (jinja-print-initial-state)

 

All Branches   

Search

Author	SHA1	Message	Date
e-ngo	2b356174fd	Updated jinja templates to report initial state of the transaction sequences.	5 years ago
e-ngo	b3d522b49c	Enable coverage based search strategy through CLI (#1171) ... * Enable coverage based search strategy through CLI * Ran black on files changed * Refactored code * Removed redundant code	5 years ago
Bernhard Mueller	35d88019bd	Update README.md	5 years ago
Bernhard Mueller	dd64fd5f5b	Update README.md	5 years ago
Bernhard Mueller	8ee33f48dd	Update README.md	5 years ago
JoranHonig	eaebc2361f	Nested bitvec func (#1163) ... * add test to reproduce nested function bug * add test for other level of bitvecfunc * add appropriate handling for nested bitvecfuncs * add return character * ignore hybrid functions for condition permeation * add tests to check if correct inputs are found * copy bitvecfunc logic to generic handlers * clean up & move logic to separate module Removes cyclic dependency and redundant code * style * fix imports * do uniq & iff application * implement initial If for bvf * style * add return * only deal with eq comparison * fix type issues * Fix a crash * Fix the issue in statechange module * Fix for mypy * Use correct operator	5 years ago
Bernhard Mueller	ba96415ad7	Merge pull request #1166 from ConsenSys/add_solver_timeout ... Add solver timeout	5 years ago
palkeo	79307c4a09	Fix bug #1168 by checking eth is not None in the loader. Refactor the loader. (#1169) ... * Fix bug #1168 by checking eth is not None in the loader. Also refactor the loader quite a bit: - remove the cache dictionary, and use functools.lru_cache instead - also use lru_cache for caching contract code - add type annotations, now mypy would be complaining if we didn't "self.eth" for None. - use log.debug() with %s, it's good pratice and allow advanced logging to group by log messages / parameters if needed. * Fix type annotation. * Exception -> ValueError in loader.py * Remove unused import.	5 years ago
Nikhil	dea8d373d1	Change loopbound default in symbolic.py	5 years ago
Nikhil	9cca9f3716	Merge branch 'add_solver_timeout' of github.com:ConsenSys/mythril into add_solver_timeout	5 years ago
Nikhil	534e8ba71d	Change defaults	5 years ago
Bernhard Mueller	ed43055203	Merge branch 'develop' into add_solver_timeout	5 years ago
Bernhard Mueller	2c591a2b14	Merge pull request #1167 from palkeo/master ... Load contracts from the blockchain by default	5 years ago
Nikhil Parasaram	d7e1c5b449	Merge branch 'develop' into master	5 years ago
Nikhil Parasaram	5d61aae5b0	Remove solc version check in tests	5 years ago
palkeo	1ad6ed6e20	Merge branch 'master' of https://github.com/ConsenSys/mythril-classic	5 years ago
palkeo	005ee6150b	Load contracts from the blockchain by default. ... Renames --no-on-chain-storage-access to --no-onchain-access. This control both storage and contract code loading.	5 years ago
Nikhil	e5b6ed81b5	Set only for non None values	5 years ago
Nikhil	3fd3562706	Set solver timeout and loop bound for analysis modules	5 years ago
Bernhard Mueller	b4501ec147	Merge branch 'master' of github.com:ConsenSys/mythril	5 years ago
Bernhard Mueller	69b1d256bf	Bump version number	5 years ago
Bernhard Mueller	ace1346285	Merge pull request #1165 from ConsenSys/develop ... Un-stringify storage field	5 years ago
Bernhard Mueller	216b999884	Un-stringify storage field	5 years ago
Bernhard Mueller	007ab8c25b	Merge branch 'develop' of github.com:ConsenSys/mythril into develop	5 years ago
Bernhard Mueller	a0853dd272	Merge pull request #1159 from ConsenSys/nicer_report ... Add function names to report output	5 years ago
Bernhard Mueller	07a166caa5	Merge branch 'develop' of github.com:ConsenSys/mythril into develop	5 years ago
Bernhard Mueller	b8c82af3b9	Bump version to 0.21.11	5 years ago
Bernhard Mueller	61a17633f0	Merge pull request #1164 from ConsenSys/jsonv2_format_fix ... Format account balance as hex string	5 years ago
Bernhard Mueller	a09cb37c13	Format account balance as hex string	5 years ago
Bernhard Mueller	f556ae66a2	Catch exception caused by invalid signature	5 years ago
Bernhard Mueller	f5f0ed0e75	Add function names to report output	5 years ago
Bernhard Mueller	8bff312bd0	Undo last commit	5 years ago
Bernhard Mueller	8824258c58	Black	5 years ago
Bernhard Mueller	ccb2229f59	Merge branch 'develop'	5 years ago
Bernhard Mueller	dc8562e93c	Merge pull request #1156 from ConsenSys/develop ... v0.21.10	5 years ago
Bernhard Mueller	c9a35c3f60	Bump version number	5 years ago
Nathan	96e6e0b73c	Merge pull request #1155 from ConsenSys/cli_notify_incorrect_solv ... Add Useful Suggestion to Solidity Version CompilerErrors Closes #1090	5 years ago
e-ngo	bf5420f242	Merge branch 'develop' into cli_notify_incorrect_solv	5 years ago
e-ngo	9b20f4db8f	Removed unnecessary comments	5 years ago
Bernhard Mueller	8f04aacf86	Merge pull request #1153 from ConsenSys/fix/padding ... Fix the padding while comparing	5 years ago
Nikhil	cd6246a4dc	Fix imports	5 years ago
Nikhil	062e9a3bba	Fix type hints	5 years ago
Nikhil	6322730701	Fix the usage of operators	5 years ago
Nikhil	e7605bb0a6	Merge branch 'develop' of github.com:ConsenSys/mythril into fix/addr_field	5 years ago
Nikhil	7d9194a06c	Pad while comparing unequal functions	5 years ago
e-ngo	e88b9e1842	Moved solidity version mismatch error checking from cli to mythril_disassembler	5 years ago
e-ngo	5216c01a61	Added messages to help solidity version mismatches	5 years ago
Bernhard Mueller	9041008f3f	Merge pull request #1150 from ConsenSys/develop ... Merge for v0.21.9	5 years ago
Bernhard Mueller	8def32cb38	Update __version__.py	5 years ago
Bernhard Mueller	66419475af	Merge pull request #1149 from ConsenSys/fix/addr_field ... Fix the json v2 accounts field	5 years ago