@mastersthesis{scheibner-thesis2014,
  title = {Control Flow Analysis for Event-Driven Programs}, 
  author = {Florian Scheibner}, 
  school = {Technical University of Munich}, 
  volume = {B.Sc}, 
  year = {2014}, 
  month = {July}, 
  address = {Munich}, 
  pages = {0--71}, 
  type = {Bachelors}, 
  abstract = {Static analysis is often used to automatically check for common bugs in
        programs. Compilers already check for some common programming errors and issue
        warnings; however, they do not do a very deep analysis because this would slow
        the compilation of the program down. Specialized tools like Coverity or Clang
        Static Analyzer look at possible runs of a program and track the state of
        variables in respect to function calls. This information helps to identify
        possible bugs. In event driven programs like GNUnet callbacks are registered for
        later execution. Normal static analysis cannot track these function calls. This
        thesis is an attempt to extend different static analysis tools so that they can
        handle this case as well. Different solutions were thought of and executed with
        Coverity and Clang. This thesis describes the theoretical background of model
        checking and static analysis, the practical usage of wide spread static analysis
        tools, and how these tools can be extended in order to improve their usefulness}, 
  www_section = {event-driven, flow control, GNUnet, static analysis}, 
  www_pdf_url = {https://git.gnunet.org/bibliography.git/plain/docs/scheibner_thesis.pdf}, 
  www_tags = {selected}, 
  url = {https://bibliography.gnunet.org}, 
}