evdenis

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.