researchers intend for the core FX technology to be more widely applicable to
the analysis of software, e.g., for the detection of errors and vulnerabilities, and
for the validation of the “goodness” of authentication, encryption, filtering, and
other security functions implemented by software.