Start filling fiche_synthese

report/fiche_synthese.tex

@@ -5,15 +5,33 @@
 % Ne conservez pas les questions
 
 \subsection*{The general context}
-What is it about? Where does it come from? What is the state of the art in this area?
+
+The standard debugging data format for ELF binary files, DWARF, contains a lot
+of information. Among those are the stack unwinding data, which allows to
+unwind stack frames, restoring machine registers to their proper values, for
+instance within the context of a debugger.
+
+As debugging data can easily get heavy beyond reasonable if stored carelessly,
+the DWARF standard pays a great attention to data compactness and compression.
+This, as always, is at the expense of efficiency: accessing stack unwinding
+data for a particular program point can be quite costly.
+
+The most widely used library used for stack unwinding,
+\texttt{libunwind}~\cite{libunwind}, 
 
 \subsection*{The research problem}
 
+This internship explored the possibility to compile the standard ELF debugging
+information format, DWARF, into x86\_64 assembly. 
+
+
+\qtodo{Delete question} \textit{
 What is the question that you studied?
 Why is it important, what are the applications/consequences?
 Is it a new problem?
 If so, why are you the first researcher in the universe who consider it?
 If not, why did you think that you could bring an original contribution?
+}
 
 \subsection*{Your contribution}
 

report/report.tex

@@ -1,10 +1,10 @@
-\title{Le titre de votre rapport \\
+\title{DWARF debugging data, compilation and verification}
-Pas plus du recto-verso pour cette fiche}
 
-\author{Votre nom, celui de votre encadrant, le nom de son
+\author{Théophile Bastian\\
-  équipe/labo}
+Under supervision of Francesco Zappa-Nardelli\\
+{\textsc{parkas}, École Normale Supérieure de Paris}}
 
-\date{La date}
+\date{August 20, 2018}
 
 \documentclass[11pt]{article}
 
@@ -13,8 +13,10 @@ Pas plus du recto-verso pour cette fiche}
 \usepackage{amssymb}
 \usepackage{stmaryrd}
 \usepackage{mathtools}
+\usepackage{indentfirst}
 \usepackage[utf8]{inputenc}
-\usepackage[backend=biber,style=alphabetic]{biblatex}
+%\usepackage[backend=biber,style=alphabetic]{biblatex}
+\usepackage[backend=biber]{biblatex}
 
 \usepackage{../shared/my_listings}
 \usepackage{../shared/my_hyperref}
@@ -22,7 +24,7 @@ Pas plus du recto-verso pour cette fiche}
 \usepackage{../shared/common}
 \usepackage{../shared/todo}
 
-\addbibresource{../shared/semantics.bib}
+\addbibresource{../shared/report.bib}
 
 \begin{document}
 \maketitle

shared/my_hyperref.sty

@@ -1,7 +1,8 @@
 \usepackage{hyperref}
 \usepackage{xcolor}
 
-\definecolor{link_blue}{RGB}{0,0,97}
+\definecolor{linkcolor}{HTML}{251BC7}
+\definecolor{citecolor}{HTML}{2BC027}
 
 \hypersetup{
 %    bookmarks=true,         % show bookmarks bar?
@@ -17,9 +18,9 @@
 %    pdfproducer={Producer}, % producer of the document
 %    pdfkeywords={keyword1} {key2} {key3}, % list of keywords
 %    pdfnewwindow=true,      % links in new PDF window
-    colorlinks=true,       % false: boxed links; true: colored links
+    colorlinks=true,        % false: boxed links; true: colored links
-    linkcolor=link_blue,          % color of internal links (change box color with linkbordercolor)
+    linkcolor=linkcolor,    % color of internal links (change box color with linkbordercolor)
-    citecolor=green,        % color of links to bibliography
+    citecolor=citecolor,    % color of links to bibliography
     filecolor=magenta,      % color of file links
-    urlcolor=link_blue           % color of external links
+    urlcolor=linkcolor      % color of external links
 }

shared/report.bib

@@ -11,3 +11,8 @@
     organization    = {International Organization for Standardization},
     author          = {C11},
 }
+
+@online{libunwind,
+    title           = {Libunwind webpage},
+    url             = {http://www.nongnu.org/libunwind/},
+}