junxzm1990 / afl-pt

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Ptrix: Efficient Hardware-Assisted Fuzzing for COTS Binary

It should be noted that we only tested Ptrix on bare metal machine running Ubuntu 14.04.5 with Linux kernel 4.4.0.

Introduction

PTrix is carefully designed to take full advantage of hardware feature - Intel Processor Trace as its underpinning tracing component. With PTrix, we demonstrate newly available hardware feature can significantly accelerate binary-only fuzzing through two elaborate designs, including a parallel scheme of trace parsing and a newly designed PT-friendly feedback.

Installation

Please refer to docs/INSTALL.md

Publication

Our paper can be found in the Ptrix - AsiaCCS 2019.

@inproceedings{yaohui2019,
 author = {Chen, Yaohui and Mu, Dongliang and Xu, Jun and Sun, Zhichuang and Shen, Wenbo and Xing, Xinyu and Lu, Long and Mao, Bing},
 title = {Ptrix: Efficient Hardware-Assisted Fuzzing for COTS Binary},
 booktitle = {Proceedings of the 2019 on Asia Conference on Computer and Communications Security},
 series = {ASIACCS '19},
 year = {2019},
 publisher = {ACM},
} 

CVEs discovered by Ptrix

CVE ID Vulnerability Type Vulnerable Software
CVE-2018-8816 Stack Exhaustion perl-5.26.1
CVE-2018-8881 Heap buffer overflow nasm-2.13.02rc2
CVE-2018-8882 Stack buffer overflow nasm-2.13.02rc2
CVE-2018-8883 Global buffer overflow nasm-2.13.02rc2
CVE-2018-10016 Division-by-zero nasm-2.14rc0
CVE-2018-9138 Stack Exhaustion binutils-2.29
CVE-2018-9996 Stack Exhaustion binutils-2.29
CVE-2018-10316 Denial-of-Service nasm-2.14rc0
CVE-2018-9251 Denial-of-Service libxml2-2.9.8

Technical details

PTrix uses a series of optimization techniques to exploit intel PT for maximum fuzzing efficiencies, including:

On the PT module side,

  1. Direct feedback translation
  2. Parallel packet decoding

On the AFL side,

  1. Switch feedback scheme from counted edge to slice to improve path sensitivity
  2. Use a bit instead of a byte of memory to record each slice to improve cache locality

Additionally, PTrix supports fork-server mode and multiplexes PT buffer for different fuzzing instances. There are some small catches please refer to docs/FAQ.md

Credits

Contributing

Please refer to docs/CONTRIBUTING.md

ToDo List

  1. Automatically patch the target binary if fuzz in PT mode (maybe create a copy and fuzz the copy instead).
  2. Change power scheduling function of AFL to deprioritize seeds that triggered crashes (avoid traping into local region).
  3. Gracely handle PMU interrupts.

Disclaimer of Warranty

BECAUSE THIS SOFTWARE IS LICENSED FREE OF CHARGE, THERE IS NO WARRANTY FOR THE SOFTWARE, TO THE EXTENT PERMITTED BY APPLICABLE LAW. EXCEPT WHEN OTHERWISE STATED IN WRITING THE COPYRIGHT HOLDERS AND/OR OTHER PARTIES PROVIDE THE SOFTWARE "AS IS" WITHOUT WARRANTY OF ANY KIND, EITHER EXPRESSED OR IMPLIED, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE. THE ENTIRE RISK AS TO THE QUALITY AND PERFORMANCE OF THE SOFTWARE IS WITH YOU. SHOULD THE SOFTWARE PROVE DEFECTIVE, YOU ASSUME THE COST OF ALL NECESSARY SERVICING, REPAIR, OR CORRECTION.

IN NO EVENT UNLESS REQUIRED BY APPLICABLE LAW OR AGREED TO IN WRITING WILL ANY COPYRIGHT HOLDER, OR ANY OTHER PARTY WHO MAY MODIFY AND/OR REDISTRIBUTE THE SOFTWARE AS PERMITTED BY THE ABOVE LICENCE, BE LIABLE TO YOU FOR DAMAGES, INCLUDING ANY GENERAL, SPECIAL, INCIDENTAL, OR CONSEQUENTIAL DAMAGES ARISING OUT OF THE USE OR INABILITY TO USE THE SOFTWARE (INCLUDING BUT NOT LIMITED TO LOSS OF DATA OR DATA BEING RENDERED INACCURATE OR LOSSES SUSTAINED BY YOU OR THIRD PARTIES OR A FAILURE OF THE SOFTWARE TO OPERATE WITH ANY OTHER SOFTWARE), EVEN IF SUCH HOLDER OR OTHER PARTY HAS BEEN ADVISED OF THE POSSIBILITY OF SUCH DAMAGES.

About

License:GNU General Public License v3.0


Languages

Language:C 49.7%Language:Perl 23.2%Language:Assembly 8.3%Language:Objective-C 3.9%Language:C++ 3.1%Language:Shell 2.0%Language:HTML 2.0%Language:Makefile 1.6%Language:Roff 1.1%Language:XS 1.0%Language:Perl 6 0.8%Language:Rich Text Format 0.8%Language:Scheme 0.5%Language:M4 0.3%Language:PLSQL 0.3%Language:DIGITAL Command Language 0.2%Language:TeX 0.1%Language:Yacc 0.1%Language:R 0.1%Language:Scala 0.1%Language:Python 0.1%Language:Prolog 0.1%Language:Lex 0.1%Language:Ada 0.0%Language:XSLT 0.0%Language:Pascal 0.0%Language:Awk 0.0%Language:C# 0.0%Language:RPC 0.0%Language:CMake 0.0%Language:Batchfile 0.0%Language:Java 0.0%Language:JavaScript 0.0%Language:GAP 0.0%Language:PHP 0.0%Language:Common Lisp 0.0%Language:CWeb 0.0%Language:GDScript 0.0%Language:Module Management System 0.0%Language:SAS 0.0%Language:Emacs Lisp 0.0%Language:PicoLisp 0.0%Language:Pawn 0.0%Language:WebAssembly 0.0%Language:Cuda 0.0%Language:MATLAB 0.0%Language:sed 0.0%Language:Clean 0.0%Language:SuperCollider 0.0%Language:CSS 0.0%Language:VCL 0.0%Language:Nix 0.0%Language:Rebol 0.0%Language:E 0.0%Language:Terra 0.0%Language:Smalltalk 0.0%Language:Lua 0.0%Language:Ruby 0.0%Language:Verilog 0.0%Language:TSQL 0.0%Language:GDB 0.0%Language:Mathematica 0.0%Language:RenderScript 0.0%Language:Max 0.0%Language:Tcl 0.0%Language:Rust 0.0%Language:PLpgSQL 0.0%Language:Elixir 0.0%