The University of Queensland Homepage
UQ HomepageSearch UQFind all Contacts at UQStudy Options at UQEvents at UQUQ MapsUQ LibraryLink to my.UQ
School of ITEE ITEE Main Website
      

Static Program Analysis for Bug Checking

Speaker: Cristina Cifuentes and Bernhard Scholz, Sun Microsystems Laboratories

When: 10:00, Friday, 22 June 2007

Venue: 78-420

In this informal talk we present the main focus of our new project, SPA-bug, which looks into static program analysis of C source code for the purposes of finding bugs in the code. An extension of the project, SPA-sec, further looks into security vulnerability issues that relate to systems code written in the C language. We present the scope of our project and some of the challenges to come.

 

Hospitality:Ian Hayes

Contact: Robert Colvin (SSE seminar co-ordinator) (robert@itee.uq.edu.au)

SSE seminar web page: http://www.itee.uq.edu.au/~sse/Seminars.html

 
© 2002-2009 The University of Queensland, Brisbane, Australia
ABN 63 942 912 684
CRICOS Provider No: 00025B
Authorised by: Head of School
Maintained by: webmasters@itee.uq.edu.au