trinity: Proof of concept to auto-generate trinity spec files
Trinity is a system call fuzzer for the Linux kernel written by
Dave Jones. I mentioned this in my talk at Linux Plumbers
Conference. It's a proof of concept to show how someone could
use the information in the Smatch DB to auto generate the
Trinity spec file.
When you build the kernel --info then it generates
smatch_trinity_xxx files. Then you run the
smatch_scripts/gen_trinity.sh and it creates a trinity_smatch.h
file that you can copy to the trinity tree.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>