Papers about Kernel Security Testing

This repository will not only record research works related to kernel security testing, but also include some tools used in the kernel community.

Kernel Static Testing

Tools

Coccinelle

Smatch

Clang Static Analyzer

Research Work

CRIX

HERO

TypeChef

ReDeBug

Kernel Fuzzing

Tools

Research Work

Kernel Symbolic Execution

Tools

Research Work

References

[1] https://github.com/ZJU-SEC/Readings/blob/main/README.md