New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

fix: reentrancy assertions to detect exploitation #41

Merged

sofiabobadilla merged 1 commit into main from 40-fix-reentrancy-assertions

Nov 30, 2024

Merged

fix: reentrancy assertions to detect exploitation #41

fix: reentrancy assertions to detect exploitation

Annotations

10 warnings

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)

Function param name must be in mixedCase

Variable name must be in mixedCase

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)

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)

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)

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)

Function param name must be in mixedCase

Variable name must be in mixedCase

Function name must be in mixedCase

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

fix: reentrancy assertions to detect exploitation #41

fix: reentrancy assertions to detect exploitation #41

Annotations

The logs for this run have expired and are no longer available.

Re-running jobs...