A static bug-checking tool for C/C++ applications.
This repository contains information related to the tool Parfait presented in the Foundation of Software Engineering Conference, 2011.
You can find the paper on the following link.
This repository is not the original repository for this tool. Here are some links to the original project ,
- [The Official Project Page for Parfait] (https://labs.oracle.com/pls/apex/f?p=labs:49:::::P49_PROJECT_ID:13)
In this repository, for Parfait you will find:
- ❌ Source code (not available)
- ❌ Executable tool (not available)
- ❌ Virtual machine containing tool (not available)
This repository was constructed by Rishi Anne under the supervision of Emerson Murphy-Hill.
Authors of tool: Dr. Cristina Cifuentes and Dr. Nathan Keynes and Dr. Lian Li and Dr.Nathan Hawes and Andrew Browne and Manuel Valdiviezo and Dr.Jacob Zimmermann and Dr.Andrew Craik and Douglas Teoh and Christian Hoermann.