Files
| Mode | Name | Size |
|---|---|---|
| 040000 | ../ | -- |
| 100644 | Makefile | 528 B |
| 100644 | core.c | 37.3 KiB |
| 100644 | debugfs.c | 7.5 KiB |
| 100644 | encoding.h | 3.1 KiB |
| 100644 | kcsan.h | 3.5 KiB |
| 100644 | kcsan_test.c | 35.2 KiB |
| 100644 | permissive.h | 2.7 KiB |
| 100644 | report.c | 19.4 KiB |
| 100644 | selftest.c | 3.7 KiB |