Institute of Computer Languages
Compilers and Languages Group

Talks 2010 - Lian Li

Der Arbeitsbereich für Programmiersprachen und Übersetzer am Institut für Computersprachen lädt zu folgendem Vortrag ein:

Lian Li, Ph.D.

Sun Labs, Oracle, Brisbane, Australia


Parfait - Scalable and Precise Static Analysis for Bug Checking

Datum: Dienstag, 10. September 2010
Zeit: 11:00 s.t.
Ort: TU Wien, Bibliothek E185.1, Argentinierstraße 8, 4. Stock (Mitte)


Parfait is a static bug checking framework developed at Sun Labs, Oracle. The Parfait tool checks C/C++ source code for common systems and security bugs. It is designed for precision and scalability: the tool runs over 8.6 million LOC of the OpenSolaris ON codebase in 1 hour, and reports thousands of bugs with a false positive rate of less than 10%. In this talk, I will share my experience in developing Parfait, introduce its various static analysis techniques, including a new symbolic analysis algorithm for buffer overflow detection, and discuss some of the major challenges that we are trying to solve.

Kurzbiographie von Lian Li

Lian Li is a researcher at Sun Labs, Oracle. He is a member of the Parfait team, working on bug checking via static program analysis. His research interests focus on program language analysis and implementation, including static/dynamic analysis for bug detection, compiler optimization and parallel computing.

Before joining Sun Labs, Lian finished his PHD in University of New South Wales, Australia in 2007 and has worked in UNSW as a postdoc until 2008.

Sie möchten auf diesen Vortrag durch Aushang hinweisen? Eine druckfertige Einladung im pdf-Format dafür finden Sie hier.

   About Us
      Talks 2017
      Talks 2016
      Talks 2015
      Talks 2014
      Talks 2013
      Talks 2012
      Talks 2011
      Talks 2010
      Talks 2009
      Talks 2008
      Talks 2007
      Talks 2006
      Talks 2005
      Talks 2004
Fast Access:
Previous Talk
Next Talk
Faculty of Informatics
Vienna University of Technology
top | HTML 4.01 | Datenschutzerklärung | last update: 2018-05-25 (Webmaster)