mythril

Commit Graph

Author	SHA1	Message	Date
Daniel Bast	0717111a55	Enable+apply isort via ruff/pre-commit (#1871 ) * Enable+apply isort via ruff/pre-commit * Fix cyclic imports --------- Co-authored-by: Nikhil Parasaram <nikhilparasaram@gmail.com>	3 months ago
Daniel Bast	25de4e7cc3	Run black + ruff via pre-commit, fix findings to reduce requirements.txt (#1865 ) * Run black via pre-commit + Github Action workflow, update black * Apply black via pre-commit * Enable ruff + rulset "F" via pre-commit * Apply ruff via pre-commit * Manual lint fixes * Apply review comments --------- Co-authored-by: Nikhil Parasaram <nikhilparasaram@gmail.com>	4 months ago
Daniel Bast	3759050cd2	Fully switch from mock to unittest.mock (#1864 ) mock became part of the Python stdlib in Python 3.3, see * https://docs.python.org/3/library/unittest.mock.html * https://mock.readthedocs.io/en/latest/ Some tests already use unittest.mock, this PR now changes all mock imports to unittest.mock and removes mock from the requirements.txt file.	4 months ago
Nikhil Parasaram	cfa8a1fa58	Add transient storage (#1854 ) * Add transient storage * Fix issues with transient storage * Remove obselete opcodes * Cleanup --------- Co-authored-by: psantos <122355282+psantos-consensys@users.noreply.github.com>	7 months ago
Nikhil Parasaram	2855b34a97	Add push0 and push tests (#1781 ) * Add push0 and push tests * Fix issue with args * Add missing files	1 year ago
Nikhil Parasaram	4084113513	parallelise test execution (#1775 ) * parallelise test execution * Rename tests * Fix tests	1 year ago
Nikhil Parasaram	7d3f9b5842	Beam search (#1606 ) * Init config dir * Fix solc optimizer * Add beam search * Use dict over reference	3 years ago
Nikhil Parasaram	9d922fe9f4	Refactor opcode files and fix issues (#1532 )	3 years ago
Nikhil Parasaram	067d2c0b47	Add BASEFEE opcode (#1513 ) * Add BASEFEE opcode * Add test	3 years ago
Nikhil Parasaram	3ef1065b15	Support berlin fork (#1428 ) * Support berlin fork * Add review fixes Co-authored-by: JoranHonig <JoranHonig@users.noreply.github.com>	4 years ago
Nikhil Parasaram	698b1d423f	Fix create tests	5 years ago
Nikhil Parasaram	b290b6071a	Fix create salt (#1306 ) * Remove native tests * Handle symbolic salt * Handle symbolic salt * Add type hint for contract_address * Bring the instruction gas up * Fix the tests and the instruction Co-authored-by: JoranHonig <JoranHonig@users.noreply.github.com>	5 years ago
Nikhil Parasaram	fa3207c5b8	Fix loop bounds (#1336 ) * new algo for creating loop counter keys * Good old black * Revert to debug log level * Fix type annotation * Minor modification of checksum generation * Greater trace length and some black * Count continous loops Co-authored-by: Bernhard Mueller <b-mueller@users.noreply.github.com>	5 years ago
Joran Honig	cc476df2a5	retrieve callback modules not post modules	5 years ago
Nikhil Parasaram	4d2b331ac0	Add create and create2 test (#1308 ) * Add create tests * Use pytest raises Co-authored-by: JoranHonig <JoranHonig@users.noreply.github.com>	5 years ago
Nikhil Parasaram	27ce7d19fb	Remove create tests (#1307 )	5 years ago
Nikhil Parasaram	3e167282e7	Bugfix calls (#1288 ) * Fix bugs * Change tests * black * Fix the string * Change the name and add a docstring * Change max-depth to 128 * refactor with black * Rename function name and remove constraints append code	5 years ago
Nikhil Parasaram	eeeb9bf639	Move constraints to world state (#1276 ) * Add constraints to worldstate * Remove propogation of constraints from Node * Remove a usage of state.constraints() * Ignore mypy error * Add a missing file	5 years ago
Nikhil Parasaram	0869cbf394	Add tests for extcodecopy (#1240 ) * Add tests for extcodecopy * Don't use mock	5 years ago
Nikhil	103d9588c8	Fix create tests	5 years ago
Eric N	bc0f677e87	Cleaned up code. Add create test.	5 years ago
Nikhil Parasaram	c55af2a5a0	Implement static call (#991 ) * Implement static call * Refactor static call tests * Reuse call's post for staticcall * Change variable names and add docstring comments * Rename variable name * change the comment * Fix the tests based on the merge * Fix the tests * Remove extra declaration of WriteProtection * Fix static call test * Add the missing condition in callcode	5 years ago
Eric N	e8b50b57ef	Fix bug and comment code. Adding tests.	5 years ago
e-ngo	5e1fb60670	Added CREATE	5 years ago
e-ngo	52ba355b65	Add logic for CREATE opcode, still need to add unit test for CREATE. Refactored extcodehash unit tests into separate test units.	5 years ago
e-ngo	1e225eb770	Ran black...	5 years ago
e-ngo	83937a9a55	Fixed errors in asserts in extcodehash tests	5 years ago
e-ngo	268d5d3bbb	Ran black	5 years ago
e-ngo	9dc1007a15	Implemented extcodehash	5 years ago
Nikhil Parasaram	dd7b255fc9	Fix storage	6 years ago
Nikhil Parasaram	78a720ed31	Fix merge conflicts	6 years ago
Nikhil Parasaram	7cc9a3de8f	Add the BitWise instructions	6 years ago
Dominik Muhs	1fdd07a254	Add gas simulation to LASER (#660 )	6 years ago
Nathan	b6c4ad1cbd	Refactor state.py into multiple files (#698 )	6 years ago
Dominik Muhs	9af7018235	Apply black	6 years ago
Dominik Muhs	e0cd08a58b	Apply black style formatting	6 years ago
Joran Honig	534e2f7cc0	Adds concrete codecopy test	6 years ago

36 Commits (develop)