2977 Commits (ae5bc478f706b37a7823f9c656a645ef59fe91c8)

 

All Branches   

Search

Author	SHA1	Message	Date
Pascal Marco Caversaccio	1c1b471159	remove output file in any case ... Signed-off-by: Pascal Marco Caversaccio <pascal.caversaccio@hotmail.ch>	2 years ago
Pascal Marco Caversaccio	0673f89e36	remove CI test - everything works now ... Signed-off-by: Pascal Marco Caversaccio <pascal.caversaccio@hotmail.ch>	2 years ago
Pascal Marco Caversaccio	25886e2e0d	missing format identifier ... Signed-off-by: Pascal Marco Caversaccio <pascal.caversaccio@hotmail.ch>	2 years ago
Pascal Marco Caversaccio	11af692137	CI test ... Signed-off-by: Pascal Marco Caversaccio <pascal.caversaccio@hotmail.ch>	2 years ago
Pascal Marco Caversaccio	36875c7412	using bash scripts now ... Signed-off-by: Pascal Marco Caversaccio <pascal.caversaccio@hotmail.ch>	2 years ago
noxx	c18b5ae43b	more linting	2 years ago
noxx	3d690088e3	lintig and tabulate install on github action	2 years ago
noxx	d8455e3213	add square brackets to make it clear that the number is an array index of observations	2 years ago
noxx	e178b37fc9	remove crytic-export	2 years ago
noxx	d4b8ff011e	update the array name output in the table to include index	2 years ago
noxx	2fbc8d2a9a	remove crytic-export	2 years ago
noxx	38c0ae513d	add flag for table layout view, table layout with value view and silent flag for suppressing other outputs	2 years ago
Feist Josselin	0056406b5a	Fix broken tests introduced with #1239 (#1302) ... * Fix broken tests introduced with #1239 * Disable etherlime from the CI	2 years ago
Pascal Marco Caversaccio	e2afe85b2a	refactor and remove CI tests ... Signed-off-by: Pascal Marco Caversaccio <pascal.caversaccio@hotmail.ch>	2 years ago
Pascal Marco Caversaccio	6164fb86ad	parser CI ... Signed-off-by: Pascal Marco Caversaccio <pascal.caversaccio@hotmail.ch>	2 years ago
Pascal Marco Caversaccio	e42bb18056	for testing CI ... Signed-off-by: Pascal Marco Caversaccio <pascal.caversaccio@hotmail.ch>	2 years ago
Pascal Marco Caversaccio	cf3d1c5365	solc version 0.8.0 ... Signed-off-by: Pascal Marco Caversaccio <pascal.caversaccio@hotmail.ch>	2 years ago
Pascal Marco Caversaccio	d94cb4e97f	add test suite for path filtering ... Signed-off-by: Pascal Marco Caversaccio <pascal.caversaccio@hotmail.ch>	2 years ago
alpharush	033d18efae	add FAQ and useful info to contribution guidelines (#1047) ... * add FAQ and useful info to contribution guidelines * link to path filtering wiki, add FAQ to ToC * address josselin's feedback * update docs:	2 years ago
Josselin Feist	792321f531	Fix naming	2 years ago
Josselin Feist	8509db796e	Merge branch 'dev' into top-level-yul-identifier	2 years ago
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
TheStarBoys	c1ed068ae1	Update slither/tools/flattening/flattening.py ... Co-authored-by: alpharush <0xalpharush@protonmail.com>	2 years ago
TheStarBoys	e64de7f7b3	Add feature #1298	2 years ago
TheStarBoys	800504238b	Fix #1296: ... contract.contract_kind is always None. So use contract.is_interface instead of contract_kind.	2 years ago
Vladislav Volosnikov	a4a139ecaa	Add check ElementaryTypeNameExpression in copy_expression	2 years ago
alpharush	b6e17811f9	add tests and artifacts	2 years ago
alpharush	57cbafa51d	handle constant conversionn of type alias	2 years ago
alpharush	378f5373f3	remove invalid assertion	2 years ago
alpharush	ee82e10164	fix argument propagation for .unwrap	2 years ago
alpharush	77551209d2	convert .call() member of address type alias to low level call	2 years ago
alpharush	d0a4f5595d	add up to 0.8.15 for ast tests (#1268)	2 years ago
alpharush	7d11f06efe	add top level identifier to test cases	2 years ago
alpharush	809a24260e	additional edge cases	2 years ago
alpharush	793c4c4ee4	add failing test cases for user defined types	2 years ago
Erick	db703d82f4	fix typo in `--help` output for `--print` flag (#1149)	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	3 years ago