162 Commits (fix/boundedloops)

Author	SHA1	Message	Date
Bernhard Mueller	b24dc32f82	Grammar fix	6 years ago
Nikhil Parasaram	88fdc543be	Add latest help (#1106)	6 years ago
Nathan	ebfe26cbb0	Fix merge mistake	6 years ago
Nikhil Parasaram	7d69233fcd	Support for old cli	6 years ago
rocky	2f13ef85f3	Python 3.5 tolerance and note what Python versions Mythril accepts	6 years ago
tintinweb	446a7e6346	refactored __main__ creating a base Mythril interface class ... the idea is that in the future this will be the main entry point to script mythril (see mythril/mythril.py - main interface) created user facing interface subpackage and moved console logic to cli.py changed myth to import from interfaces/cli (clean interface) changed __main__ to import from interfaces/cli (clean interface)	7 years ago
tintinweb	c0f4db1080	refactored __main__ creating a base Mythril interface class ... the idea is that in the future this will be the main entry point to script mythril (see mythril/mythril.py - main interface) created user facing interface subpackage and moved console logic to cli.py changed myth to import from interfaces/cli (clean interface) changed __main__ to import from interfaces/cli (clean interface)	7 years ago
tintinweb	3bbb9b931f	added support for python3 -m mythril <cmdline params> ... moved cli script 'myth' to __main__ and guarded main from accidential imports changed 'myth' to call '__main__.main()'	7 years ago
Dr. Sergey Pogodin	7e11dd5ba4	F2F: Improve reading of dynamic arrays ... Submission 253771 by N1k1tung to the challenge https://www.topcoder.com/challenges/30064730	7 years ago
Bernhard Mueller	3133fefce6	Fix dynamic array access	7 years ago
Bernhard Mueller	1ffcbe09bf	Integers: Add type check, change operator in assert conditions	7 years ago
Josh Asplund	367a185075	Simplifies serialization code	7 years ago
Joran Honig	d995789aad	Add expected output	7 years ago
Dr. Sergey Pogodin	4f234e7ef3	CODE: LevelDB support ... Submission #252303 by N1k1tung to the challenge https://www.topcoder.com/challenges/30063861	7 years ago
Bernhard Mueller	52f633d03c	Add output option for trace explorer GUI	7 years ago
freewind	29c5ca6977	Fix tests	7 years ago
freewind	1d12221ff8	test reports generation	7 years ago
Bernhard Mueller	c8e0f73aea	Remove references to xrefs command	7 years ago
Bernhard Mueller	bf8301b66b	Add multithreaded contract sync, refactor RPC code	7 years ago
freewind	d8046bf569	refactoring myth script	7 years ago
Bernhard Mueller	212110f622	Add --verbose-report flag	7 years ago
Bernhard Mueller	450cd7a008	Change type of enable_physics cmdline arg	7 years ago
Bernhard Mueller	765b450fa4	Add -m/--modules command line argument	7 years ago
Bernhard Mueller	6e8eb8c0d2	Set filename when mapping Solidity code to issues	7 years ago
Bernhard Mueller	a603772956	Add get_source_info convenience method to SolidityContract	7 years ago
Bernhard Mueller	ed645d756e	IMPORTANT: Add Phrack-style call graph	7 years ago
Bernhard Mueller	5daf7a5d98	Add more error checks to myth cmdline tool	7 years ago
Bernhard Mueller	7e37cba737	Don't initialize IPC when Soldity inputs are used	7 years ago
Dr. Sergey Pogodin	f1430a8c3e	CODE: CLI Refactoring ... Submission 522596 by nowind_lee to the challenge http://www.topcoder.com/challenges/30063470	7 years ago
Bernhard Mueller	ab1b686ed1	Change markdown frormatting, add -i cmdline arg	7 years ago
freewind	2458b5302d	Use `python3` explicitly to reduce conflict	7 years ago
Bernhard Mueller	7c0deddadb	Add --solc-args option	7 years ago
Bernhard Mueller	bd4be45032	Update contract<>address mapping logic	7 years ago
Bernhard Mueller	5bae571074	Refactor	7 years ago
Bernhard Mueller	d765d11a67	Quick & dirty fixes for analysis modules	7 years ago
Bernhard Mueller	53ef2f3028	Fix exitWithError calls	7 years ago
Bernhard Mueller	2c74b02b3a	Add IPC error handling	7 years ago
Bernhard Mueller	12bc854381	LASER v2 compatibility fixes & code formatting	7 years ago
Bernhard Mueller	fa941dbfa3	Code formatting	7 years ago
Bernhard Mueller	eba8f05492	Remove 'address' field from contract objects	7 years ago
Bernhard Mueller	993164e6df	Assign addresses to Solidity contracts	7 years ago
Bernhard Mueller	402563a636	Code formatting	7 years ago
Bernhard Mueller	975823fec9	Code formatting	7 years ago
Bernhard Mueller	620a88dc7a	LASER v2 compatibility	7 years ago
vdrg	6692475e09	Allow for different output formats in truffle projects	7 years ago
Bernhard Mueller	5716ddd901	Fix issue that sometimes prevented issues from being displayed	7 years ago
Bernhard Mueller	25e7ce8599	Add option to specify contract name in addition to input file	7 years ago
Bernhard Mueller	fa19ee819f	Handle situation when no compilable contracts are found in input file(s)	7 years ago
Bernhard Mueller	3a667270e1	Handle non-existant input files	7 years ago
Bernhard Mueller	6bf1e8e76d	Handle symbolic execution exceptions	7 years ago