occia / Rubick

Prototype of "Automata-Guided Control-Flow-Sensitive Fuzz Driver Generation". Forked for potential update.

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Rubick

Rubick is an automata-based fuzz driver generation prototype. It is published in the work published in Usenix Security 2023.

This repository contains both the source code and the setting used in evaluation of Rubick. For more usage, please see the README.md in each sub-directory.

File Architectures

source     -> you can find all related source code of Rubick including crawling, usage automaton learning, and final fuzz driver generation
evaluation -> you can directly get the generated fuzz drivers and settings used in paper evaluation

Citation

@article{zhangautomata,
  title={Automata-Guided Control-Flow-Sensitive Fuzz Driver Generation},
  author={Zhang, Cen and Li, Yuekang and Zhou, Hao and Zhang, Xiaohan and Zheng, Yaowen and Zhan, Xian and Xie, Xiaofei and Luo, Xiapu and Li, Xinghua and Liu, Yang and others}
}

About

Prototype of "Automata-Guided Control-Flow-Sensitive Fuzz Driver Generation". Forked for potential update.

License:GNU General Public License v3.0


Languages

Language:Java 92.1%Language:Shell 4.7%Language:Python 2.8%Language:Starlark 0.4%