SymFusion: Hybrid Instrumentation for Concolic Execution

News

• The preprint of the paper accepted at ASE 2022 is available: [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]

@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},
}

Getting Started

• Installation
  • Docker container
  • Manual build
  • Tests
• Usage
  • Concolic execution (Python wrapper)
  • Hybrid fuzzing setup with AFL++ (Rust wrapper)
• Microbenchmarks
  • 01 - CPU Intensive Loop
  • 02 - Data Flow via External Function
  • 03 - x86_64 Division in Internal Code
  • 03b - x86_64 Division in External Code
  • 05 - ntohs
  • 05 - strlen
  • 06 - Overhead of the Context Switch

Development

• Source code SymFusion