951 Commits (8d2a2ce09c33f75b3262184e11ce3c82e6d6fb60)

 

All Branches   

Search

Author	SHA1	Message	Date
Josselin	a1422142ee	Remove print	6 years ago
Josselin	90c2b60a4f	Remove unused import	6 years ago
Josselin	a31349ae92	Fix incorrect location assignment during LocalVariableIR init (fix #143)	6 years ago
Josselin	4a1252ad29	Remove FP on locked_ether detector: follow through libraries calls to detect send of ethers (fix #163)	6 years ago
Josselin	77cd643360	Remove reentrancy FP due to call to view/pure functions or state variable getters (fix #126)	6 years ago
Josselin	f3992c354d	Rename local variable in case of re-definition (fix #151) ... It is a temporary fix, a long term solution requires to implement a correct local variables scoping	6 years ago
Feist Josselin	e545eaab37	Merge pull request #148 from trailofbits/dev-upgradibility ... Add slither-check-upgradability command	6 years ago
Josselin	e6e23173c7	Add missing __init__.py file	6 years ago
Josselin	9baf839da5	slither-check-upgradability: ... - Add unit test - Improve output - Add --solc cli option	6 years ago
Josselin	a7f37b0926	Merge branch 'master' of github.com:trailofbits/slither	6 years ago
Josselin	64343da44a	Add support to solc json file where the non-json text was removed (fix #153)	6 years ago
Josselin	5a3454fb1f	Merge branch 'dev' into dev-upgradibility	6 years ago
Josselin	331868dd66	Printers modifications: ... - inheritance-graph: don't show redundant edges (close #157) - inheritance: separate immediate/non immediate fathers/children	6 years ago
David Pokora	cd09f6c64e	Fix UserDefinedTypeName parsing in type_parsing.py to use the 'type' attribute instead of 'name' attribute.	6 years ago
Josselin	59af3887a4	Added: ... - node.ssa_variables_* properties - variable.non_ssa_version for StateVariableIR/LocalVariableIR Fixed: - Incorrect SSA conversion on Return IR - is_storage property on StateVariableIR/LocalVariableIR	6 years ago
David Pokora	072cc152d1	Wrap Windows virtual terminal sequence enabling in a try/except to fallback on disabling color in case of any exception.	6 years ago
David Pokora	05bfbf10cf	Added reference for Windows std handle numbers in virtual terminal sequence enabling code.	6 years ago
David Pokora	06736e2214	Cleaned up imports for windows virtual terminal sequences enabling.	6 years ago
David Pokora	2855b5d992	Added virtual terminal sequence enabling to allow colorized output on Windows platforms.	6 years ago
David Pokora	1c9a2e79d6	Added CLI arguments to disable colorized output.	6 years ago
Josselin	0ff9305aef	Add undefined wiki info to shadowing function detector (close #158)	6 years ago
Josselin	76c07772b4	Add staticcall to LowLevelCall (close #152)	6 years ago
Josselin	4b55be79b2	Look for Truffle local version in package.json (close #154)	6 years ago
Josselin	7ef4e05fa1	Usage changes ... - Add truffle process to Slither (enable script to truffle project) - Switch to compact ast by default	6 years ago
Dan Guido	641703b841	Update README.md	6 years ago
Dan Guido	39dc7731e9	grammar	6 years ago
Josselin	c2ff6585db	v0.5.2	6 years ago
Feist Josselin	00b3c891ee	Add eth-security-toolbox information	6 years ago
Josselin	dc7359c947	Add command line to generate the wiki page ... Add wiki info to vulnerabilities.json	6 years ago
Josselin	ec27576a77	Add wiki information to all detectors	6 years ago
Josselin	bbf3d5a98e	Add size to elementary_type ... Improve reentrancy detectors (used set() to seedup computation)	6 years ago
Josselin	ed7afe0049	Re-activate Length Operator conversion	6 years ago
Josselin	547f7aadaa	Improve reentrancy heuristic (remove FP)	6 years ago
Josselin	2ac861f5e0	Improve reentrancy heuristic	6 years ago
Josselin	e9c9476ea4	Improve reentrancy benign	6 years ago
Josselin	5dc98b20b5	Improve read var info for Index/Member operatioln ... Fix minor bug in reentrancy read_before_write	6 years ago
Josselin	d7f5d4218f	Improve upgradable cli	6 years ago
Josselin	3c792a51f0	Create a cli command for upgradability: slither-check-upgradability ... Improve code	6 years ago
Josselin	a58168eece	Merge branch 'dev' into dev-upgradibility	6 years ago
Josselin	7d04cc049d	Refactor reentrancy detector: ... - Graph traversal is performed one time for all the variants (speedup) - Add better support for internal calls	6 years ago
Josselin	bec190e877	Update uninit storage pointer testcase	6 years ago
Josselin	00c38a0945	Use cache system for function.all_* properties	6 years ago
Josselin	1cdc34ec77	Fix incorrect state variable read in case of ReferenceVariable	6 years ago
Josselin	bcb3e5b5f0	Add partial support of abi.decode()	6 years ago
Josselin	22e3e2fd40	v0.5.1	6 years ago
Josselin	c12ab06e76	Merge branch 'dev' of github.com:trailofbits/slither into dev	6 years ago
Josselin	11958943db	Re-add contract.contract_not_inherited	6 years ago
Josselin	bfd3dbb945	API changes: ... - contract.constructor return the first constructor (following c3 lin.) - remove contract.contract_not_inherited - add contract.constructors, which returns all the constructors (including inherited) Add documentation on constructor call on contract's definition	6 years ago
Josselin	96106d56af	Merge branch 'dev' into dev-immediate-inheritance	6 years ago
David Pokora	f60c705c3b	Added a function to obtain non-inherited contracts, switched explicit base constructor to use it.	6 years ago