Add data flow analysis engine #3312
mathceloAnnotations
2 errors and 10 warnings
|
Lint Code Base:
slither/analyses/data_flow/engine/domain.py#L15
E0213: Method 'bottom' should have "self" as first argument (no-self-argument)
|
|
Lint Code Base:
slither/analyses/data_flow/engine/domain.py#L11
E0213: Method 'top' should have "self" as first argument (no-self-argument)
|
|
Lint Code Base:
slither/analyses/data_flow/analyses/reentrancy/core/state.py#L156
W0212: Access to a protected member _events of a client class (protected-access)
|
|
Lint Code Base:
slither/analyses/data_flow/analyses/reentrancy/core/state.py#L153
W0212: Access to a protected member _reads_prior_calls of a client class (protected-access)
|
|
Lint Code Base:
slither/analyses/data_flow/analyses/reentrancy/core/state.py#L152
W0212: Access to a protected member _reads of a client class (protected-access)
|
|
Lint Code Base:
slither/analyses/data_flow/analyses/reentrancy/core/state.py#L151
W0212: Access to a protected member _calls of a client class (protected-access)
|
|
Lint Code Base:
slither/analyses/data_flow/analyses/reentrancy/core/state.py#L150
W0212: Access to a protected member _safe_send_eth of a client class (protected-access)
|
|
Lint Code Base:
slither/analyses/data_flow/analyses/reentrancy/core/state.py#L149
W0212: Access to a protected member _send_eth of a client class (protected-access)
|
|
Lint Code Base:
slither/analyses/data_flow/analyses/reentrancy/core/state.py#L11
R0902: Too many instance attributes (9/7) (too-many-instance-attributes)
|
|
Lint Code Base:
slither/analyses/data_flow/analyses/reentrancy/analysis/domain.py#L44
R1705: Unnecessary "else" after "return", remove the "else" and de-indent the code inside it (no-else-return)
|
|
Lint Code Base:
slither/analyses/data_flow/analyses/reentrancy/analysis/domain.py#L24
W0221: Number of parameters was 1 in 'Domain.top' and is now 1 in overriding 'ReentrancyDomain.top' method (arguments-differ)
|
|
Lint Code Base:
slither/analyses/data_flow/analyses/reentrancy/analysis/domain.py#L20
W0221: Number of parameters was 1 in 'Domain.bottom' and is now 1 in overriding 'ReentrancyDomain.bottom' method (arguments-differ)
|