3944 Commits (add_concrete_stuff)

 

All Branches   

Search

Author	SHA1	Message	Date
Nikhil Parasaram	edb906d391	revert the timeout to normal	5 years ago
Nikhil Parasaram	efd7c95f86	Use different SMT array for each map	5 years ago
Nikhil Parasaram	7edb263fce	Improve reporting	5 years ago
Bernhard Mueller	5f11a0f38d	Pass loop bound arg trough to MythrilAnalyzer	5 years ago
Bernhard Mueller	39aa6ca94e	Merge branch 'ether_thief_fix' into develop	5 years ago
Bernhard Mueller	83fe9ce6f9	Improve constraints on Ether Thief module	5 years ago
Nikhil Parasaram	f287f505a3	Update docs after cli refactor	5 years ago
Nikhil Parasaram	ae26b1462d	Refactor cli (#1033) ... * Refactor cli * enhance cli * Re-Refactor the cli structure for more flexibility * Add cli tests for error * Move the cmd_line_test to the previous directory * Add documentation * Add more tests and change docs * Add more tests for storage slots and execution * support a for analyze and add more tests * Improve cli interface * Fix previous errors * Refactor with black * Add help command * Add new tests, fix an edge case and improve code and help messages	5 years ago
Nikhil Parasaram	5252a05524	Implement EXTCODECOPY (#928) ... * Implement EXTCODECOPY * Cache the code received from Dynld * Reuse code_copy_helper return value * Add tests to cover the extcodecopy cases * Shift the addr function to WorldState * Refactor with black * Change based on recent PRs * Add docstrings * Shorten the code	6 years ago
Bernhard Mueller	d88defd7b1	Merge pull request #1094 from ConsenSys/develop ... Merge for 0.21.3	6 years ago
Bernhard Mueller	842f5370c5	Merge branch 'master' into develop	6 years ago
Nikhil Parasaram	dd7b255fc9	Fix storage	6 years ago
Bernhard Mueller	e5b45060d2	Update __version__.py	6 years ago
Bernhard Mueller	a871908a59	Merge pull request #1088 from ConsenSys/bugfix/storage_lookup ... Fix lookup of on-chain storage	6 years ago
Bernhard Mueller	ee83a1aaaa	Merge branch 'develop' into bugfix/storage_lookup	6 years ago
Nathan	fb8fd23b2d	Merge pull request #1059 from ConsenSys/bugfix/1055 ... Fix the source problem by using proper function name	6 years ago
Nathan	3a630363b1	Merge branch 'develop' into bugfix/1055	6 years ago
Nathan	49ef7482ba	Apply black	6 years ago
Nathan	ee71086f98	Merge branch 'develop' into bugfix/storage_lookup	6 years ago
Nathan	ef16ac834e	Fix lookup of on-chain storage	6 years ago
Bernhard Mueller	4cab451a39	Merge pull request #1087 from ConsenSys/develop ... Update __version__.py	6 years ago
Bernhard Mueller	d86468c830	Update setup.py	6 years ago
Bernhard Mueller	9a3bf665cc	Update __version__.py	6 years ago
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