|  Projects | | | | | |
|
 |
|
Our outpost runs a variety of projects related to static program analysis. We are actively working on the Parfait and BegBunch projects and are also collaborating with academics at various universities. |
Sun Labs Down Under Projects
Project Parfait
Parfait is a static bug checking framework designed for scalability and precision. The Parfait tool checks C/C++ source code for common systems and security bugs. Parfait uses BegBunch and the OpenSolaris code base for nightly regression testing. The 8.6 million of lines of code of the OpenSolaris Operating System/Networking (ON) consolidation are analysed by Parfait in 20 mins on a 2.8GHz AMD Opteron machine.
|
|
BegBunch
BegBunch is a benchmarking suite for C bug checkers. BegBunch is composed of various benchmark suites to test correctness, accuracy and scalability of C bug checking tools.
|
Collaborative Projects
Vulnerability Detection Combining Static Analysis and Model-based Testing
The aim of this collaboration is to combine program analysis with model-based testing techniques to address issues of scalability and precision of bug checking tools, especially in the context of large systems code.
Software Quality Improvement Through Static Analysis and Annotation
The aim of this Australian Research Council (ARC) Linkage project is to develop better methods for automatic static analysis of software to find latent errors and security loopholes, thereby improving the quality of code. The approach will make use of code annotations (such as assertions, invariants and extended type systems) to improve the precision of the program analysis process.
Static Analysis of Concurrent Programs
The aim of this collaboration is to develop static analysis techniques for analysing concurrent C/C++ software for scalability and precision. Bugs of interest include data races, deadlocks, livelocks, atomicity violations and serialisability violations, as well as concurrency-related security vulnerabilities.
|
|
Job Vacancies |
Find out what positions are available with Sun Labs Down Under or our collaborators.
|
|
|
Want Project Parfait?
We have now released a binary verson of Project Parfait for you to use.
Get it now from our download center.
Contact Us
Sun Labs Down Under
Level 10
80 Albert Street
Brisbane, Q 4000
Australia
|
