diff options
Diffstat (limited to 'tex/thesis/introduction')
| -rw-r--r-- | tex/thesis/introduction/introduction.tex | 13 |
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. |