diff options
| -rw-r--r-- | tex/lit-review/main.tex | 14 |
1 files changed, 8 insertions, 6 deletions
diff --git a/tex/lit-review/main.tex b/tex/lit-review/main.tex index 7135d2c..1f610f0 100644 --- a/tex/lit-review/main.tex +++ b/tex/lit-review/main.tex @@ -12,12 +12,15 @@ \section{Introduction} -Static analysis is concerned with detemining as many of a program's -characteristics as is possible without executing the program itself. +Static analysis is concerned with determining properties of a program's +semantics without the need to actually execute the program in question. -Human error $\rightarrow$ bugs. -It'd be nice if we can automatically test for bugs. -Static analysis! +%Static analysis is concerned with detemining as many of a program's +%characteristics as is possible without executing the program itself. + +%Human error $\rightarrow$ bugs. +%It'd be nice if we can automatically test for bugs. +%Static analysis! \section{Abstract Interpretation} @@ -26,7 +29,6 @@ Came from: \cite{CousotCousot77-1}. More in detail about \cite{CousotCousot77-1}. \subsection{Abstract Domains} Difference-bound matrices \cite{mine:padoII} - Octagon domain \cite{mine:hosc06} \section{Fixpoints} |