656 Commits (b469b05d84ccf9c9ea9679852f7612f51cf8f6b7)

 

All Branches   

Search

Author	SHA1	Message	Date
Omidiora Samuel	5799bbe09e	added complex func	6 years ago
Omidiora Samuel	cc7ca46d60	added complex func	6 years ago
Josselin	498ff5c7bb	Merge branch 'cryptomental-feature/rewrite-uninitialized-state-with-ir' into dev	6 years ago
Josselin	dece5ab023	UninitializedStateVarsDetection: Fix incorrect storage parameters add	6 years ago
Feist Josselin	c6afe6a8d6	Merge branch 'dev' into feature/rewrite-uninitialized-state-with-ir	6 years ago
Josselin	5e064be1e6	Update readme ... Add printer to markdown generation	6 years ago
Josselin	a8de622f1e	Merge branch 'master' into dev	6 years ago
Josselin	a9448f0a13	Merge branch 'master' into dev	6 years ago
Feist Josselin	b664ab0b2c	Update README.md	6 years ago
Josselin	316e2f9f41	t Merge branch 'redshark1802-feature/cli-improvements'	6 years ago
Josselin	d3aa4e069b	- Group commands ... - Use PrettyTable for list-detectors/list-printers - Remove default printer - Remove --output	6 years ago
Josselin	2f1b315809	Merge branch 'feature/cli-improvements' of https://github.com/redshark1802/slither into redshark1802-feature/cli-improvements	6 years ago
redshark1802	f6ed3ba68d	cli improvements ... - help is printed when no arguments are supplied - rework detector arguments: detectors are now a comma-separated list, defaults to all - rework printer arguments: printers are now a comma-separated list, defaults to contract-summary - add version command - add --list-detectors and --list-printers - update README	6 years ago
Cryptomental	6afb9101e9	travis_test: Increase detect unitialized state findings to three. ... The test case was extended with new edge cases. Refs: https://github.com/trailofbits/slither/issues/30	6 years ago
Cryptomental	16e20508c0	detectors: Use new API for state vars written in uninitialized state detector. ... Refs: https://github.com/trailofbits/slither/issues/30	6 years ago
Josselin	21ff89870c	NamingConvention: Check if parameters are used and if state variables are private	6 years ago
Feist Josselin	3974f01b89	Merge pull request #56 from evgeniuz/master ... implementation of call graph printer	6 years ago
Evgeniy Filatov	d50b0f01f3	improved support for external calls	6 years ago
Evgeniy Filatov	4a6d8f3495	implemented external call support, refactored code, added image example	6 years ago
Evgeniy Filatov	5bef2bb1b0	started implementation of call graph printer	6 years ago
Feist Josselin	b81b137481	Merge branch 'dev' into feature/rewrite-uninitialized-state-with-ir	6 years ago
Feist Josselin	7e2b9e3402	Merge pull request #58 from trailofbits/dev-refactor-nodes-info ... API changes	6 years ago
Feist Josselin	184c813464	Merge pull request #54 from trailofbits/dev-compact-ast ... Support of compact AST & Truffle - On a truffle directory run - truffle compile - slither . - To run slither on the compact AST mode, use --compact-ast	6 years ago
Josselin	b031dee943	Update travis to test for normal AST and compact AST	6 years ago
Josselin	bcc528b7e5	Merge branch 'dev' into dev-compact-ast	6 years ago
Josselin	f973d86345	Re-add suicidal unit test	6 years ago
Josselin	e18f9437c2	Fix typo	6 years ago
Josselin	a17e49aa0d	Add hidden --compact-ast cli option	6 years ago
Josselin	6de9eedbd1	Partial fix on loop break recovery	6 years ago
Josselin	382bc9169d	Merge branch 'dev' into dev-compact-ast	6 years ago
Josselin	a59d812635	Apply early analysis of cst state variables	6 years ago
Josselin	c2c3e353e6	Merge branch 'dev' into dev-compact-ast	6 years ago
Josselin	16aa6c5ac5	Fix incorrect sig on function type	6 years ago
Josselin	3e8c00afb7	Merge branch 'dev' into dev-compact-ast	6 years ago
Josselin	f03fa7dfbd	Fix incorrect ternary transformation on library	6 years ago
Josselin	1f860c64ff	Merge branch 'dev' into dev-compact-ast	6 years ago
Josselin	62002aa14d	Fix incorrect loop recovery	6 years ago
Josselin	b48fa05617	Merge branch 'dev' into dev-compact-ast	6 years ago
Josselin	a6c325d40c	Fix on ReferenceVariable.points_to	6 years ago
Josselin	f44fda030a	compact ast: Fix incorrect Return Statement parsing	6 years ago
Josselin	9a1fd8d1cd	Merge branch 'dev' into dev-compact-ast	6 years ago
Josselin	90b2f6ed8d	Compact AST: Better support for state mutability	6 years ago
Josselin	edf4f37cf8	Improve high_level_calls documentation	6 years ago
Josselin	5c1e405969	API changes: ... - use slihtIR for node.state_vars read/write and calls - remove external_calls of node/function, split into node.low_level_calls/high_level_calls	6 years ago
Josselin	c6b90f262a	SlithIR: dont remove last IR for optimization, as it may be used by RETURN statement	6 years ago
Josselin	69020a2dfa	Add initial Truffle support	6 years ago
Josselin	e33da127d0	Compact AST: Various bugfixes	6 years ago
Josselin	5b877ddceb	Allow reference to other SolidityVariableComposed	6 years ago
Cryptomental	c307d1b0d0	detectors: Rewrite unitialized state variables with IR. ... Refs: https://github.com/trailofbits/slither/issues/30	6 years ago
Josselin	7b5ec35ce5	Merge branch 'dev' into dev-compact-ast	6 years ago