28 Commits (dependabot/pip/z3-solver-gte-4.8.8.0-and-lte-4.13.3.0)

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
Nikhil Parasaram	70d234e4f1	Add improved state merging (#1843) ... * Add improved state merging * Fix namespace	9 months ago
Nikhil Parasaram	205d50a50f	Add summaries and additional bugfixes (#1830) ... * Add summaries and additional bugfixes * Update test w.r.t bugfixes * Update namespace * Disable sonar	10 months ago
A23187	499bce16f7	some fixes (#1721) ... * some fixes - add cli option --enable-mutation-pruner to control if to enable MutationPrunerBuilder - let cli option --enable-coverage-strategy to control if to load CoveragePluginBuilder - let cli option --enable-iprof to control if to load InstructionProfilerBuilder - remove the redundant print in MythrilDisassembler.hash_for_function_signature - fix the bug of non-hexadecimal numbers found when converting hex(func_hash)[2:] to bytes - other fixes * some fixes - add cli option --disable-mutation-pruner to disable MutationPrunerBuilder - let cli option --disable-coverage-strategy to disable CoveragePluginBuilder - let cli option --disable-iprof to disable InstructionProfilerBuilder - remove the redundant print in MythrilDisassembler.hash_for_function_signature - other fixes * Fix tests --------- Co-authored-by: norhh <nikhilparasaram@gmail.com>	1 year ago
Nikhil Parasaram	eb2c11ef01	Handles issue with low constructor loop bound and new way to deal with solver-timeout (#1668) ... * Add exit code * Update docs with tutorial * Fix docs * Reformat * Fix the issue with loop-bound and solver-timeout * Add test changes * Restrict hexbytes	2 years ago
Nikhil Parasaram	bb1dd3e794	Support TX constraints and refactor CLI (#1607) ... * Support TX constraints and refactor CLI * Fix typing * Add additional typing * Use dict over accessor * Fix z3py requirements * Init storage args * Init storage args * Init args in vm tests	3 years ago
Nikhil Parasaram	bc767a6472	Black	5 years ago
Nikhil Parasaram	c7b4712a40	Fix tests	5 years ago
Nikhil Parasaram	c965339959	Add statespace tests (#1248) ... * Fix mypy issues * Fix the statespace problem, and remove weirdness in graph tests * Fix black * Remove weird Z which popped up * Add a comment in graph test Co-authored-by: JoranHonig <JoranHonig@users.noreply.github.com>	5 years ago
Nikhil Parasaram	636f7defaf	Use arguments from constructor in MythrilAnalyzer and fix typos	6 years ago
Nikhil Parasaram	d15ff852ee	Add graph analysis test	6 years ago
Dominik Muhs	d7f80023d7	Merge branch 'develop' into feature/docs	6 years ago
Joran Honig	94b757e213	Set execution timeout to be lower ... Otherwise the test would be much slower	6 years ago
Dominik Muhs	0e9e4bf0b1	SQLite Signature DB (#758) ... * Add first version of sqlite signature db * Adapt truffle module to new signature db * Fix tests * Remove old DB code * Apply black * Add sqlite dev dependency * Add sqlite dev dependency * Add more type hints * Apply black * Adapt old naming in manifest and gitignore * Add minor fixes to signature DB * Add repr to signature db * Apply black * Add mythril dir env var * Replace __del__ with SQLite context manager * Add SQLite context manager repr and fix test imports * Apply black * Fix nasty test path issue * Add reentrancy signature to db for tests * Call base setUp in evm contract tests * Remove redundant return	6 years ago
Bernhard Mueller	28326d6245	Rename ETHContract -> EVMContract	6 years ago
Bernhard Mueller	e04dd1cdda	Refactor package and class names	6 years ago
Bernhard Mueller	8af61d639f	Black formatting	6 years ago
Bernhard Mueller	40bb82f014	Set default tx count to 2, set tx count in graph tests to 1	6 years ago
Dominik Muhs	9af7018235	Apply black	6 years ago
Dominik Muhs	e0cd08a58b	Apply black style formatting	6 years ago
Joran Honig	d55725cf88	Fix other failing tests	6 years ago
Dr. Sergey Pogodin	8e94ea6952	F2F: Fix tests and build ... Submission #253416 by walker_ to the challenge https://www.topcoder.com/challenges/30064535	7 years ago
Joran Honig	55c7a4e61a	Compare with current output	7 years ago
freewind	73096acfa2	make sure use same signatures.json in every test	7 years ago
freewind	2d4fe3956b	Use temp files to store tests output, make it easy to compare results if output changes	7 years ago
freewind	01aef7783c	Fix some issues per viewers' advices	7 years ago
freewind	29c5ca6977	Fix tests	7 years ago
freewind	ac279a0e21	add more tests	7 years ago
freewind	d6b3903fef	graph generation test	7 years ago
freewind	26a77cf525	move report_test.py to upper directory	7 years ago
freewind	1d12221ff8	test reports generation	7 years ago