[PATCH v13 4/5] KASAN: Testing Documentation