1170 Commits (595e8b982862e7fa8f8580a2fd7aafc689d297a1)

 

All Branches   

Search

Author	SHA1	Message	Date
David Pokora	759368cb6e	Improved rtlo element source mapping	6 years ago
David Pokora	1e1b736eca	-Added function to add generic/other source mapped elements to JSON results. ... -Added naive element to JSON results for rtlo detector.	6 years ago
rajeevgopalakrishna	0e078d0d5d	Fixes false alert in naming-convention detector on empty string parameter name.	6 years ago
Feist Josselin	4fe2eb169e	Merge pull request #252 from crytic/dev-fix-utf8lines ... [WIP] Fix source mapping where utf8 char length != byte length	6 years ago
Feist Josselin	9136391c14	Merge pull request #254 from crytic/dev-add-state-variables-ordered ... API: add contract.state_variables_ordered	6 years ago
Josselin	6d86220a53	Improve exceptions catching	6 years ago
rajeevgopalakrishna	9f49a95325	Adds check for function parameter write to prevent reporting public -> external visibility change.	6 years ago
Josselin	00ee4637b8	Fix incorrect highlevel call lookup	6 years ago
Josselin	29e8a3a905	API add: contract.state_variables_ordered: keep variables declaration order + shadowed variables ... Update variable order printer to use state_variables_ordered Fix #250	6 years ago
David Pokora	c1fc109e77	Added test for source mapping. Fixed total source length calculation	6 years ago
David Pokora	79a4a10304	Fixed a source mapping issue with utf8 characters where length != byte length	6 years ago
Josselin	a97903836c	Fix incorrect source mapping on if/while/for condition (close #245)	6 years ago
Feist Josselin	c81c32d31c	Merge pull request #213 from crytic/dev-fix-c3-linearalization ... Remove share of functions and modifiers instances	6 years ago
Josselin	6a473c7e87	Minor	6 years ago
Josselin	9439ed65e2	Merge branch 'dev' into dev-fix-c3-linearalization ... Conflicts: slither/core/declarations/structure.py slither/core/variables/state_variable.py slither/detectors/abstract_detector.py slither/detectors/attributes/const_functions.py slither/detectors/erc/incorrect_erc20_interface.py slither/detectors/erc/unindexed_event_parameters.py slither/detectors/naming_convention/naming_convention.py slither/detectors/operations/unused_return_values.py slither/detectors/statements/calls_in_loop.py slither/detectors/statements/incorrect_strict_equality.py slither/detectors/statements/tx_origin.py slither/detectors/variables/possible_const_state_variables.py slither/detectors/variables/unused_state_variables.py slither/slithir/convert.py	6 years ago
Feist Josselin	66c1b53b5a	Merge pull request #237 from crytic/dev-slither-changes-for-slither-format-new ... slither core/parsing changes required for slither-format	6 years ago
Josselin	7cadf980b8	v0.6.4	6 years ago
Josselin	29fb9371cd	Update to crytic-compile 0.1.1	6 years ago
Feist Josselin	ede3765dba	Merge pull request #242 from crytic/dev-fix-regex-sourceunit ... Fix regex in source unit parsing (space bug)	6 years ago
Josselin	a8a399b809	Fix regex in source unit parsing (space bug)	6 years ago
Feist Josselin	7c7061a86c	Merge pull request #241 from crytic/dev-support-type-contract ... Add support for type(X) operation (creationCode, runtimeCode, name)	6 years ago
Josselin	774fcb5d27	Add support for type(X) operation (creationCode, runtimeCode, name)	6 years ago
Josselin	85045f77b0	Improve errors handling	6 years ago
Josselin	8ec1f92d90	Improve human summary printer	6 years ago
rajeevgopalakrishna	1cbdd0f33a	Changes parameters_src and returns_src to SourceMapping objects instead of raw source text.	6 years ago
rajeevgopalakrishna	cf20da7bd5	Removed get_source_event/var_declaration from contract and function. Use source_mapping of variables/events directly.	6 years ago
Feist Josselin	c017f7aed2	Merge pull request #202 from crytic/dev-simil ... Similarity code detection tool	6 years ago
Josselin	7e2ed2bf99	Fix incorrect wiki link	6 years ago
Feist Josselin	d01ab5937b	Merge pull request #240 from crytic/dev-solc-version-fix ... Improve solc-version detector	6 years ago
ggrieco-tob	a9466230a8	final fixes	6 years ago
Josselin	9d27edc5d2	Update etherscan test	6 years ago
Josselin	140ea6fd0b	Remove Solidity dependencies	6 years ago
Josselin	2047ca6e88	Minor improvements in slither-similar: ... - Fix import in utils.similarity.encore - Improve slither-similari help - Use contract.functions_not_inherited rather than contracts.functions + if function.contract == contract	6 years ago
Josselin	6ec7814afb	Improve solc-version detector (fix 189)	6 years ago
Josselin	6834d4c787	Improve type propagation for variable acceded through base contract name	6 years ago
Feist Josselin	2c1063b3bf	Merge pull request #239 from crytic/dev-json-improvements ... Json modifications	6 years ago
Josselin	6e2194bea4	Json modifications: ... - results: -> results/detectors: - Add type_specific_fields dictionary to hold all the type specific items (parent/signature/...)	6 years ago
ggrieco-tob	d3f9816999	more fixes	6 years ago
ggrieco-tob	7f39c77219	improved module loading	6 years ago
ggrieco-tob	06d70856bd	fix	6 years ago
ggrieco-tob	089cb4a9e7	fixed test	6 years ago
Josselin	42d6e974bf	Temporary fix for POP function	6 years ago
ggrieco-tob	802ab4edb2	fixes	6 years ago
Josselin	d981e9a0a7	Improve source_mapping parsing for old solcs	6 years ago
rajeevgopalakrishna	e302598705	Isolating slither core/parsing changes required for slither-format.	6 years ago
ggrieco-tob	ee706bf5a9	fixes and improvements in slither-simil	6 years ago
ggrieco-tob	6c613dde8c	fixed formating	6 years ago
Feist Josselin	9341166e9a	Merge pull request #231 from crytic/dev-utils-crytic-compile ... Use crytic-compile options in utils	6 years ago
ggrieco-tob	1752a1abfb	added crytic-compile options into the slither-simil command line	6 years ago
Josselin	843802ff66	Use crytic-compile options in tools	6 years ago