2647 Commits (b90531e75d4fd90fb65a5865239cdbd5eb5c1093)

 

All Branches   

Search

Author	SHA1	Message	Date
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
Emilio López	c0792068fe	Fix path confusion on Windows (#1065) ... This fixes an issue when running Slither on Windows. Some paths were being stringified as Windows-style (backslash) while the rest of the paths use POSIX-style (forward slash). This caused an issue when trying to match paths, and Slither would complain the dependency was not present. After this change, the paths for import directives are always expressed as POSIX-style paths when stringified. See the following issue for a complete error message: https://github.com/crytic/crytic-compile/issues/241	3 years ago
Feist Josselin	d41861e6cf	Add support for enhanced analyses through code comments (#1089) ... * Add support for enhanced analyses through code comments - Parse /// ... on variable declaration - Disable reentrancy for variables marked as 'sec:non-reentrant' - Create a new detector looking for wrong access control ('@custom:security write-protection="some_func")	3 years ago
Feist Josselin	81daa56f66	Improve import alias support (#1133) ... * Improve import alias - Fix #962 - Fix #1106 - Fix #1067	3 years ago
Feist Josselin	61bcec4468	Improve top level custom error parsing (#1131) ... * Improve top level function loopkup Fix #1116 * Improve top level custom error parsing Fix #1115	3 years ago
Josselin	8344524cd3	Merge branch 'dev'	3 years ago
alpharush	4b74b62f85	Remove results if functions have onlyProxy modifier (#1122) ... * unprotected-upgrade: filter results that have onlyProxy modifier	3 years ago
alpharush	4a6ba78aca	Prioritize ignore comment over exclude dependencies (#1120)	3 years ago
alpharush	bab44b77d2	reentrancy-no-eth: do not count staticcalls as reentrant (#1119) ... * reentrancy-no-eth: do not count staticcalls as reentrant * change can_reenter of low-level-calls to false for staticcall	3 years ago
Boyan MILANOV	c57e272d6c	Ignore private `__gap` variables in shadowing detectors (#1117) ... * Don't consider shadowing of private __gap variables in state and abstract shadowing detectors	3 years ago
Feist Josselin	dc0cec2d7c	Improve slither-flat (#1125) ... * Improve slither-flat - Better support of multiple compilation unit - Better support if there are multiple contracts with the same name - Better support of top level object (partially fix #955). The support for the local import strategy is missing	3 years ago
Feist Josselin	5fd5d4f6ce	Merge pull request #1126 from crytic/disable-embark ... Disable embark CI	3 years ago
Josselin	ad6bf13851	Disable embark CI	3 years ago
Feist Josselin	018d0df5e2	Merge pull request #1118 from crytic/dev-refactor-ast-parsing ... Refactor AST parsing testing	3 years ago
Feist Josselin	a2a2d7a1ea	Merge pull request #1111 from crytic/dev-slither-check-erc-4626-2612 ... Add support of ERC4626, ERC2612 for slither-check-erc	3 years ago
Josselin	43f101c0e0	pylint	3 years ago
Josselin	c18715d3e6	Refactor AST parsing	3 years ago
Simone	a2ae683cfe	Support of ERC4626, ERC2612 for slither-check-erc	3 years ago
Feist Josselin	7879251d0c	Merge pull request #1108 from crytic/fix-1081 ... Fix infinite loop in RTLO detector	3 years ago
Feist Josselin	452fa7c9a0	Merge pull request #1110 from crytic/fix-f-string ... Fix missing 'f' at beginning of f-string	3 years ago
Boyan-MILANOV	3d3fd3f9c0	Fix missing 'f' at beginning of f-string	3 years ago
Boyan-MILANOV	a5470586ac	Update RTLO detector test	3 years ago
Boyan-MILANOV	963ecc9bd9	Add test for RTLO infinite loop	3 years ago
Boyan-MILANOV	4148567d8d	Fix index update in RTLO detector	3 years ago
Feist Josselin	f11d8969f2	Merge pull request #1083 from crytic/0xalpharush-patch-1 ... Update bug_report.yml	3 years ago
Feist Josselin	dd91f770f6	Merge pull request #1094 from crytic/constant_folding_unary ... Support unary operation, MINUS_PRE, on constants	3 years ago
Feist Josselin	dcf5df9d51	Merge pull request #1107 from crytic/boyan/use-f-strings ... Use f-strings instead of old-style formatting	3 years ago
Boyan-MILANOV	b5f4e693c2	Also use f-strings in examples	3 years ago
Boyan-MILANOV	697616edae	More linting	3 years ago
Boyan-MILANOV	43fa42a120	Lint	3 years ago
Boyan-MILANOV	2fb4587302	Use f-strings instead of old-style formatting	3 years ago
alpharush	c15e212096	add test to CI	3 years ago
alpharush	2bca57220f	Update bug_report.yml	3 years ago
Feist Josselin	e270af517f	Merge pull request #1092 from ConstantinHvber/patch-1 ... Fixed infinite recursion in show_ignore_findings	3 years ago
Feist Josselin	7ec1aa81a0	Merge pull request #1104 from BradSwain/mutator-fixes ... Small slither-mutate fixes	3 years ago
Brad Swain	e193a501bc	fix MVIE name	3 years ago
Brad Swain	a112716868	fix KeyError when mutator does not produce any patches	3 years ago
Brad Swain	8861909309	rename FaulClass to FaultClass	3 years ago
alpharush	cac3f97e5a	Support unary operation, MINUS_PRE, on constants	3 years ago
ConstantinHvber	8fa323a023	Fixed infinite recursion in show_ignore_findings ... "show_ignore_findings" calls itself instead of returning a similar named variable. This causes an infinite recursion, resulting in an RecursionError when creating a Slither Object via the Python API	3 years ago
Josselin	4b188a0e17	Merge branch 'dev' into 0xalpharush-patch-1	3 years ago