» A Combined Approach for Information Flow Analysis in Fault Tolerant Hardware
» A Scalable Lock-Free Stack Algorithm and its Verification
» A View of 20th and 21st Century Software Engineering
» Applying Model Checking to Microcontroller Assembly Code
» Evie - A Developers toolkit for encoding Service Interaction Patterns
» Parfait - Layered Program Analysis for Bug and Security Vulnerability Checking of C Code
» Proving lock-freedom
» A multi-threaded architecture for cognitive robotics
» An Iterative Empirical Strategy for the Systematic Selection of a Combination of Verification and Validation Technologies
» Analysing software structure as conceptual model
» Compilation Techniques for Embedded Systems
» Improving Usability of Software Refactoring Tools
» Iteration: finite, infinite, or either
» Probabilistic Timed Behavior Trees
» Static Program Analysis for Bug Checking
» The Architectural Expert (ArchE) tool
» The Road to a New Project on Program Analysis for the Sun Lablet at UQ

QUICK LINKS
	ITEE Public Web
	Student IT Help
	ITEE Internal Web
	Staff IT Help

	Static Program Analysis for Bug Checking

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