A bunch more thesis stuff.

1 files changed, 7 insertions, 6 deletions

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.