2014-07-26 15:52:02 -07:00
|
|
|
|
2015-10-26 08:59:28 -07:00
|
|
|
#include <stdlib.h>
|
2014-07-26 15:52:02 -07:00
|
|
|
#include <sys/types.h>
|
|
|
|
|
|
|
|
#include <limits.h>
|
|
|
|
#include <signal.h>
|
|
|
|
|
|
|
|
#define TEST_NAME "sodium_utils3"
|
|
|
|
#include "cmptest.h"
|
|
|
|
|
2014-10-16 14:08:43 -07:00
|
|
|
#ifdef __SANITIZE_ADDRESS__
|
2015-04-24 06:11:29 -07:00
|
|
|
# warning The sodium_utils3 test is expected to fail with address sanitizer
|
2014-10-16 14:08:43 -07:00
|
|
|
#endif
|
|
|
|
|
2016-03-26 16:32:25 -07:00
|
|
|
__attribute__ ((noreturn)) static void segv_handler(int sig)
|
2014-07-26 15:52:02 -07:00
|
|
|
{
|
2016-03-06 06:00:18 -07:00
|
|
|
(void) sig;
|
|
|
|
|
2014-07-26 15:52:02 -07:00
|
|
|
printf("Intentional segfault / bus error caught\n");
|
|
|
|
printf("OK\n");
|
|
|
|
#ifdef SIGSEGV
|
|
|
|
signal(SIGSEGV, SIG_DFL);
|
|
|
|
#endif
|
|
|
|
#ifdef SIGBUS
|
|
|
|
signal(SIGBUS, SIG_DFL);
|
|
|
|
#endif
|
|
|
|
#ifdef SIGABRT
|
|
|
|
signal(SIGABRT, SIG_DFL);
|
|
|
|
#endif
|
|
|
|
exit(0);
|
|
|
|
}
|
|
|
|
|
2014-09-14 11:32:55 -07:00
|
|
|
int main(void)
|
2014-07-26 15:52:02 -07:00
|
|
|
{
|
2014-09-14 11:32:55 -07:00
|
|
|
void *buf;
|
|
|
|
size_t size;
|
2014-07-26 15:52:02 -07:00
|
|
|
|
|
|
|
#ifdef SIGSEGV
|
|
|
|
signal(SIGSEGV, segv_handler);
|
|
|
|
#endif
|
|
|
|
#ifdef SIGBUS
|
|
|
|
signal(SIGBUS, segv_handler);
|
|
|
|
#endif
|
|
|
|
#ifdef SIGABRT
|
|
|
|
signal(SIGABRT, segv_handler);
|
|
|
|
#endif
|
2016-03-25 02:50:52 -07:00
|
|
|
size = 1U + randombytes_uniform(100000U);
|
2014-07-26 15:52:02 -07:00
|
|
|
buf = sodium_malloc(size);
|
2014-11-25 17:19:20 -07:00
|
|
|
assert(buf != NULL);
|
2014-07-26 15:52:02 -07:00
|
|
|
sodium_mprotect_noaccess(buf);
|
|
|
|
sodium_mprotect_readwrite(buf);
|
2014-11-24 18:48:51 -07:00
|
|
|
#ifndef __EMSCRIPTEN__
|
2014-09-14 11:32:55 -07:00
|
|
|
sodium_memzero(((unsigned char *)buf) - 8, 8U);
|
2014-07-26 15:52:02 -07:00
|
|
|
sodium_mprotect_readonly(buf);
|
|
|
|
sodium_free(buf);
|
|
|
|
printf("Underflow not caught\n");
|
2014-11-24 18:48:51 -07:00
|
|
|
#endif
|
2014-07-26 15:52:02 -07:00
|
|
|
return 0;
|
|
|
|
}
|