Proceedings of the 2015 Joint International Mechanical, Electronic and Information Technology Conference

<Previous Article In Volume
Next Article In Volume>

Achieve Fuzzing Based on Symbolic Execution Platform

Authors
He Hao, Gan Shuitao
Corresponding Author
He Hao
Available Online December 2015.
DOI
10.2991/jimet-15.2015.185How to use a DOI?
Keywords
fuzzing, symbolic execution
Abstract

The traditional software development does not consider the concerns, which is can addressing security problem effectively. So how to find the problem is the standard consideration for security researchers. In the field of software security testing, there are four ways, Fuzzing, Dynamic Taint Analysis, Model Checking and Symbolic Execution. This paper we use symbolic execution to achieve functional of fuzzing.

Copyright
© 2015, the Authors. Published by Atlantis Press.
Open Access
This is an open access article distributed under the CC BY-NC license (http://creativecommons.org/licenses/by-nc/4.0/).

Download article (PDF)

<Previous Article In Volume
Next Article In Volume>
Volume Title
Proceedings of the 2015 Joint International Mechanical, Electronic and Information Technology Conference
Series
Advances in Computer Science Research
Publication Date
December 2015
ISBN
10.2991/jimet-15.2015.185
ISSN
2352-538X
DOI
10.2991/jimet-15.2015.185How to use a DOI?
Copyright
© 2015, the Authors. Published by Atlantis Press.
Open Access
This is an open access article distributed under the CC BY-NC license (http://creativecommons.org/licenses/by-nc/4.0/).

Cite this article

risenwbib
TY  - CONF
AU  - He Hao
AU  - Gan Shuitao
PY  - 2015/12
DA  - 2015/12
TI  - Achieve Fuzzing Based on Symbolic Execution Platform
BT  - Proceedings of the 2015 Joint International Mechanical, Electronic and Information Technology Conference
PB  - Atlantis Press
SP  - 991
EP  - 993
SN  - 2352-538X
UR  - https://doi.org/10.2991/jimet-15.2015.185
DO  - 10.2991/jimet-15.2015.185
ID  - Hao2015/12
ER  -