Skip to Content Java Solaris Communities Partners My Sun Sun Store United States Worldwide

Parfait

Static program analysis for bug and security vulnerability checking of systems code

Primary Research Category: System Software
Principal Investigator: Cristina Cifuentes

Project Overview
The Parfait project looks into the design and development of a framework for bug and security vulnerability checking. We focus on analysis of code written in the C language. We are interested in applications of this work to systems code such as Solaris, Java core libraries, compilers, and more. The framework can be configured to find quality bugs as well as security bugs.

We are based in Brisbane, Australia and are the Sun Labs Down Under group.


Technical Reports

  		• User-Input Dependence Analysis via Graph Reachability
    By: Bernard Scholz, Chenyi Zhang and Cristina Cifuentes
    Report Number: TR-2008-171
    Mar 31, 2008


    Team Members
    Cristina Cifuentes
    Nathan Keynes
    Lian Li
    Michael Mounteney
    Michele Pocknee
    Jimmy Ti


    Contact About Sun News Employment Privacy Terms of Use Trademarks Copyright 1994-2008 Sun Microsystems, Inc.