UTCS FACULTY CANDIDATE: Christoph Csallner/Georgia Institute of Technology Combining Static and Dynamic Analyses for Automated Bug-Finding ACES 2.302 Thursday March 20 2008 11:00 a.m.
Type of Talk: FACULTY CANDIDATE
ph Csallner/Georgia Institute of Technology
Date/Time: Thursday Ma
rch 20 2008 11:00 a.m.
Location: ACES 2.302
Talk Title: Combining Static and Dynamic Analyses for Automat
Finding bugs is like finding a few
needles in an infinitely
large haystack of program execution paths. Fals
warnings are one of the biggest problems both for
correctness provers (such as type systems
and model-checkers) and for a
(such as static bug-pattern matchers). To address
problem I will present three techniques for turning an
ting powerful but false-positive-ridden static analysis
into a preci
se tool for automatic bug-finding.
First we will automatically conv
ert the output of a static
analysis to concrete JUnit test cases using
solving techniques. We thereby eliminate language-level
false bug warnings and make the results easier to understand
consumers. We will then add a dynamic invariant
inference step to als
o address the harder problem of bug
warnings that are technically corre
ct but still irrelevant to the
user (these bugs could occur but only u
nder obscure conditions).
Finally we will adapt dynamic invariant infe
rence to work correctly
with subtyping. Previous approaches do not take
subtyping into account and therefore produce imprecise or
inconsistent results which can throw off automated analyses
such as th
e ones we are performing for bug-finding.
I have implemented these techn
iques in the JCrasher Check ''n''
Crash and DSD-Crasher automatic test
ing tools which have been
used by multiple research groups.
- Awards & Honors
- About Us
- Student Engagement and Support
- Masters Program
- Ph.D. Program
- Financial Information
- Prospective Students
- Incoming Students
- Current Students
- Portfolio Program in Robotics
- Curricular Practical Training
- Grad Student Talks
- UTCS Direct