IFSE (Integrating Fuzz Solving into Symbolic Execution) is an open-sourced tool implementing the relevant techniques on top of KLEE to handle the closed-box (CB) functions in symbolic execution.
You can refer to the following documents for a deeper understanding of IFSE.
| Document | Brief Introduction |
|---|---|
| SETUP.md | Guide on how to set up IFSE and recompile IFSE when needed. |
| GUIDE.md | Guide on how to use IFSE through command line. |
| EVALUATION.md | Evaluation result of IFSE. |
| REPRODUCE.md | Guide on how to reproduce the evaluation result. |
-
Qichang Wang, East China Normal University, China
-
Chuyang Chen, The Ohio State University, USA
-
Ruiyang Xu, East China Normal University, China
We appreciate the contributions and support from:
-
Ting Su, East China Normal University, China
-
Haiying Sun, East China Normal University, China
-
Chengcheng Wan, East China Normal University, China
We welcome any feedback or questions on IFSE. Free feel to share your ideas, open issues or pull requests. We are actively maintaining IFSE to benefit our community.