slither

Commit Graph

Author	SHA1	Message	Date
Mickaël Schoentgen	bb0b04be2f	Fix deprecation warnings: invalid escape sequence (#1185 )	2 years ago
h00p30	a3fa7e6c2c	Support of ERC1363, ERC4524 for slither-check-erc (#1274 ) * fix typo in `--help` output for `--print` flag (#1149) * Support of ERC1363, ERC4524 for slither-check-erc (#1263) Co-authored-by: Erick <edag94@live.com>	2 years ago
alpharush	2e341aee9b	do not convert IRs with arguments to state var read (#1230 ) * do not convert IRs with arguments to state var read	2 years ago
Emilio López	8bead9347c	Unify path filtering across POSIX and Windows (#1196 ) * Unify path filtering across POSIX and Windows Path filtering is performed on absolute paths, which causes regexps to not work uniformly across OSes, due to the different path separator (forward vs backward slashes). This converts paths to POSIX-style before filtering, so that regexps can be written in a single style and work across all systems. Fixes: #1191 * Revert path behavior for "ignore comment" checks	2 years ago
Jean Cvllr	89852f0c6f	fix: anchor links to Vulnerability report docs (#1257 ) * fix: incorrect anchor links to docs	2 years ago
greenknot	c4c7d5674a	Dockerfile: upgrade from Ubuntu Bionic (18.04) to Focal (20.04) (#1242 ) Dockerfile: upgrade from Ubuntu Bionic (18.04) to Focal (20.04) (#1242)	2 years ago
Kyle Baker	6971f3005d	replace-initialize (#1239 )	2 years ago
alpharush	167b4c0394	handle tmp call to library's custom error (#1267 ) * handle tmp call to library's custom error	2 years ago
alpharush	98e6d8c13e	add support for enum max/min members, fix min member on elementary (#1276 )	2 years ago
h00p30	63a154fbb0	Remove unnecessary Check event (#1277 ) * fix typo in `--help` output for `--print` flag (#1149) * fix: #1275 Co-authored-by: Erick <edag94@live.com>	2 years ago
Emilio López	ad60e5e089	pip-audit: Use our official action (#1243 ) Replaces the manual use here with our official GitHub Action.	2 years ago
Emilio López	ce0a4006b9	Disable coloring if output is not a terminal, fix Windows tests (#1244 ) * Disable coloring if output is not a terminal Color escape codes are most likely not expected if piping the output of slither into a file or other tool. Check if stdout is a tty before enabling colored output.	2 years ago
alpharush	d0a4f5595d	add up to 0.8.15 for ast tests (#1268 )	2 years ago
Mathis	6a2e1e0819	Do not fail with no results and sarif output (#1229 ) Close #1228	2 years ago
Cosmos	3416d05d16	fix wrong argument annotation (#1233 )	2 years ago
Josselin Feist	168e96298f	Merge branch 'master' into dev	2 years ago
Mickaël Schoentgen	75f858d4bf	Optimization: use a more efficient regexp for hexadecimal check (#1200 ) Optimization: use a more efficient regexp for hexadecimal check	3 years ago
Henrik Brodin	fdf346f530	Hbrodin/ssa array tests (#1205 ) * Initial array test cases. Not asserting anything yet. * Test cases for SSA IR related to arrays	3 years ago
Josselin	fba37f2c0c	Merge branch 'dev' of github.com:crytic/slither into dev	3 years ago
Feist Josselin	33922541bb	Update README (#1207 ) * Update README.md	3 years ago
Josselin	5a151479f2	Merge branch 'master' into dev	3 years ago
Mickaël Schoentgen	39f558504a	Optimization: use `str.startswith(tuple)`, and `str.endswith(tuple)`, when revelant (#1186 )	3 years ago
alpharush	d5d95feee3	do not warn of digit count if checksummed address (#1193 )	3 years ago
Feist Josselin	488dbaec1e	Update README.md	3 years ago
Feist Josselin	c1b5a1ee50	Update README.md	3 years ago
Feist Josselin	562af10616	Update README.md	3 years ago
Feist Josselin	8dfa8033a1	Document --checklist flag (#1190 ) Make the --checklist flag public Improve documentation of the related flags	3 years ago
Josselin	8caf5f70be	Merge branch 'master' into dev	3 years ago
Josselin	6e350e7533	Merge branch 'dev' of github.com:crytic/slither into dev	3 years ago
alpharush	f131242fb2	Update README.md (#1181 ) * Update README.md	3 years ago
alpharush	2c463abdb0	feat: add arbitrary-send-erc20 and arbitrary-send-erc20-permit detectors (#1025 ) Add arbitrary-send-erc20 and arbitrary-send-erc20-permit detectors	3 years ago
alpharush	4d1bcc6a5b	fix variable order printer by excluding immutables (#1184 )	3 years ago
Josselin	f962d6c4ee	0.8.3	3 years ago
Josselin	07deae97b9	Merge branch 'dev' of github.com:crytic/slither into dev	3 years ago
Feist Josselin	e94e02e32d	Update to crytic-compile 0.2.3 (#1179 ) * Update to crytic-compile 0.2.3	3 years ago
Josselin	e5c35def93	Update to crytic-compile 0.2.3	3 years ago
alpharush	ac1cda784e	Support ternary operator in index access (#1162 ) * Support ternary operator in index access * Minor Co-authored-by: Josselin <josselin@trailofbits.com>	3 years ago
alpharush	e324c9087b	WIP: feature to read contract storage data (#968 ) add slither-read-storage	3 years ago
Feist Josselin	a08dba0fb1	Use pytest 7.0.1 (#1177 ) * Use pytest 7.0.1 & update importlib_metadata typing_extensions in the CI	3 years ago
Evan Sultanik	75a9766c35	Return Function.name to handle special function types for which Function._name == None (#1170 ) (#1171 )	3 years ago
feliam	e3b75c003e	Print all entry points not reaching whenNotPaused. Fix - 1114 (#1128 ) New printer pausable: print what functions use whenNotPaused. Fix #1114 Co-authored-by: Josselin <josselin@trailofbits.com>	3 years ago
Kevin Ingersoll	597ac46195	fix shell rendering in bug report template (#1167 ) The "Relevant log output" wasn't rendering as a code snippet due to some extra indentation	3 years ago
Feist Josselin	741fc06ea8	Improve function lookup for bytes (#1163 ) * Improve function lookup for bytes * Update dapp test * black	3 years ago
Henrik Brodin	644f5e59a9	Test cases for SSA IR (#1101 ) * Test cases for SSA IR generation Attempts to verify a few basic properties of the generated SSA IR. Currently these tests fail because of IR that seems to be incorrect. Co-authored-by: Emilio López <2642849+elopez@users.noreply.github.com>	3 years ago
Feist Josselin	3af6616281	Fix custom error signature lookback (#1156 )	3 years ago
Feist Josselin	7dde5feb24	Update to gh super linter 4.9.2 + linters (#1157 ) * Update to gh super linter 4.9.2 + linters This PR cleanup our CI to use a fix version of gh super linter, to avoid breaking the CI on new super linter release. Additionally it update our linters, the new versions: - pylint 2.13.4 - black 22.3.0 Similar to https://github.com/crytic/crytic-compile/pull/252 Additionally, update to use crytic-compile@master	3 years ago
Emilio López	114983c17d	Windows CI for Slither (#1137 ) * workflows: parser: use solc-select from pip The hardcoded, manually-installed version is out of date. This updates the workflow to install directly from pip now that it is available there. * workflows: parser: Run tests also on Windows * workflows: parser: bump solc-select to >=v1.0.0b1 This version introduces Windows support. * workflows: parser: FIXME: install patched crytic-compile * workflows: features: enable Windows runs This enables runs on windows-2022 and updates solc-select to support running on Windows. * workflows: features: FIXME: install patched crytic-compile * workflows: detectors: enable Windows runs This enables runs on windows-2022 and updates solc-select to support running on Windows. * workflows: detectors, features, parser: disable fail-fast Disable fail-fast so failures in one platform do not hide failures in the other OS. * tests: detectors: adjust GENERIC_PATH replacement for Windows Backslashes are escaped in the string representation, so we need to double them before replacing. Also change generic path to a constant string to avoid it being converted to "\GENERIC_PATH" in Windows and getting an invalid escape error from the JSON decoder later on. * tests: use lf endings for test code If autocrlf is enabled on Windows, it will rewrite solc code with CRLF file endings and break tests that depend on byte offsets in the code files. * workflows: detectors: FIXME: install patched crytic-compile * workflows: ci: enable Windows runs This enables runs on windows-2022 and updates solc-select to support running on Windows. Some tests with Linux requirements are excluded. * workflows: ci: FIXME: install patched crytic-compile * workflows: : update actions/setup-python to v3 v1 does not install Python correctly on Windows. While at it, update all instances to v3. workflows: ci: add msys2 tools to path * workflows: ci: disable broken Windows workflows * workflows: apply linter fixes * workflows: ci: enable dapp test * tests: dapp: fix test * core: normalize paths on POSIX style * workflows: ci: enable printers tests on Windows	3 years ago
Bo	380f41937c	fix typo in output (#1141 ) * fix typo in constant_pragma's output	3 years ago
Feist Josselin	5863c30747	Add support for user defined types (#1135 ) * Add support for user defined types - Create a new core object TypeAlias (top level or contract) - Add support for wrap/unwrap - Add tests	3 years ago
Feist Josselin	496c8e1910	Add fallback/receive info to echidna printer (#1132 )	3 years ago

1 2 3 4 5 ...

2573 Commits (bb0b04be2f95dca78f1722fac3662edd6642efe2) All Branches Search

2573 Commits (bb0b04be2f95dca78f1722fac3662edd6642efe2)

All Branches