This directory contains the valid behavior specification of various
security-critical programs in Unix. The specifications are written
in PE-Grammar.
