Check linux sources dump for known CVEs.
Magisk Module to enable engineering build props
Kexec Magisk Module
A number of utilities for writing ACSL specifications for a Linux module.
Tool to automate the development of yara rules (CVEs in perl modules) for PT Approof.