Master 2013 2014
Stages de la spécialité SAR
Code Analysis in the Cloud

Site :Automated Software Verification Group (Software Systems Research Group)
Lieu :Location: NICTA building, 223 Anzac Parade, Sydney NSW, Australia
Encadrant : Ralf Huuck & Franck Cassez
Dates :01/04/2014 to 15/09/2014
Rémunération :$AU450/week + VISA expenses
Mots-clés : Parcours SAR autre qu’ATIAM, rech./prof., Parcours SAR autre qu’ATIAM, recherche


Doing source code analysis to detect bugs in C/C++ programs is a hot topic, but analysis times and scalability to large systems is an ongoing challenge. One potential solution to minimally interfere with existing processes is to do some basic scanning and model generation on the build server of the project under analysis, but "outsource" the actual analysis to a distributed architecture or the cloud.

The goal of the project is to investigate splitting analysis techniques into a local and a "cloud" phase that enables scalability and massive parallel processing using the Goanna code analysis tool as a test bed.

This thesis is of interest for students looking the bridge formal analysis with software engineering techniques and are interested in industrial challenges. The outcomes are potential new ways to handle and scale code analysis.

General Information NICTA (National ICT Australia) is Australia’s Information and Communications Technology (ICT) Centre of Excellence. It is an independent company in the business of research, commercialisation and research training. With over 700 people, NICTA is the largest organisation in Australia dedicated to ICT research. The internship is integrated in the Software Systems Research Group under the Automated Software Verification project ( The successful applicant will work in the Software Systems Research Group under the supervision of Dr. Ralf Huuck. Sydney is the largest and most populous city in Australia. It is located on Australia’s south-east coast of the Tasman Sea. With an approximate population of 4.5 million in the Sydney metropolitan area the city is the largest in Oceania. Sydney also ranks among the top 10 most liveable cities in the world according to Mercer Human Resource Consulting and The Economist.

Remuneration NICTA will cover the VISA cost (Training Visa for six months) and living and accommodation expenses unto $AU450 per week.