fix: reentrancy assertions to detect exploitation #18
mokita-jci.yml
on: pull_request
Smart Contract Tests
20s
lint
18s
Annotations
10 warnings
|
lint
global import of path ../dataset/access_control/arbitrary_location_write_simple.sol is not allowed. Specify names to import individually or bind all exports of the module into a name (import "path" as Name)
|
|
lint
Function param name must be in mixedCase
|
|
lint
Variable name must be in mixedCase
|
|
lint
global import of path ../dataset/access_control/incorrect_constructor_name1.sol is not allowed. Specify names to import individually or bind all exports of the module into a name (import "path" as Name)
|
|
lint
global import of path ../dataset/access_control/incorrect_constructor_name2.sol is not allowed. Specify names to import individually or bind all exports of the module into a name (import "path" as Name)
|
|
lint
global import of path ../dataset/access_control/incorrect_constructor_name3.sol is not allowed. Specify names to import individually or bind all exports of the module into a name (import "path" as Name)
|
|
lint
global import of path ../dataset/access_control/mapping_write.sol is not allowed. Specify names to import individually or bind all exports of the module into a name (import "path" as Name)
|
|
lint
Function param name must be in mixedCase
|
|
lint
Variable name must be in mixedCase
|
|
lint
Function name must be in mixedCase
|