213 Commits (1576e00cc9c3657ef01a78de44a109095cb64d97)

Author	SHA1	Message	Date
Josselin Feist	fc6178ff86	Minor	2 years ago
Josselin Feist	e0a0679ff7	Fix spellcheck error	2 years ago
Josselin Feist	d04e6cf8ae	Minor	2 years ago
Josselin Feist	1592cb376c	Update dapp test	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	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	d3eea7b64e	bump to python 3.8	3 years ago
Feist Josselin	741fc06ea8	Improve function lookup for bytes (#1163) ... * Improve function lookup for bytes * Update dapp test * black	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
Josselin	f5f456ecdd	Minor	4 years ago
Josselin	8bea597c4d	Minor	4 years ago
Josselin	eaaf27df6b	Fix printer test	4 years ago
Josselin	650c4a8232	Fix variable order printer ... Improve tests on printers	4 years ago
Josselin	c183a369cc	Minor	4 years ago
Josselin	f9980184c2	Update etherlime test	4 years ago
Josselin	b89e290e04	minor	4 years ago
Josselin	346b759c9b	Add slither-flat to the CI	4 years ago
Josselin	13e6939a93	Improvements	4 years ago
Feist Josselin	fe7a9dfc91	Update ci_test_truffle.sh	4 years ago
Feist Josselin	38b1c8fbd3	Update ci_test_etherlime.sh	4 years ago
Josselin	243e162c93	Fix ci	4 years ago
Josselin	2ee2792064	Refactor detectors tests to use pytest	4 years ago
Josselin	b8405082e9	Use pytest for ast parsing tests (WIP)	4 years ago
samczsun	2af66130f6	parser testing	4 years ago
Josselin	70e609ec28	Fix all pylint issues	4 years ago
Josselin	3f706061e4	Run Black	4 years ago
Josselin	351de6bd31	Refactor regression tests: ... - Rename travis_ to ci_ - Move shared code to scripts/ci_tests.sh - Rename _4 /_5 to detectors_4 / detectors_5 - Rename generation scripts - Create solidity 6 / 7 scripts (but there is no test for now) - Use solc-select - Update CONTRIBUTING.md guidelines	4 years ago
Feist Josselin	2d615314fd	Update travis_test_etherlime.sh	4 years ago
Josselin	8f5658042d	solc-version: update embark test	4 years ago
Josselin	ff0d820da6	solc-version: ... - Add check on exact compiler version sued - Improve truffle test	4 years ago
Emilio López	3f2527f227	linting: Solve shell linting errors	4 years ago
Josselin	2b5f3099dd	Update tests	5 years ago
Josselin	b625e9211b	Create MyPrettyTable: wrapper around PrettyTable to allow json seralization	5 years ago
Josselin	2c429e6d23	Add slither-prop test	5 years ago
Josselin	6c7ce89db2	Refactor reentrancy to show where are the calls/write to variables in internal calls (fix #412)	5 years ago
Josselin	9a489030f0	Update Dapp test	5 years ago
Josselin	7bab71aff2	Fix dapp regression tests	5 years ago
Josselin	18e971ef64	Fix CI (close #402)	5 years ago
Feist Josselin	7f654dd66f	Update travis_test_truffle.sh	5 years ago
Josselin	48e22a89f3	Add missing test	5 years ago
Josselin	29e5aed70e	solc-version detector: ... - Recommand 0.5.11 instead of 0.5.3 - Classify 0.5.14 as a buggy version	5 years ago
Paul Kehrer	e0c30655da	no more travisci	5 years ago
Josselin	146cc446b3	Update etherscan test	5 years ago
Paul Kehrer	65bcacab1c	fix dapp	5 years ago
Vlad Silviu Farcas	2440b95fe8	Fix tests	5 years ago
Josselin	1d067def92	Fix FPs in reentrancy-events	5 years ago
Josselin	51e7a149f6	ReentrancyEvent: improve output	5 years ago
Josselin	1bb72898f6	Reentrancies detectors: ... - Clean Reentrancy based class - Add ReentrancyEvent to detect reentrancies leading to out of order Events - Add ReentrancyNoGas to detect reentrancies based on send/transfer Fix #236	5 years ago
Josselin	b574ad753e	EVM printer: fix bug + improve travis test	5 years ago
Josselin	4074bd36d2	Improve travis test	5 years ago