1056 Commits (2c987ad250c3107323a55c008dd21efd6cf9761d)

 

All Branches   

Search

Author	SHA1	Message	Date
Josselin	1970b4448f	Int conversion: support float declaration	6 years ago
Josselin	6b9f219951	Allow early conversion to address	6 years ago
Josselin	62b94d71a7	Improve int conversion (0X)	6 years ago
David Pokora	3f208a6ab7	Split unused-return findings into separate results	6 years ago
David Pokora	3ef17d27d9	Reprioritized elements in locked-ether for most significant source mapping	6 years ago
David Pokora	d34570afc1	Updated shadowing-local to output events as events, instead of functions.	6 years ago
David Pokora	c449d99f22	Merge branch 'master' into dev-json-additionalfields	6 years ago
Josselin	5fd3821a0e	Minor	6 years ago
David Pokora	19271a0710	-Updated node JSON type to "node" from "expression" ... -Appending of parent function to node element types for JSON	6 years ago
David Pokora	472608fa5c	Standardized reentrancy-eth + reentrancy-benign + reentrancy-no-eth detector output (use of provided json functions)	6 years ago
Josselin	024ddef7f2	Incorrect ERC detectors: iterate over contracts_derived to avoid dupplicate	6 years ago
Josselin	0424889d0a	Merge branch 'dev' of github.com:trailofbits/slither into dev	6 years ago
Josselin	8a8424ea63	Improve type deduction of Literal (old solc)	6 years ago
Josselin	2c63abe9a8	Update expected json	6 years ago
Josselin	f901629a16	Use same json format output for file and stdout ... Improve --json helper Use logging.CRITICAL as an argument of logging.disable	6 years ago
David Pokora	148d3e51ed	-Updated erc20-indexed to use event json function instead of function. ... -Split incorrect-equality + unused-state findings into separate results	6 years ago
David Pokora	899b46b75d	Split constable-states and erc20-indexed findings into separate results	6 years ago
David Pokora	cc74512184	Quick bug fix for lines which were not committed.	6 years ago
David Pokora	49273ca6ef	Adjusted approach to make use of new exception scheme. Encapsulates JSON output with success, error, and results fields regardless of error or success. Disables logging globally.	6 years ago
David Pokora	a3506b9d4c	Merge remote-tracking branch 'origin/dev' into dev-json-stdout	6 years ago
David Pokora	be7b0de41d	Standardized pragma detector output	6 years ago
David Pokora	04ff692b0c	-Added method to output "other" element type which has a source mapping but does not conform to other known types (used for pragma statements). ... -Standardized solc-version JSON output (split up results + use of standard output methods) -Standardized complex-function JSON output (use of standard output methods)	6 years ago
David Pokora	625bff8ca2	Standardized constant-function detector output (all elements should have a source mapping, info moved to additional_fields field).	6 years ago
Feist Josselin	7752999de6	Merge pull request #229 from crytic/dev-exception ... Improve Exception handling	6 years ago
Feist Josselin	49df90a3b7	Merge branch 'dev' into dev-exception	6 years ago
Feist Josselin	f8244eb1b6	Merge pull request #228 from crytic/dev-human-summary-printer ... Improve the human summary printer	6 years ago
Josselin	d10c6fbced	Improve Exception handling	6 years ago
Josselin	e6c9d186e3	Remove optional ERC20 functions	6 years ago
Josselin	0beb48146a	Update travis install	6 years ago
Josselin	3876b2b479	Improvements of the human summary printer. ... Several of the new features are integrated within slither.core or slither.utils - Add state_variable.signature function(s) to translate a state variable to a function signature - Add several contract.is_erc_* methods - Add contract.is_from_dependency that checks if the contract is from a dependency - Add utils.erc with standard ERCs signatuers - Add utils.standard_libraries with standard libraries Several of these methods require crytic_compile 3ed5160924d08a4d3c86d7cddf9f1e17dfe51808	6 years ago
Feist Josselin	f0cb66dd2b	Merge pull request #215 from crytic/dev-fp-erc20-interface ... Fix FP in erc20-interface as a result of ERC721 similarities	6 years ago
Josselin	1d4d681e2c	Add missing files	6 years ago
Josselin	5e1eb42311	ERC20/721 detector: move is_possible_* function to contract.has_an_erc*_function ... Add contract.is_erc721	6 years ago
Josselin	c7509c7e5e	Merge branch 'dev' into dev-fp-erc20-interface	6 years ago
Josselin	cda075ac2f	Minor	6 years ago
Josselin	d1dbef483d	Improve too many digits detector. Fix travis test	6 years ago
Josselin	8c9bf94ce5	Merge branch 'dev' into GillesdeB-dev-too-many-digits	6 years ago
Josselin	152f62e57d	Merge branch 'dev-too-many-digits' of https://github.com/GillesdeB/slither into GillesdeB-dev-too-many-digits	6 years ago
Feist Josselin	96c128230b	Merge pull request #227 from crytic/dev-fix-types ... Improve conversion of Literals	6 years ago
Josselin	fbd1ddb5fc	- Improve literals parsing and Constant conversion: ... - add bool type to constant - convert integer using 'e' (1e10) - convert constant uint -> int when possible - Api added: - Constant.original_value: str version of the constant expression - Structure.elems_ordered: keep original structure declaration order	6 years ago
David Pokora	89b0dd417e	-Added `additional_fields` field to JSON result + element output ... -Added event/struct/enum JSON output functions -Cleaned up node json output -Standardized naming-convention detector output	6 years ago
David Pokora	fed3e1aa5c	Merge remote-tracking branch 'origin/master' into dev-json-stdout	6 years ago
Josselin	0fd77f9042	Merge branch 'master' of github.com:trailofbits/slither	6 years ago
David Pokora	2189e6dadd	Added simplistic switch for json output to stdout	6 years ago
Feist Josselin	02ce42a280	Merge pull request #219 from crytic/dev-fix-linecolumncalculations ... Fix for regression in line/column number calculations	6 years ago
Josselin	b209758a7d	Add slither._add_source_code function	6 years ago
David Pokora	26609db2fd	Fixes an regression issue with line/column number calculations (resolves #218)	6 years ago
Josselin	0d4f42811a	Fix bugs in call graph printer	6 years ago
Josselin	b6af826a83	Improve travis tests: ... - export json with indent=2 - export .txt file with direct slither output content	6 years ago
Gilles de Bordeaux	7e56501a39	Added a test for “too-many-digits” detector	6 years ago