summaryrefslogtreecommitdiff
path: root/tex/thesis/conclusion
diff options
context:
space:
mode:
Diffstat (limited to 'tex/thesis/conclusion')
-rw-r--r--tex/thesis/conclusion/conclusion.tex32
1 files changed, 31 insertions, 1 deletions
diff --git a/tex/thesis/conclusion/conclusion.tex b/tex/thesis/conclusion/conclusion.tex
index d28a84b..1f6c803 100644
--- a/tex/thesis/conclusion/conclusion.tex
+++ b/tex/thesis/conclusion/conclusion.tex
@@ -1,4 +1,34 @@
\chapter{Conclusion} \label{chap:conclusion}
-The conclusion goes here.
+In this thesis we have presented an enhancement on a game-theoretic
+algorithm for efficiently solving systems of monotonic, expansive
+equations for their least fixpoints. We implemented this algorithm in
+C++ and evaluated its performance relative to the existing approach,
+finding it to be significantly faster for practical instances of
+equation systems.
+We further have integrated our solver into the LLVM/Clang static
+analysis framework to perform static analysis of C programs. We
+implemented a translation from C programs into monotonic, expansive
+equation systems to analyse C programs with abstract interpretation,
+in the domain of zones. We have evaluated the results of this analysis
+on a number of test cases to evaluate its precision.
+
+\section{Further work}
+
+There are still several areas in which the work of this thesis could
+be improved upon:
+
+\begin{itemize}
+\item
+ {\bf Refine variable dependencies} The enhanced DSI algorithm still
+ over approximates dependencies between variables to a slight
+ degree. Reducing this over approximation could result in a slight
+ improvement in the running time of the algorithm.
+\item
+ {\bf Complete the implementation} The provided LLVM/Clang
+ integration is currently only at a proof-of-concept stage. Only a
+ subset of the C semantics are currently considered in the analysis
+ pass. There is significant work to be done to ensure that analysis
+ can be performed for all, or at least most, C code.
+\end{itemize}