4146 Commits (feature/summary)

 

All Branches   

Search

Author	SHA1	Message	Date
Joran Honig	9cb5cf1595	print the actual amount of summaries that have been generated	5 years ago
Joran Honig	4e3a03078a	change hooks used by function summarisation and provide necessary implementation	5 years ago
Joran Honig	b74f8e64eb	add transaction end hook	5 years ago
Joran Honig	5865a10d52	apply substitution in restoration of previous state	5 years ago
Joran Honig	cd5964c5b2	implement expression substitution for arrays	5 years ago
Joran Honig	4ed10a750d	add eq implementation to base array ... This is used for summary generation	5 years ago
Joran Honig	2148cb5f19	remove empty stubs	5 years ago
Joran Honig	91f2d96179	add constructor to symbolic summary class	5 years ago
Joran Honig	d8d9520822	add constructor to summary tracking annotation	5 years ago
Joran Honig	2fd420c445	add body to the stub function exit implementations	5 years ago
Joran Honig	4ed1d4e292	create stub implementation of function exit (also documentation)	5 years ago
Joran Honig	2b22c4447b	implement summary entry function	5 years ago
Joran Honig	677d2eff9f	add initial classes and documentation for summary generation	5 years ago
Nikhil Parasaram	cc002b4e71	Revert "Fix propagation of JumpdestCountAnnotation (#1237)" (#1253) ... This reverts commit f1a0c9db04.	5 years ago
Nathan	8faee17db4	Merge pull request #1251 from ConsenSys/remove/old_cli ... Remove old cli	5 years ago
Nikhil Parasaram	6c420e74df	Merge branch 'develop' into remove/old_cli	5 years ago
Nikhil	61214648f8	Fix epic test	5 years ago
Nikhil	33783a0b9d	Remove old cli	5 years ago
Nikhil Parasaram	9515cc5dd2	Mythril v0.21.18	5 years ago
Nikhil Parasaram	bbff2ff454	Refactor code by removing usused and repeated code (#1249)	5 years ago
Nikhil Parasaram	5f40a1839a	Fix symbolic calldata size when create (#1244) ... * Fix symbolic calldata size when create * Consider the integer case	5 years ago
Nathan	f040fd8a14	Do not display creation input in markdown or text reports (#1242)	5 years ago
Nikhil Parasaram	aaef40764c	Fix mypy issues (#1246)	5 years ago
Nikhil Parasaram	1cd49eb3b6	Catch stackunderflow exception before hitting analysis modules (#1234) ... * Add a instruction stack usage table * catch stackunderflow exception before the pre analysis * Fix type hints * Fix black * fix tests	5 years ago
Nikhil Parasaram	0869cbf394	Add tests for extcodecopy (#1240) ... * Add tests for extcodecopy * Don't use mock	5 years ago
Nathan	3d1b0e889d	Merge pull request #1239 from ConsenSys/fix/iprof-ctrlc ... Display instruction profiler results on ctrl+c or error	5 years ago
Nathan	73c6f8390a	Merge branch 'develop' into fix/iprof-ctrlc	5 years ago
Nikhil Parasaram	7a105e5dec	Py35 support (#1233) ... * Add py35 into tox * Use solcx for python3.6+ * Fix tests	5 years ago
Nathan	8e9edebb79	Merge branch 'develop' into fix/iprof-ctrlc	5 years ago
Nikhil Parasaram	07347e28ff	Remove truffle support (#1218) ... * Remove truffle * Fix black * Remove truffle.py	5 years ago
Nathan	9fd552dae3	Merge branch 'develop' into fix/iprof-ctrlc	5 years ago
Nathan	f1a0c9db04	Fix propagation of JumpdestCountAnnotation (#1237) ... * Fix propagation of JumpdestCountAnnotation * Update mythril/laser/ethereum/strategy/extensions/bounded_loops.py Co-Authored-By: Nikhil Parasaram <nikhilparasaram@gmail.com>	5 years ago
Nathan	4aeb4cc5f3	Improve function signatures	5 years ago
Nathan	14ec9022f0	Display instruction profiler results on ctrl+c or error	5 years ago
JoranHonig	a223219ab6	Merge pull request #1231 from ConsenSys/bug/invalid-loop-pruning ... Added 'context' to loop annotations.	5 years ago
Eric Ngo	e9dfa8fca3	Make keys unique	5 years ago
Eric Ngo	e1bd418aa4	Merge branch 'develop' of https://github.com/ConsenSys/mythril into bug/invalid-loop-pruning	5 years ago
Nikhil Parasaram	94cd6364b0	Use padded operation over operation (#1229) ... * Use padded operation over operation * Add missing operation	5 years ago
Eric Ngo	6f63749891	Fixed mypy	5 years ago
Eric Ngo	6f21b92796	Added 'context' to loop annotations.	5 years ago
e-ngo	a8a76b3da5	Added returning global state to SIGNEXTEND opcode. (#1227) ... * Added returning global state to SIGNEXTEND opcode. * Add TODO statement. * added new symbol instead * hash s0	5 years ago
Bernhard Mueller	b0e57b2768	Enable optimizer when compiling Soldity files (#1226)	5 years ago
Bernhard Mueller	43e3a58ec0	Merge pull request #1225 from ConsenSys/fix/cleanup ... Immediately return value	5 years ago
Joran Honig	172394184d	immediately return value	5 years ago
JoranHonig	5063b6882c	Merge pull request #1224 from ConsenSys/edelweiss/2.0 ... Inject env variable into Edelweiss	5 years ago
JoranHonig	12eb0c29f7	Merge branch 'develop' into edelweiss/2.0	5 years ago
Aleksandr Sobolev	1ae2cf0355	Inject env variable into Edelweiss	5 years ago
e-ngo	57068484c6	Changed instructions out-of-bounds behavior to return halt instruction. (#1223)	5 years ago
Martin Derka	75838e3a8d	Added support for solidity 0.5.x (#1219) ... * Added support for solidity 0.5.x * Formatting using black * Added missing requirement for tests to pass * Fixed py-solc-x version * Added packages to setup * Removed py35 from tox * Synced the solc version for the test * Updated the test smart contract to floating pragma	5 years ago
Nikhil Parasaram	90f2de8555	Fix typehints for latest mypy release (#1221)	5 years ago