@manual{dwarf5std,
    title           = {DWARF Debugging Information Format version 5},
    organization    = {DWARF Debugging Information Format Committee},
    author          = {DWARF5},
    url             = {http://dwarfstd.org},
    year            = {2017},
}

@manual{c11std,
    title           = {ISO/IEC 9899:2011},
    organization    = {International Organization for Standardization},
    author          = {C11},
}

@manual{systemVabi,
    title           = {System V Application Binary Interface, AMD64
        architecture},
    url             = {https://software.intel.com/sites/default/files/article/402129/mpx-linux64-abi.pdf},
}


@online{libunwind,
    title           = {Libunwind webpage},
    url             = {http://www.nongnu.org/libunwind/},
}

@inproceedings{oakley2011exploiting,
  title={Exploiting the Hard-Working DWARF: Trojan and Exploit Techniques with No Native Executable Code.},
  author={Oakley, James and Bratus, Sergey},
  booktitle={WOOT},
  pages={91--102},
  year={2011}
}

@article{dinechin2000exn,
    title={C++ exception handling},
    author={De Dinechin, Christophe},
    journal={IEEE Concurrency},
    volume={8},
    number={4},
    pages={72--79},
    year={2000},
    publisher={IEEE}
}

@article{koening1990exception,
    title={Exception handling for C++},
    author={Koening, Andrew and Stroustrup, Bjarne},
    journal={Journal of Object-Oriented Programming},
    volume={3},
    number={2},
    pages={16--33},
    year={1990},
    publisher={SIGS Publications},
    url={http://www.stroustrup.com/except89.pdf}
}


@online{niditoexn,
    title={Exceptions in C with Longjmp and Setjmp},
    author={Nidito, Francesco},
    url={https://www.di.unipi.it/~nids/docs/longjump_try_trow_catch.html},
    urldate={2018-08-04}
}

@online{hackbenchsrc,
    title={Hackbench},
    author={Zhang, Yanmin},
    url={https://people.redhat.com/mingo/cfs-scheduler/tools/hackbench.c},
    year={2008}
}

@inproceedings{csmith,
  author    = {Xuejun Yang and
               Yang Chen and
               Eric Eide and
               John Regehr},
  title     = {Finding and understanding bugs in {C} compilers},
  booktitle = {Proceedings of the 32nd {ACM} {SIGPLAN} Conference on Programming
               Language Design and Implementation, {PLDI} 2011, San Jose, CA, USA,
               June 4-8, 2011},
  pages     = {283--294},
  year      = {2011},
  crossref  = {DBLP:conf/pldi/2011},
  url       = {http://doi.acm.org/10.1145/1993498.1993532},
  doi       = {10.1145/1993498.1993532},
  timestamp = {Mon, 05 Jun 2017 12:39:37 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/pldi/YangCER11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@article{kell2016libcrunch,
  title={Dynamically diagnosing type errors in unsafe code},
  author={Kell, Stephen},
  journal={ACM SIGPLAN Notices},
  volume={51},
  number={10},
  pages={800--819},
  year={2016},
  publisher={ACM}
}

