-
Andre Maroneze authored
Some case studies (e.g. dyad) use some ugly casts from fd_set_t which lead to the analysis stopping too early. Changing the representation of fd_set_t should also help it better conform to the standard (since a fd_set_t should be able to hold FD_SETSIZE elements).
Andre Maroneze authoredSome case studies (e.g. dyad) use some ugly casts from fd_set_t which lead to the analysis stopping too early. Changing the representation of fd_set_t should also help it better conform to the standard (since a fd_set_t should be able to hold FD_SETSIZE elements).
userman.tex 2.41 KiB
% rubber: depend ../../VERSION
\documentclass[web]{frama-c-book}
\usepackage{graphicx}
\usepackage{calc}
\include{macros}
\makeindex
\begin{document}
\coverpage{User Manual}
\begin{titlepage}
\begin{flushleft}
\includegraphics[height=14mm]{cealistlogo.jpg}
\end{flushleft}
\vfill
\title{Frama-C User Manual}{Release \framacversion}
\author{Loïc Correnson, Pascal Cuoq, Florent Kirchner, André
Maroneze, Virgile Prevosto, Armand Puccetti, Julien Signoles and Boris
Yakobowski}
\begin{tabular}{l}
CEA LIST, Software Safety Laboratory, Saclay, F-91191 \\
\end{tabular}
\vfill
\begin{flushleft}
\textcopyright 2009-2018 CEA LIST
This work has been supported by the ANR project CAT (ANR-05-RNTL-00301) and by
the ANR project U3CAT (08-SEGI-021-01).
\end{flushleft}
\end{titlepage}
\tableofcontents
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\chapter*{Foreword}
\markright{}
\addcontentsline{toc}{chapter}{Foreword}
This is the user manual of \FramaC\footnote{\url{http://frama-c.com}}. The
content of this document corresponds to the version \framacversion (\today) of
\FramaC. However the development of \FramaC is still ongoing: features
described here may still evolve in the future.
\section*{Acknowledgements}
We gratefully thank all the people who contributed to this document: Patrick
Baudin, Mickaël Delahaye, Philippe Hermann, Benjamin Monate and Dillon Pariente.
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\include{user-intro}
\include{user-overview}
\include{user-start}
\include{user-plugins}
\include{user-sources}
\include{user-analysis}
\include{user-properties}
\include{user-services}
\include{user-gui}
\include{user-report}
\include{user-variadic}
\include{user-errors}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\appendix
\include{user-changes}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\cleardoublepage
\phantomsection
\addcontentsline{toc}{chapter}{\bibname}
\bibliographystyle{plain}
\bibliography{./userman}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\cleardoublepage
\phantomsection
\addcontentsline{toc}{chapter}{\listfigurename}
\listoffigures
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\cleardoublepage
\phantomsection
\addcontentsline{toc}{chapter}{\indexname}
\printindex
\end{document}