slither

Commit Graph

Author	SHA1	Message	Date
Josselin	1b6f50ce29	Breaking change in the way Slither handled codebase with name reused - Add NameReused detector to report the name's reuse - Slither will analyze the codebase that contains the issue, with partial context. As a result, the analyze might not be correct	5 years ago
Feist Josselin	d76bec9850	Merge pull request #412 from crytic/dev-delete-lvalue Improve Delete operator in case of ReferenceVariable	5 years ago
Josselin	526170d5b4	Delete IR: use points_to for lvalue if the deleted element is a mapping/array	5 years ago
Feist Josselin	ca05d8821d	Merge pull request #410 from crytic/dev-upgradeability-abstract Large refactor of slither-check-upgradeability	5 years ago
Josselin	440e03eb1d	Merge branch 'dev' into dev-upgradeability-abstract	5 years ago
Feist Josselin	4a331b8c09	Merge pull request #411 from crytic/dev-cleanup-irs Clean up IRs classes	5 years ago
Josselin	7bab71aff2	Fix dapp regression tests	5 years ago
Josselin	e56473879c	Fix import issues (pycharm went wild?)	5 years ago
Josselin	e3d3151787	Add function.slithir_ssa_operations Clean up unused import in IRs	5 years ago
Josselin	aaaec10077	Update README.md	5 years ago
Josselin	a001135920	Add missing set_node	5 years ago
Josselin	6bd2227d7a	Merge branch 'dev' into dev-upgradeability-abstract	5 years ago
Josselin	1d87059712	Large refactor of slither-check-upgradeability: - Use an abstract class, similar pattern than slither's detectors - Every issue is documented (description/exploit scenario/recommendation)	5 years ago
Feist Josselin	0fb4d64ad0	Merge pull request #396 from crytic/dev-new-detectors Open source 4 detectors	5 years ago
Feist Josselin	4a3a6cc425	Merge pull request #409 from crytic/dev-improve-data-dep-API Improve data dependencies API	5 years ago
Josselin	ca17a7f12f	boolean-cst: Remove FP due to 'while(true)' pattern	5 years ago
Josselin	75c3a6ad52	Improve data dependencies API: - Fix incorrect return type in get_dependencies - Add get_dependencies_ssa, get_all_dependencies, get_all_dependencies_ssa - Use python type of all the mentioned functions	5 years ago
Feist Josselin	680c14e796	Merge pull request #406 from crytic/dev-modifier-calls Change how modifier/constructor calls statements are handled	5 years ago
Feist Josselin	e7608a1a44	Merge pull request #407 from crytic/dev-improve-unini-state Improve uninitialized-state: remove FPs due to storage variables	5 years ago
Josselin	60b667d2b8	Improve uninitialized-state: remove FPs due to storage variables	5 years ago
Josselin	a2a2c02e1d	Do not parse modifier statements for interfaces	5 years ago
Josselin	36a1af528b	Fix incorrect variable assignment in _parse_modifier, add Nop in copy_ir	5 years ago
Josselin	faeb9ed8cc	Change the way modifier/constructor calls are handled: - Instead of having a separate CFG, they are integrated within the original one - This removes problems related to unrecheable node - As a result, several corner cases regarding the IR conversion in the modifiers statements are removed - InternalCall has now a property: is_modifier_call. In the long run, we might want to have a separate opcode for it	5 years ago
Feist Josselin	8775f2435a	Merge pull request #400 from crytic/dev-fix-get-dep Fix get_dependencies	5 years ago
Josselin	34e43a3f25	Merge branch 'dev' into dev-new-detectors	5 years ago
Josselin	740119d1e1	Merge branch 'dev' into dev-fix-get-dep	5 years ago
Feist Josselin	2118a4a044	Merge pull request #403 from crytic/dev-fix-ci Fix CI	5 years ago
Feist Josselin	cb190297d0	Merge pull request #391 from crytic/dev-functions_signatures_declared Add contract.functions_signatures_declared property	5 years ago
Josselin	18e971ef64	Fix CI (close #402 )	5 years ago
Josselin	c52500e146	Fix get_dependencies: Incorrect usage of is_protected (fix #399 )	5 years ago
Feist Josselin	53a4fc70ee	Merge pull request #397 from crytic/dev-fix-CI Fix CI	5 years ago
Feist Josselin	7f654dd66f	Update travis_test_truffle.sh	5 years ago
Josselin	59e0f8e5d7	Update wiki	5 years ago
Josselin	81b3032499	Open source 4 detectors: - boolean-cst - tautology - boolean-equal - divide-before-multiply	5 years ago
Josselin	d9980e8051	Add contract.functions_signatures_declared property	5 years ago
Josselin	1b15a401c9	0.6.9	5 years ago
Josselin	eaeaae965b	Update to crytic-compile 0.1.6	5 years ago
Josselin	bac1032778	Update README and url links	5 years ago
Feist Josselin	6a96ea316a	Merge pull request #390 from crytic/dev-solc-version-0.5.11 solc-version detector: improvements	5 years ago
Josselin	486b0e414c	solc-version: update wiki info	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
Josselin	bff363f982	Comùplex pragma detector: add support for solc 0.7.0	5 years ago
Josselin	ef07a978c0	Use python setup.py install in gh action	5 years ago
Josselin	f867595376	Merge branch 'master' into dev	5 years ago
Feist Josselin	3a1073a348	Merge pull request #388 from crytic/dev-fix-id-collison Fix id collision on pragma	5 years ago
Josselin	2dc71bcf75	Finding ID generation: prevent collision on pragma	5 years ago
Feist Josselin	ad61b08e61	Merge pull request #383 from crytic/update-readme Update README.md	5 years ago
Feist Josselin	aac7c29469	Merge pull request #385 from reaperhulk/no-more-travis no more travisci	5 years ago
Feist Josselin	642cdcf336	Merge pull request #387 from crytic/dev-pragma-filter-solidity Pragma: detect if the directive is a solidity version	5 years ago

1 2 3 4 5 ...

1686 Commits (9be9ad84020538fb7d7dcf34a82ca160af0a3cd0) All Branches Search

1686 Commits (9be9ad84020538fb7d7dcf34a82ca160af0a3cd0)

All Branches