Skip to content

Status update missing prompt #681

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

Open
mingbaile opened this issue Mar 1, 2025 · 0 comments
Open

Status update missing prompt #681

mingbaile opened this issue Mar 1, 2025 · 0 comments

Comments

@mingbaile
Copy link

Hi, we are a research group on programming languages and software engineering. We recently conducted a systematic study on the causes, effects, and fixes of the inconsistent state update vulnerability in solidity. We are attempting to build a tool to detect bugs about state updates based on our findings. We have tried our prototype tool on some popular Github solidity repositories, and for your repository, we found that there are status updates that may have been missed.
When we declare a state variable in a contract, if the variable is not reassigned throughout the project, then it may be a missing status update, including the balance, order number, counter, contract status flag, and so on.
For your repository, we found the following state variable that may need attention:

TokenERC1155.sol
State variable: saleRecipientForToken

mapping(uint256 => address) public saleRecipientForToken;

Do you find our results useful? Your reply and invaluable suggestions would be greatly appreciated, and are vital for improving our tool. Thanks a lot for your time!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant