From c0e0ae1e0399e17b5ad5f9a22905ab352153c8b7 Mon Sep 17 00:00:00 2001
From: Carlo Zancanaro <carlo@carlo-laptop>
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/introduction.tex')

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

