777 Commits (442c1f6ee6acc646ef13be4b7439197cf06d44d7)

Author	SHA1	Message	Date
Josselin	5faacb0205	Constructor declared as protected function ... Taint msg.sender for arbitrary send detector	6 years ago
Josselin	b2efb3582b	Use of taint in msg.value to reduce arbitrary send FP	6 years ago
Josselin	381d97b868	Open source ArbitrarySend detector (WIP)	6 years ago
Josselin	8cc789e18a	Update lockedEther testcase	6 years ago
Josselin	39860db4e9	Update Travis tests	6 years ago
Josselin	64231df5ae	Add LockedEther detector	6 years ago
Josselin	43f6414d9f	Open source unused state variable detector	6 years ago
Josselin	a15af96993	Add SlithIR representation (WIP) ... Add taint example API changes: - Better handling of tuple - Add context to slither - Change node str representation - Add ChildNode - Add block.blockhash in SolidityVariable - Add __eq__ , __hash__ in SolidityVariable - Add full_name in solidityVariableComposed - Update of the expression in a VARIABLE Node to have the assignement - Remove ENDIF not never reached	6 years ago
Josselin	2aea762600	Open source tx.origin detector	6 years ago
Josselin	e6ed6a43c1	Update documentation	6 years ago
Josselin	4d797bb4b7	API changes: ... - Remove slither.utils.utils - Follow pep8 for module name - Shorter module name Move examples/bugs to tests/ (close #7) Udpdate examples/scripts and integrate them in travis	6 years ago