2192 Commits (e3fd1e634b6b2ab6808116f853ecfd7685d0bd46)

 

All Branches   

Search

Author	SHA1	Message	Date
Nathan	8c54c0d42d	treat concrete calldata differently than symbolic calldata	6 years ago
Marcus Mönnig	39ace87e87	Add <!DOCTYPE> and <TITLE> tags	6 years ago
JoranHonig	a1cecf1e58	Merge pull request #588 from JoranHonig/bugfix/emptyreturn_data ... Also check for empty return data	6 years ago
Nikhil Parasaram	8b6bfd6b9f	Merge pull request #587 from ConsenSys/norhh-patch-3 ... Remove %s in formatting	6 years ago
Joran Honig	9e600168fb	Also check for empty return data	6 years ago
JoranHonig	9dd827ed84	Merge pull request #568 from JoranHonig/bugfix/regexethcontract ... Change regex to limit to correct pattern	6 years ago
Nikhil Parasaram	c105b17211	Remove %s in the text test	6 years ago
Nikhil Parasaram	5e48355d49	Remove the %s in markdown test	6 years ago
Nikhil Parasaram	a939a3255a	Update origin.sol.o.json	6 years ago
Nikhil Parasaram	1dd51a85ba	Merge pull request #585 from mmhh1910/dockerfile_efficiency ... Precopy requirements.txt in Dockerfile	6 years ago
Nikhil Parasaram	8555663adf	Remove %s in formatting ... previously %s was used to display variable for string formatting which won't work.	6 years ago
Marcus Mönnig	96edc1a305	Remove Pipfile as precopy step	6 years ago
Marcus Mönnig	9b027ed72b	Add setup.py and Pipfile as precopy steps	6 years ago
Marcus Mönnig	4cf1f27f77	Precopy requirements.txt	6 years ago
Bernhard Mueller	af148793f6	Merge branch 'master' of github.com:ConsenSys/mythril	6 years ago
Nikhil Parasaram	8ebffd0ddd	Merge pull request #583 from yrashk/docker-build-order ... Problem: docker build times	6 years ago
Nikhil Parasaram	5288f2273c	Merge pull request #542 from norhh/remove_broad_exceptions ... Remove all broad exception catches in laser	6 years ago
Nikhil Parasaram	ed5d796138	Merge pull request #578 from norhh/bugfix/548 ... Pad extra 0s for compressed solc hashes	6 years ago
Nikhil Parasaram	459b0d2998	Merge pull request #582 from yrashk/truffle-solc-args ... Problem: truffle project analysis ignores --solc-args	6 years ago
Yurii Rashkovskii	0619cf2612	Problem: docker build times ... Currenlty, every time a docker container is rebuilt for updated source code of the package, it'll start from scratch. This means it will not reuse layers with existing Python, solc, etc. installation. Solution: install Python first, copy source code after This allows to reuse the base layer.	6 years ago
Yurii Rashkovskii	a4eea864f8	Problem: truffle project analysis ignores --solc-args ... This prevents passing custom `solc` arguments which is important in some cases (for example, `--allow-paths` is a very useful option) Solution: pass solc_args through	6 years ago
Nathan	78fc5478f0	use new calldata for contract creation as well	6 years ago
Nathan	d2a07157f7	better exponential and checks for calldata	6 years ago
Nathan	66f8a01c4e	patched exp bug	6 years ago
Nathan	3dd04d4a95	fixed evm_test bug	6 years ago
Nikhil Parasaram	d58aab7a55	Add choices() for python3.5	6 years ago
Nikhil Parasaram	4a4c3470bd	Fix merge conflicts	6 years ago
Nikhil Parasaram	6bb6a32216	Add the 2 simple probabilistic search strategies	6 years ago
Nikhil Parasaram	59020c6e4a	Comment correction	6 years ago
Nikhil Parasaram	4db3b9e16c	Merge branch 'master' of github.com:ConsenSys/mythril into HEAD	6 years ago
Nikhil Parasaram	58395cb6c6	Pad 0s for the compressed hashes	6 years ago
Nikhil Parasaram	9ae2240698	Change AttributeErrors to TypeErrors	6 years ago
Nikhil Parasaram	0cea8f5627	Merge pull request #573 from skatsaounis/master ... Add max-transaction-count cli parameter.	6 years ago
Nikhil Parasaram	a6c48451b2	resolve merge conflicts	6 years ago
Nikhil Parasaram	095e8d90b4	Convert util exception to TypeError	6 years ago
Nathan	aaa450a1ac	updated evm_test.py to create a model from constraints	6 years ago
Bernhard Mueller	b180fd81ab	Merge branch 'master' of github.com:ConsenSys/mythril	6 years ago
Stamatis Katsaounis	499be11ea4	Add max-transaction-count cli parameter. ... Signed-off-by: Stamatis Katsaounis <katsaouniss@gmail.com>	6 years ago
JoranHonig	2592a5074b	Merge pull request #549 from JoranHonig/features/revert ... Implement revert opcode	6 years ago
Joran Honig	9fb6a81df1	Make name more verbose	6 years ago
JoranHonig	d005944458	Merge pull request #567 from JoranHonig/features/dynamictransactions ... Dynamic transaction execution	6 years ago
JoranHonig	1c1c1f2d59	Merge pull request #569 from JoranHonig/reafactor/interfaces ... Move blockchain interfacing code to ethereum.interface	6 years ago
Joran Honig	213250ddb3	Fix import	6 years ago
Joran Honig	c2396a50fa	Move blockchain interfacing code to ethereum.interface	6 years ago
Joran Honig	3e6ca5e976	Chnage regex to limit to correct pattern	6 years ago
Joran Honig	dfae6b349e	Change loglevel to debug for some statements	6 years ago
Joran Honig	4bb9e22cc5	Implement dynamic transaction execution	6 years ago
Nathan	a7d7f9cb79	general calldata fixes	6 years ago
Nathan	d2615c5c52	correctest natives fix :(	6 years ago
Nathan	b85cb1415b	svm test hack	6 years ago