Commits

Martin Vejnár committed 362a8cd

abstract typo, keywords

  • Participants
  • Parent commits bf7bb56

Comments (0)

Files changed (1)

File 00-header.tex

 
 \chapter*{Abstract}
 \thispagestyle{empty}
-\textsc{Stanse}, a bug finding tool, can be used to perfom various types of static analyses
+\textsc{Stanse}, a bug finding tool, can be used to perform various types of static analyses
 on programs written in the C programming language.
 The tool consists of several checkers, each of which is designed to detect a specific class
 of defects.
 we replace it by a new representation called \emph{Stanse internal representation} (SIR).
 We show how various C++ language construct can be translated to SIR
 and we provide a tool to do so.
-We extend the core structures of \textsc{Stanse} and its automaton checker to support SIR.
+We extend the core structures of \textsc{Stanse} and its automaton checker to support SIR
+and thus the C++ language.
 
 \par\vfill
 
-{\par\vfill{\bf Keywords:}} C++, \textsc{Stanse}, bug finding, static analysis, internal representation, control-flow graph \par\vfil
+{\par\vfill{\bf Keywords:}} C++, \textsc{Stanse}, \textsc{Clang},
+bug finding, static analysis, internal representation, control-flow graph,
+automaton checker \par\vfil
 \newpage
 
 \cleardoublepage