It should be noted that we only tested Ptrix on bare metal machine running Ubuntu 14.04.5 with Linux kernel 4.4.0.
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.
Please refer to docs/INSTALL.md
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},
}
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 |
PTrix uses a series of optimization techniques to exploit intel PT for maximum fuzzing efficiencies, including:
On the PT module side,
- Direct feedback translation
- Parallel packet decoding
On the AFL side,
- Switch feedback scheme from counted edge to slice to improve path sensitivity
- 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
Please refer to docs/CONTRIBUTING.md
- Automatically patch the target binary if fuzz in PT mode (maybe create a copy and fuzz the copy instead).
- Change power scheduling function of AFL to deprioritize seeds that triggered crashes (avoid traping into local region).
- Gracely handle PMU interrupts.
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.