Sample Packages
A number of packages are provided as samples:~ The Linux Kernel Taint Analyzer effectively detects sites where the linux kernel is vulnerable to security breaches and denial-of-service attacks.
~ The Windows Analysis Manager is a GUI framework for Windows. It is packaged with an environment security analyzer that while simple, rivals many expensive commercial products.
~ CQSAT can optionally use third-party software as part of its processing. This may be useful when analyzing code with many non-standard language extensions (such as GNU gcc/g++). Binaries and source of external components are here.