1037 Commits (62f5c6756c860f36a2a20ce83821fe68c89dcd97)

 

All Branches   

Search

Author	SHA1	Message	Date
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
Gilles de Bordeaux	ec73250981	Added the new “too-many-digits” detector	6 years ago
David Pokora	7238e9b033	-Relaxed erc20-interface detector to report incorrect function signatures even if the function was not declared in that contract immediately ... -Created erc721-interface detector, similar to erc20-interface.	6 years ago
David Pokora	8d2a2ce09c	Fix false positives as a result of ERC721 interfaces appearing similar to ERC20.	6 years ago
Feist Josselin	04c147f7e5	Merge pull request #211 from crytic/dev-functionid-fix ... Fix functionid printer to account for some getters taking input	6 years ago
Josselin	e66db801a2	function-ids printer: fix incorrect type in case of multi-dim arrays	6 years ago
David Pokora	d9d960fa9c	Fix functionid printer to account for getters having parameters (key is input in mappings, uint256 index is input for arrays).	6 years ago
Feist Josselin	ad0f3cd80c	Merge pull request #204 from crytic/dev-sourcemapping-columns ... Added starting/ending column numbers to source mapping	6 years ago
Feist Josselin	2495ba3ed2	Merge pull request #208 from crytic/dev-fix-solc-ast-flag ... Re-add --solc-ast	6 years ago
Josselin	638edb2a1c	Improve travis_test_cli.sh	6 years ago
Josselin	97b4f5cc7c	Add 3 new type of tests for travis: ... - tests_cli: tests some of the cli flags - test_pritners: call all the printers - test_slither_config: test the --config flag Additionally: - "all" can be selected for printers (all the printers are then run) - 'ignore_return_value' can be set in the config file	6 years ago
Josselin	8d0297f604	Fix travis path	6 years ago
Josselin	a58da24e86	Update travis test	6 years ago
Josselin	852856a5df	Merge branch 'master' into dev-sourcemapping-columns	6 years ago
Josselin	08762a0275	Improve travis test	6 years ago
Josselin	12cdcc2e87	Re-add --solc-ast	6 years ago
Josselin	dd8dabeb02	v0.6.3	6 years ago
Josselin	7e7910fa9a	Update README.md	6 years ago
Feist Josselin	747b2a090c	Merge pull request #199 from crytic/dev-crytic-compile ... [WIP] use crytic-compile	6 years ago
Josselin	0f7b75cea9	Use crytic-compile from pypi	6 years ago