From 6be89e25c3d27df5eb79c077ba73f52e2048d3a1 Mon Sep 17 00:00:00 2001 From: Carlo Zancanaro Date: Wed, 21 Nov 2012 19:56:50 +1100 Subject: Thesis writing! Yum yum! --- tex/thesis/introduction/introduction.tex | 39 +++++++++++++++++++++++++++++++- 1 file changed, 38 insertions(+), 1 deletion(-) (limited to 'tex/thesis/introduction/introduction.tex') diff --git a/tex/thesis/introduction/introduction.tex b/tex/thesis/introduction/introduction.tex index 453279d..f59f30f 100644 --- a/tex/thesis/introduction/introduction.tex +++ b/tex/thesis/introduction/introduction.tex @@ -1,4 +1,41 @@ \chapter{Introduction} -The introduction goes in here. \newcite{clark-curran:07} did something inline. And here they did something not inline \cite{clark-curran:07}. +\section{Motivation} +Software bugs are bad. Bugs have significant costs in terms of time, +money, security and lives. Hailpern and Santhanam state that +debugging, verification and testing can easily range from 50\% to 75\% +of the total development cost of a +system\cite{Hailpern01softwaredebugging}. + +\section{Contribution} + +In this thesis we present an implementation of the strategy-iteration +based static analyser presented by Gawlitza et +al.\cite{EasyChair:117}. Our implementation has several enhancements +which significantly improve the practical performance of the analyser +on real-world data. + +Theoretical contribution: +\begin{enumerate} +\item + We present a demand-driven strategy improvement algorithm for + solving monotonic, expansive equation systems involving $\min$ and + $\max$ operators +\end{enumerate} + +Systems contribution: +\begin{enumerate} +\item + We develop a solver for monotonic, expansive equation systems based + on the work of Gawlitza et al.\cite{EasyChair:117} with several + improvements +\item + We analyse the performance of our improved solver on a set of + equation systems to demonstrate the effect of our improvements +\item + We integrate our solver into the LLVM framework to perform analysis + over Zones\cite{mine:padoII} +\item + We analyse the performance of our LLVM analysis on various program inputs +\end{enumerate} -- cgit v1.2.3