1059 Commits (2724365c60f85fabda01cb0b6bac0a4538ae3a09)

 

All Branches   

Search

Author	SHA1	Message	Date
Josselin	6c2923f254	Add constant folding visitor (fix #144)	6 years ago
Josselin	21579edef4	Merge branch 'dev' of github.com:trailofbits/slither into dev	6 years ago
Josselin	b7e3b9e8af	Merge branch 'master' into dev	6 years ago
David Pokora	48bb498b14	* Added c3-linearization-internal detector to help inheritance-graph highlight collisions via C3 linearization. ... * Updated shadowing-function-internal detector to ignore unimplemented functions. * Updated inheritance-graph printer to highlight collisions (shadowed + shadowing) instead of just shadowing.	6 years ago
David Pokora	fa3971b6a5	Fix shadowing-function detector (and add modifiers to the results).	6 years ago
Feist Josselin	6627ac0c0c	Merge pull request #159 from trailofbits/dev-windows-color ... Updates to colorization (disable colorization + windows support)	6 years ago
Feist Josselin	87f3be5f14	Merge pull request #162 from trailofbits/dev-inheritance ... Improve inheritance printers	6 years ago
David Pokora	9e4e37ccc3	Set colorization enabled by default (fixes default colorization enabling through script instead of CLI)	6 years ago
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