3971 Commits (standard_actors)

 

All Branches   

Search

Author	SHA1	Message	Date
Bernhard Mueller	9c40398e62	Merge pull request #1086 from ConsenSys/develop ... Merge changes from develop branch	6 years ago
Bernhard Mueller	25dd625e5c	Update config.yml	6 years ago
Bernhard Mueller	b832867f5b	Merge branch 'develop' of github.com:ConsenSys/mythril into develop	6 years ago
Bernhard Mueller	6a271f6cc8	Bump version	6 years ago
Bernhard Mueller	36589d83cb	Merge pull request #1081 from ConsenSys/dependency_prune_v2 ... Read/write dependency pruning v2	6 years ago
Bernhard Mueller	62b404c4d0	Merge branch 'develop' into bugfix/1055	6 years ago
Bernhard Mueller	8843d7d0da	Handle z3 exceptions when updating dependency map	6 years ago
Bernhard Mueller	15d846bd0e	Merge branch 'develop' into dependency_prune_v2	6 years ago
Bernhard Mueller	c7784a7d60	Merge pull request #1084 from ConsenSys/fix/circleci-config ... Update Circle CI config	6 years ago
Aleksandr Sobolev	9dc390d2db	Fix typo in env name and remove branch from workflow	6 years ago
Aleksandr Sobolev	90af6dbd39	Update Circle CI config	6 years ago
Bernhard Mueller	516bbc3dd0	Merge branch 'develop' into dependency_prune_v2	6 years ago
Bernhard Mueller	9b960a2985	Add missing line to fix recursive intializaton :)	6 years ago
Bernhard Mueller	560eab5304	Merge pull request #1078 from ConsenSys/feature/ignore-regressions ... Define ENV variable to suspend regressions reporting for some testcases	6 years ago
Bernhard Mueller	e56f69bf1d	Merge branch 'develop' into feature/ignore-regressions	6 years ago
Bernhard Mueller	60f1742508	Merge pull request #1079 from ConsenSys/delegatecall_fix ... Add caller constraints on all transactions in tx sequence	6 years ago
Aleksandr Sobolev	01b221f914	Pass list of files to ignore false positives	6 years ago
Bernhard Mueller	ca0fc79a7c	Resolve conflicts	6 years ago
Bernhard Mueller	c90bf17aa8	Merge develop	6 years ago
Bernhard Mueller	c03268c061	Merge branch 'develop' into dependency_prune_v2	6 years ago
Aleksandr Sobolev	1388ac225e	Merge branch 'develop' into feature/ignore-regressions	6 years ago
Bernhard Mueller	ac08f903fb	Merge branch 'develop' into delegatecall_fix	6 years ago
Nikhil Parasaram	7f2d976a7d	Supports tx sequence lists (#1014) ... * Add the steps in transaction * Fix the account transfer and add initial state * Support for py35 * Support creation account * Support display of txSeed and remove saving world state from plugin * Add type hints to functions * Change the output jsonv2 name * Change report tests * Fix the addresses * Use caller over origin and remove extra statements * Add properties over functions * Use initial storage * Remove usage of tx_template * use tx accounts over laser svm * Remove unused imports * Fix based on the previous merge * Use a better initial state * Add creation transaction * Remove address 0 * Transaction list suggestion (#1044) * add documentation to added functions in report * dump dictionary to string before returning * remove balance write * separate transaction sequence generation into separate functions * apply style rules * fix typo * Fix some issues * Refactor with black * Update mythril/analysis/solver.py Co-Authored-By: JoranHonig <JoranHonig@users.noreply.github.com> * Update mythril/analysis/solver.py Co-Authored-By: JoranHonig <JoranHonig@users.noreply.github.com> * Update mythril/analysis/solver.py Co-Authored-By: JoranHonig <JoranHonig@users.noreply.github.com> * Update mythril/analysis/solver.py Co-Authored-By: JoranHonig <JoranHonig@users.noreply.github.com> * Update mythril/analysis/solver.py Co-Authored-By: JoranHonig <JoranHonig@users.noreply.github.com> * Fix the type hinting * Remove the caller field	6 years ago
Bernhard Mueller	b463974b94	Reverse the random commit from before	6 years ago
Bernhard Mueller	1e07a32f0a	Add FIXME for potential bug	6 years ago
JoranHonig	c9a61c7ead	Merge pull request #1083 from ConsenSys/revert/storage ... Revert/storage	6 years ago
Bernhard Mueller	106cbfd43d	Soemthing	6 years ago
Nikhil Parasaram	455e66c835	Fix the calldata's size for symbolic calldata	6 years ago
Nikhil Parasaram	a0f0767b15	Revert "Merge pull request #1076 from ConsenSys/bugfix/bectoken" ... This reverts commit 558dd42390, reversing changes made to 0107a6212d.	6 years ago
Aleksandr Sobolev	da779aa56a	Added branch to CircleCI config for debugging new changes	6 years ago
Aleksandr Sobolev	b65828bf84	Change cli param to ignore-false-positives	6 years ago
Bernhard Mueller	88487c29f2	Fix type hints	6 years ago
Bernhard Mueller	39befe9fd8	Give unique names to hook functions	6 years ago
Bernhard Mueller	f9b7d68291	Fix a couple of errors	6 years ago
Bernhard Mueller	44d5eff9b6	Formatting	6 years ago
Bernhard Mueller	1c207b0591	Don't run in contract creation and 1st runtime tx	6 years ago
Bernhard Mueller	0e3c04c835	Improve type hints and annotations	6 years ago
Bernhard Mueller	4915a6be74	Add flag to disable pruning	6 years ago
Bernhard Mueller	86c6c2041f	Protect paths that contain a message call	6 years ago
Bernhard Mueller	a3a979bb55	A little black can't hurt	6 years ago
Bernhard Mueller	43e0991acd	Refactor to only consider concrete cases (for now)	6 years ago
Bernhard Mueller	82559dd0a5	Now without log.info	6 years ago
Bernhard Mueller	57883f2d63	Add 'support' for symbolic storage addresses	6 years ago
Bernhard Mueller	337d3e7ea9	Add hack	6 years ago
Bernhard Mueller	cdbda2a81c	Add mutation pruner & debut usage of get_concrete_int	6 years ago
Bernhard Mueller	a7bad0e96b	Fix annotation copy	6 years ago
Bernhard Mueller	34d6270864	Add caller constraints to all relevant modules	6 years ago
Bernhard Mueller	22d286e136	Check constraints on caller in delegatecall module	6 years ago
Aleksandr Sobolev	e3fe79f777	Define ENV variable to suspend regressions reporting for some testcases	6 years ago
Bernhard Mueller	558dd42390	Merge pull request #1076 from ConsenSys/bugfix/bectoken ... Fix Storage and calldata	6 years ago