diff --git a/report/fiche_synthese.tex b/report/fiche_synthese.tex index 5772d28..c77981a 100644 --- a/report/fiche_synthese.tex +++ b/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} diff --git a/report/report.tex b/report/report.tex index a402d42..a2cc555 100644 --- a/report/report.tex +++ b/report/report.tex @@ -1,10 +1,10 @@ -\title{Le titre de votre rapport \\ -Pas plus du recto-verso pour cette fiche} +\title{DWARF debugging data, compilation and verification} -\author{Votre nom, celui de votre encadrant, le nom de son - équipe/labo} +\author{Théophile Bastian\\ +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 diff --git a/shared/my_hyperref.sty b/shared/my_hyperref.sty index 21c5f45..ba42162 100644 --- a/shared/my_hyperref.sty +++ b/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 - linkcolor=link_blue, % color of internal links (change box color with linkbordercolor) - citecolor=green, % color of links to bibliography + colorlinks=true, % false: boxed links; true: colored links + linkcolor=linkcolor, % color of internal links (change box color with linkbordercolor) + 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 } diff --git a/shared/report.bib b/shared/report.bib index 694cfc7..1df40b4 100644 --- a/shared/report.bib +++ b/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/}, +}