Skip to content
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

Errors Reported By Facebook Infer #585

Open
Asgard1232 opened this issue Nov 7, 2023 · 0 comments
Open

Errors Reported By Facebook Infer #585

Asgard1232 opened this issue Nov 7, 2023 · 0 comments

Comments

@Asgard1232
Copy link

inferNuk.zip

Facebook Infer seems to have found potential errors in Nuklear, including 3 buffer overruns and some unsigned integer overflows and uninitialized values. Would the overflows cause unexpected behaviour? If so, perhaps an overflow blocking header (such as https://mega.nz/file/SxYgzYYQ#7mL1bPyyATYbSTdxi6F7co-QZ63wNtGh2TdP36Gya3g - although it would presumably need to be altered for compatibility with C89) can be used? As for the buffer overruns, could they affect memory safety? The Infer report, and the C files, command line text and makefile involved, are in the Zip file attached to this message (I used Nuklear+ with a small change that allows writing a single event loop for the program, instead of a callback, when running in Emscripten).

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