Arslan Khan

Casts should be excluded from checked region?

2

Hi, I have the following code: ``` typedef struct { ptr a; ptr b; } STRUCT; void break(void) { char temp checked[1000]; ptr s = NULL; s = dynamic_bounds_cast (&temp[20]);...

Hi, I am trying to compile a function using checkedC, however, i keep getting the missing prototype error. ``` /home/arslan/zephyrproject/zephyr/samples/hello_world/src/main.c:13:1: error: function without a prototype cannot be used or declared...

Segfault and PANIC inside LKL Enclave

2

Hi, While doing genration based fuzzing on existing SGX programs, we found that SGX-LKL encalve does not do proper checking on the following fields: - #0 0x00007fe0005c93d2 in lkl_virtio_console_add (console=0x0)...

Hi, While fuzzing sqlite we found data races on the following objects: ``` vfsList randomnessPid inodeList db sqlite3PendingByte ``` We believe this project is not supposed to be used in...

Crashes and Hangs on SQLite

1

Hi, While fuzzing existing SGX applications, we were able to find hangs and crashes on SQLite, as reported by the attachments. The attachment is the output of the fuzzer which...

## Bug report **Issue details** _Please describe the problem_ Hi, I am trying to build ardupilot for Nucleo-L496. However, the auto-generated code seems to have a problem. The CANIface is...

Tock OS Crashes with userspace app installed.

3

Hi, I am trying out Tock OS on STm32F429i and I have a simple application that does this: ``` extern int libtock_gpio_count(int *count); int main(void) { printf("Hello"); int count; libtock_gpio_count(&count);...