23 Commits (5108a9eb32c3cc80a7ab29057faae5b9d020aeaf)

Author	SHA1	Message	Date
Josselin	a9dea21ca8	Update travis tests	5 years ago
Josselin	9d93e7bd9f	Add support for ternary operator in modifier/constructor calls ... Add NOP IR to represent void constructor Add void-constructor detector	5 years ago
Josselin	a97903836c	Fix incorrect source mapping on if/while/for condition (close #245)	6 years ago
Josselin	6ec7814afb	Improve solc-version detector (fix 189)	6 years ago
Josselin	9149bfc5bf	Rename add_other_to_json to add_pragma_to_json ... Add contract/function field element to variable/enum/structure/... Update travis test	6 years ago
Josselin	88f08349ec	Minor	6 years ago
Josselin	5303b644ba	Minor	6 years ago
Josselin	9ba8bb8434	Add two new detectors: ... - unchecked send - unchecked low level Add Internal/InternalDyanmicCall to unused return value detector Close 224	6 years ago
Josselin	d1dbef483d	Improve too many digits detector. Fix travis test	6 years ago
Josselin	b6af826a83	Improve travis tests: ... - export json with indent=2 - export .txt file with direct slither output content	6 years ago
Josselin	a58da24e86	Update travis test	6 years ago
Josselin	ac82e1fc0c	Update to crytic-compile d90d8372d2826fb310ff83e87e4fa9ea0d553ae3	6 years ago
Josselin	1532babf38	Open source incorrect-equality detector	6 years ago
Josselin	af646da29e	Update travis tests	6 years ago
Josselin	51f3798626	Split reentrancy detector into three variants: ... - reentrancy-eth: theft of ether, read before write - reentrancy-no-eth: no theft of ether, read before write - reentrancy-benign: no theft of ether, no read before write	6 years ago
Josselin	8828093f1a	Update travis testcase	6 years ago
Josselin	0c63564669	Add Solidity 0.5 Support (WIP) ... Update travis tests to test both Solidity 0.4 and Solidity 0.5	6 years ago
Josselin	1c666c729d	Partial support of Solidity 0.5 (WIP)	6 years ago
Josselin	19e1c6340d	Json: ... - Add 'description' field for each report - Add contract information to function field Close #91	6 years ago
Josselin	58ac904c90	Add contract to locked_ether json ... Udpdate test_generate_excepted_json	6 years ago
Josselin	242acd0538	Continue to refactor JSON output (WIP)	6 years ago
Josselin	c1f0afb010	Refactor JSON output (WIP)	6 years ago
Josselin	c307a03fde	Fix constant function name	6 years ago
Josselin	39facef8eb	Improve Unused return value detector: ... - iterate only one times over all the bbs - dont detect unused local/state variables (should be catched by another detector) - return the node where the call is made, for better printing - Improve output + unit test + add wiki info Make slithIR operation inherits from ChildNode for better output	6 years ago
Josselin	26df3b2165	Open source constant function detector	6 years ago
Josselin	866e219041	New detector: controlled delegatecall	6 years ago
Josselin	375e56e282	Add Uninitialized local variable detector	6 years ago
Alexander Remie	17e6f3c243	add python script to recursively order the json output of detectors	6 years ago
Alexander Remie	4cb3a13eb1	use custom python script to pretty print json output instead of python -e json.tool	6 years ago
Alexander Remie	6dc5cbe70e	improve expected-json-generation and test script + use new tests/expected_json/ dir to store expected json files	6 years ago
Alexander Remie	db84aeca1f	add shell script to generate the expected (beautified) json output for each test	6 years ago