Static Analyzer for Solidity

ethereumsoliditystatic-analysis

You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

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
..
ci_test.sh	Refactor regression tests:	4 years ago
ci_test_cli.sh	Improvements	4 years ago
ci_test_dapp.sh	Windows CI for Slither (#1137)	3 years ago
ci_test_data_dependency.sh	Refactor regression tests:	4 years ago
ci_test_embark.sh	Refactor regression tests:	4 years ago
ci_test_erc.sh	Improvements	4 years ago
ci_test_etherlime.sh	Update etherlime test	4 years ago
ci_test_etherscan.sh	Refactor regression tests:	4 years ago
ci_test_find_paths.sh	Improvements	4 years ago
ci_test_flat.sh	minor	4 years ago
ci_test_kspec.sh	Improvements	4 years ago
ci_test_printers.sh	Minor	4 years ago
ci_test_prop.sh	Refactor regression tests:	4 years ago
ci_test_simil.sh	Improvements	4 years ago
ci_test_slither_config.sh	Refactor regression tests:	4 years ago
ci_test_truffle.sh	Update ci_test_truffle.sh	4 years ago
ci_test_upgradability.sh	Improvements	4 years ago
json_diff.py	Fix all pylint issues	4 years ago