Fuzzgrind: an automatic fuzzing tool

First Page		Document Content
Date: 2016-07-01 12:08:46 Software Computer programming Debuggers Profilers Valgrind Symbolic execution Programming tool Software testing		Fuzzgrind: an automatic fuzzing tool Add to Reading List Source URL: esec-lab.sogeti.com Download Document from Source Website File Size: 1,91 MB Share Document on Facebook

	arXiv:1708.09114v1 [cs.CR] 30 AugFirmUSB: Vetting USB Device Firmware using Domain Informed Symbolic Execution Grant Hernandez∗ DocID: 1xVC4 - View Document
	Poster: Dynamic Taint Analysis of Concurrent Program Based on Symbolic Execution Yu Hao∗ , Xiaodong Zhang∗ , Zijiang Yang† and Ting Liu∗ ,IEEEauthorrefmark2 ∗ Ministry of Education Key Lab for Intelligent Netw DocID: 1xVzE - View Document
	Multi-Solver Support in Symbolic Execution Hristina Palikareva, Cristian Cadar SMT Workshop 2014, Vienna, 17 July 2014 Dynamic Symbolic Execution DocID: 1xV4A - View Document
	Symbolic Execution for a Clash-Free Subset of ASMs ? Gerhard Schellhorna , Gidon Ernsta , J¨org Pf¨ahlera , Stefan Bodenm¨ ullera , a Wolfgang Reif a Institute DocID: 1xU5v - View Document
	Symbolic execution for BIOS security1 Oleksandr Bazhaniuk, John Loucaides, Lee Rosenbaum, Mark R. Tuttle, Vincent Zimmer2 Intel Corporation May 25, 2015 Abstract We are building a tool that uses symbolic execution to DocID: 1viNk - View Document