2661 Commits (02c5715e8cb172133a6f8e95ab4017fd2fce728f)

 

All Branches   

Search

Author	SHA1	Message	Date
JoranHonig	91ef0499e8	Merge pull request #788 from JoranHonig/features/smt-abs ... Initial smt abstraction PR	6 years ago
Bernhard Mueller	d98d9ed0e2	Merge branch 'develop' into features/smt-abs	6 years ago
Nathan	ba95a25f60	Filter callback modules that get hooked into the svm (#792)	6 years ago
JoranHonig	780e089987	Merge branch 'develop' into features/smt-abs	6 years ago
Nikhil Parasaram	8a59984959	Merge pull request #785 from ConsenSys/fix/ambiguous-sigs ... SignatureDB behaviour changes and test architecture	6 years ago
Nikhil Parasaram	76e01a939c	Merge branch 'develop' into fix/ambiguous-sigs	6 years ago
Dominik Muhs	63dae128c9	Replace threading lock with multiprocessing lock	6 years ago
cryptobarbossa	a1fc2a4ee5	Enable creation bytecode option (#787) ... * Enable creation bytecode option * Additional fix * Update mythril/interfaces/cli.py Co-Authored-By: cryptobarbossa <42328224+cryptobarbossa@users.noreply.github.com> * Update mythril/interfaces/cli.py Co-Authored-By: cryptobarbossa <42328224+cryptobarbossa@users.noreply.github.com> * Solution cleanup * Output additions	6 years ago
Joran Honig	c3c10f5128	add documentation to bitvec and fix types	6 years ago
Joran Honig	7eae0479de	Add documentation too bool	6 years ago
Joran Honig	f9c585c6dc	Document expression further	6 years ago
Joran Honig	6434dc1e33	Merge remote-tracking branch 'origin/features/smt-abs' into features/smt-abs	6 years ago
Joran Honig	c9454eedc5	add docstring to expression class	6 years ago
JoranHonig	1865bd2978	Merge branch 'develop' into features/smt-abs	6 years ago
Joran Honig	a7a68957aa	Add functions to fit with z3 library	6 years ago
Joran Honig	2301226d33	remove redundant UDIV and add properties to the expression	6 years ago
Joran Honig	9312e24170	add if implementation	6 years ago
Joran Honig	ff53d993f9	add documentation to symbol factory	6 years ago
Joran Honig	bcee8c045e	Create symbol factories and move bitvec constructors there	6 years ago
JoranHonig	e661eac348	Add array based implementation of calldata (#778) ... * mythril/laser/ethereum/state: add array based implementation * Create symbolic calldata * remove debug statement * Return the concrete calldata, and adapt natives to new calldata pattern * remove debugging statement from test * Move simplifies and remove clean * move simplify to expected place * remove unused test: svm_test.py	6 years ago
Joran Honig	ff89f64415	add type hints	6 years ago
Joran Honig	5f1bee07eb	remove example annotation	6 years ago
Joran Honig	e0995cb949	add equality operations	6 years ago
Nikhil Parasaram	5dd544d301	Merge pull request #784 from ConsenSys/bugfix/783 ... Minimize call value and transaction count	6 years ago
Dominik Muhs	91629f0d1e	Fix path string conversion, remove stale test mythril dir	6 years ago
Dominik Muhs	d38768bdf9	Add signature DB thread-safe singleton (for multithreaded tests)	6 years ago
Dominik Muhs	58d11c792f	Refactor signature DB init, deprecate test DB	6 years ago
Nikhil Parasaram	62dfe18a2d	Merge branch 'bugfix/783' of github.com:ConsenSys/mythril into bugfix/783	6 years ago
Nikhil Parasaram	b94c4578cc	minimize transaction count	6 years ago
Nikhil Parasaram	7301359135	Merge branch 'develop' into bugfix/783	6 years ago
Nikhil Parasaram	3feb31dcfd	Merge pull request #779 from ConsenSys/bugfix/661 ... simplify boolref in sstore_()	6 years ago
Nikhil Parasaram	1e5ed90599	Remove unnecessary if condition	6 years ago
Nikhil Parasaram	01421c1c1c	Merge branch 'develop' into bugfix/661	6 years ago
Dominik Muhs	2868db8c28	Add local solidity cache to signature DB	6 years ago
Joran Honig	15665cf046	mythril/laser/smt: add arithmetic operations to bitvec	6 years ago
Joran Honig	c5df4d19a8	revise function names	6 years ago
Joran Honig	41de34284e	Init smt abstraction	6 years ago
Nikhil Parasaram	c25f49dd93	Black fixes	6 years ago
Nikhil Parasaram	4fc5a64aa4	minimize call value	6 years ago
Nathan	e2557432a5	black :(	6 years ago
Nathan	0335a71a45	switch to named loggers	6 years ago
JoranHonig	aafe06c0df	Initial StateAnnotation Implementation (#762) ... * Initial StateAnnotation Implementation * add function return type Co-Authored-By: JoranHonig <JoranHonig@users.noreply.github.com> * add return type to annotate Co-Authored-By: JoranHonig <JoranHonig@users.noreply.github.com> * Add return type to annotations Co-Authored-By: JoranHonig <JoranHonig@users.noreply.github.com> * add retyrn type to annotate Co-Authored-By: JoranHonig <JoranHonig@users.noreply.github.com> * add type hints to worldstate __init__ Co-Authored-By: JoranHonig <JoranHonig@users.noreply.github.com> * add return type to annotations Co-Authored-By: JoranHonig <JoranHonig@users.noreply.github.com> * style fixes * Add list	6 years ago
Nikhil Parasaram	52c8aba690	Merge branch 'develop' into bugfix/661	6 years ago
Nikhil Parasaram	e213fd68a1	Format file with black	6 years ago
Nikhil Parasaram	2601209e2c	Use simplify only for Bool symbols	6 years ago
Dominik Muhs	2b2ff4150a	Output all ambiguous function names	6 years ago
Nathan	d872ff07be	extend test timeout	6 years ago
Nikhil Parasaram	7c2e60fede	Merge pull request #773 from mickayz/develop ... Fix for --solv regression	6 years ago
Nikhil Parasaram	1a4def9206	Merge branch 'develop' into develop	6 years ago
Nathan	2a0ff2be91	Merge branch 'develop' into memory_refactor	6 years ago