2299 Commits (b6c4ad1cbd609e6ae0aa4e218dff40e843fd7696)

 

All Branches   

Search

Author	SHA1	Message	Date
Bernhard Mueller	8fea106cb7	Set max-transaction-count default to 1	6 years ago
Nikhil Parasaram	ad6339d3c2	Format code with Black	6 years ago
Bernhard Mueller	1fcdec0966	Merge pull request #637 from JoranHonig/bugfix/634_requires ... Bugfix 634: Don't check for requires as this results in false negatives	6 years ago
Bernhard Mueller	d8ddcb46a9	Merge pull request #642 from nbanmp/output_tx_sequence ... Output transaction sequence in verbose output	6 years ago
Nikhil Parasaram	a8f6c477c8	Exception handling fix	6 years ago
Nathan	74a1a401d3	remove unhelpful log messages	6 years ago
Nathan	2af841027c	remove unneeded check	6 years ago
Nikhil Parasaram	3aeaf59bea	Add --no-onchain-storage-access flag	6 years ago
Haozhong Zhang	91015e63ba	analysis/integer: remove unnecessary deepcopy of constraints ... `solver.get_model()` has no way to mutate constraints passed to it, so the expensive deepcopy of constraints before calling `solver.get_model()`is unnecessary.	6 years ago
Haozhong Zhang	725bfec464	laser/instruction: simplify before checking by Z3 is_true() ... Z3 is_true() does not automatically consider `expr == expr` to be true, so `is_true(key_argument == index_argument)` in `sstore_()` will miss lots of positive conditions and then generate lots of unnecessary subsequent paths. Take the following contract for example ``` contract Foo { mapping(address => uint) public balances; function bar(address _to, uint256 _value) public { require(balances[_to] + _value >= balances[_to]); balances[_to] += _value; balances[_to] += _value; } ``` Before this commit, - 772 nodes/771 edges/8288 states are generated. After this commit, - only 237 nodes/236 edges/3204 states are generated.	6 years ago
Haozhong Zhang	ce4075b8df	laser/instruction: remove unused solver in sstore_()	6 years ago
Haozhong Zhang	0f8e9144a6	analysis/transaction_order_dependence: import missing `copy` module in transaction_order_dependence.py ... copy.deepcopy() is used in transaction_order_dependence.py, but the `copy` module is not imported.	6 years ago
Nathan	0290de26f8	remove caller and call_value constraints from concretization logic	6 years ago
Nathan	e3386bcf98	output transaction sequence as verbose output	6 years ago
Dominik Muhs	bd4d4a9a7f	Merge branch 'develop' of github.com:ConsenSys/mythril-classic into feature/type-hints-develop	6 years ago
Dr. Sergey Pogodin	e260db5056	Another fix of the docker build & release script	6 years ago
Dr. Sergey Pogodin	aeefb7416e	A misprint fix	6 years ago
Dr. Sergey Pogodin	5f8d7382ef	Fix of Docker build & release shell scrip	6 years ago
Dr. Sergey Pogodin	450a1be06c	Temporary disables tests requirement for DockerHub "mythril/myth-dev" release	6 years ago
Dr. Sergey Pogodin	6e4ace9f73	Automatic releases of "develop" to "mythril/myth-dev" DockerHub container	6 years ago
Bernhard Mueller	405f26fab8	Merge pull request #636 from JoranHonig/bugfix/633_reentrancy ... Bugfix 633 State change after external call	6 years ago
Joran Honig	c6a0644c46	fix missing call variable	6 years ago
Joran Honig	bde69593f4	Don't check for requires as this results in false negatives	6 years ago
Joran Honig	31a8107daf	Make search_children compatible with multi transactional analysis	6 years ago
Joran Honig	f6749a1e97	Bugfix search_children	6 years ago
Joran Honig	9846019ab5	black fixes	6 years ago
Joran Honig	a83936a94c	Fix missing import and style	6 years ago
Joran Honig	06f92f64cd	remove unintended ouputs current	6 years ago
Joran Honig	9fe0964f35	merge fixes	6 years ago
Joran Honig	c8e4aef7cd	Merge remote-tracking branch 'upstream/master' into merge_master	6 years ago
Nathan	7cc4d6cdee	absolutely nothing	6 years ago
Dominik Muhs	d107fb5587	Apply black	6 years ago
Dominik Muhs	1c3e77b861	Merge latest develop branch	6 years ago
Bernhard Mueller	f66d5f4c89	Merge pull request #619 from nbanmp/transaction_sequence ... Concrete transaction sequence generation	6 years ago
Dominik Muhs	e2408a043c	Apply black	6 years ago
Bernhard Mueller	67660ab7e0	Merge branch 'develop' into transaction_sequence	6 years ago
Dominik Muhs	524c10a8c8	Merge develop into dmuhs/type-hints	6 years ago
Bernhard Mueller	e3eb520458	Merge pull request #620 from nbanmp/fix_calldata_indexing ... Fix issue where the new calldata constraints are overwritten.	6 years ago
Nathan	dafb05c272	Revert "solver optimizes calldatasize" ... This reverts commit 4f00ae5bdd.	6 years ago
Nathan	4f00ae5bdd	solver optimizes calldatasize	6 years ago
Dominik Muhs	9af7018235	Apply black	6 years ago
Nathan	0b88c4033d	Merge branch 'develop' into fix_calldata_indexing	6 years ago
Nathan	fc5187eef8	fix typo in a comment	6 years ago
Bernhard Mueller	9e00c3b2d2	Merge branch 'develop' into transaction_sequence	6 years ago
Bernhard Mueller	94eade61dc	Merge pull request #631 from norhh/enhance/628 ... Change the issue descriptions	6 years ago
Nathan	461a6735c7	Black Formatting	6 years ago
Nikhil Parasaram	c86806ce5a	Format the strings with black code formatter	6 years ago
Nikhil Parasaram	ffbee7f760	Change the issue descriptions	6 years ago
Nathan	2debc03d3c	bring transaction sequence generation to a working state	6 years ago
Bernhard Mueller	22954508f0	Merge pull request #629 from ConsenSys/enhancement/628 ... Change the issue description	6 years ago