.. Documentation of SymFusion

SymFusion: Hybrid Instrumentation for Concolic Execution
==================================================

.. raw:: html

    <!-- <p><img src="https://circleci.com/gh/ercoppa-bot/fuzzolic-builder-ci.svg?style=shield&circle-token=d8cf8057b9bcee4923bdb611402eb5d7a7b8f0fe" /><br /></p> -->

News
------------

* The preprint of the paper accepted at ASE 2022 is available: [`PDF <https://github.com/ecoppa/ecoppa.github.io/raw/master/assets/pdf/symfusion-preprint.pdf>`_].
* **The code of SymFusion has been released.**

Publications
------------

* Emilio Coppa, Heng Yin, and Camil Demetrescu. SymFusion: Hybrid Instrumentation for Concolic Execution. Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering (ASE 2022), 2022 `[PDF] <https://github.com/ecoppa/ecoppa.github.io/raw/master/assets/pdf/symfusion-preprint.pdf>`_

.. code-block:: latex

   @inproceedings{SYMFUSION-ASE22,
      author={Coppa, Emilio and Yin, Heng  and Demetrescu, Camil},
      title={{SymFusion: Hybrid Instrumentation for Concolic Execution}},
      booktitle={Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering},
      series={ASE '22},
      doi={10.1145/3551349.3556928},
      year={2022},
   }

.. toctree::
   :maxdepth: 2
   :caption: Getting Started
   
   install
   usage
   microbenchmarks

.. toctree::
   :maxdepth: 2
   :caption: Development
   

   Source code SymFusion <https://github.com/season-lab/SymFusion>