We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
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
Hi.
#include <assert.h> #include <stdio.h> #include <stdlib.h> #include <stdint.h> #include <malloc.h> void* p[256]; uintptr_t buf[256]; int main() { p[0] = malloc(-8); fprintf(stderr, "%p\n", p[0]); }
This program will crash if we run it with SlimGuard. The reason is that SlimGuard checks mark_used without validating the return value from previous call, which could be zero( https://github.com/ssrg-vt/SlimGuard/blob/master/src/slimguard.c#L409)
mark_used
Best, Insu Yun.
The text was updated successfully, but these errors were encountered:
Hello, thank you very much for reporting this bug, you are correct, and it should be fixed in this commit.
Best,
Pierre
Sorry, something went wrong.
No branches or pull requests
Hi.
This program will crash if we run it with SlimGuard.
The reason is that SlimGuard checks
mark_used
without validating the return value from previous call, which could be zero( https://github.com/ssrg-vt/SlimGuard/blob/master/src/slimguard.c#L409)Best,
Insu Yun.
The text was updated successfully, but these errors were encountered: