From c0e0ae1e0399e17b5ad5f9a22905ab352153c8b7 Mon Sep 17 00:00:00 2001 From: Carlo Zancanaro Date: Tue, 27 Nov 2012 14:11:18 +1100 Subject: A bunch more thesis stuff. --- tex/thesis/introduction/introduction.tex | 13 +++++++------ 1 file changed, 7 insertions(+), 6 deletions(-) (limited to 'tex/thesis/introduction') diff --git a/tex/thesis/introduction/introduction.tex b/tex/thesis/introduction/introduction.tex index 17473af..d1b1a39 100644 --- a/tex/thesis/introduction/introduction.tex +++ b/tex/thesis/introduction/introduction.tex @@ -42,10 +42,10 @@ present\cite{CousotCousot77-1,EasyChair:117}. This work is broadly classed \emph{static analysis} and this thesis contributes to this work. -Due to Rice's Theorem\cite{Rice} we know that it is impossible to -perform a perfect static analysis in general. In order to overcome -this many approaches to static analysis have been developed, including -the framework of abstract interpretation presented by Cousot and +Due to Rice's Theorem\cite{Rice} we know that there is no general way +to statically infer properties of programs. In order to overcome this +many approaches to static analysis have been developed, including the +framework of abstract interpretation presented by Cousot and Cousot\cite{CousotCousot77-1}. In this framework we consider a program in a simplified, \emph{abstract}, domain. This allows us to perform a sound analysis in general at the expense of precision. @@ -102,8 +102,9 @@ Systems contribution: 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}. + We integrate our solver into the LLVM/Clang + framework\cite{LLVM,LLVM-paper,Clang} to perform analysis over + Zones\cite{mine:padoII}. \item We analyse the performance of our LLVM analysis on various program inputs. -- cgit v1.2.3