2748 Commits (aacb993203cc518da480550a35da923c4cd409a8)

 

All Branches   

Search

Author	SHA1	Message	Date
Tadashi	d15641233d	Increased tests coverage	3 years ago
Tadashi	bc0cf5e084	Removed detection of mapping type	3 years ago
Tadashi	6a4b97b7a7	Improved tests	3 years ago
Tadashi	b6103dd015	Linting	3 years ago
Tadashi	8ee4150def	Fix: skip functions without args	3 years ago
Tadashi	8eede9d95f	Detect if function has at least one memory arg	3 years ago
Tadashi	e07cd66024	Apply suggestions from code review ... Co-authored-by: alpharush <0xalpharush@protonmail.com>	3 years ago
Tadashi	e52af99cf0	Added new tests and updated JSON artifacts	3 years ago
Tadashi	be333e97af	WIP: Fixed code for detecting solc version	3 years ago
Tadashi	67211303cb	WIP: Filter external visibility recommendation for public functions to solc < 0.6.9	3 years ago
Tadashi	fc574d2c04	Merge branch 'crytic:dev' into dev	3 years ago
alpharush	18483c46d2	resolve top level var used as yul identifiers	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
feliam	bd56ec1e32	Merge branch 'dev' into dev-isdynamic	3 years ago
feliam	ab53a0821f	linted	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
feliam	9e9f0d9c26	WIP/PoC type.isdynamic	3 years ago
Tadashi	c878a8fc25	Added parameters that should be changed in info	3 years ago
Tadashi	d28df4df3f	Fixed wrong import	3 years ago
Tadashi	f295bf35f8	Increased tests coverage	3 years ago
Tadashi	767094fff1	Removed detection of mapping type	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
Tadashi	36b6476c32	Merge branch 'crytic:dev' into dev	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
Tadashi	166eaed761	Improved tests	3 years ago
Tadashi	b31c73de3d	Linting	3 years ago
Tadashi	2bf8461099	Fix: skip functions without args	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
Tadashi	b5db35e7f6	Detect if function has at least one memory arg	3 years ago
Tadashi	d0fff8ca9a	Apply suggestions from code review ... Co-authored-by: alpharush <0xalpharush@protonmail.com>	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
Tadashi	f4fd495f6b	Merge branch 'dev' into dev	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
Alexander Remie	a8a584a0bf	add oz version info to hash and contract names	3 years ago
Alexander Remie	666e8136c3	allow checking contract source against known OZ source hashes	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