Open AccessStatically-Guided Fork-based Symbolic Execution for Vulnerability Detection
Author(s) -
Yue Wang,
Hao Sun,
Qingkai Zeng
Publication year - 2015
Publication title -
proceedings/proceedings of the ... international conference on software engineering and knowledge engineering
Language(s) - Uncategorized
Resource type - Conference proceedings
SCImago Journal Rank - 0.155
H-Index - 14
eISSN - 2325-9000
pISSN - 2325-9086
DOI - 10.18293/seke2015-094
Subject(s) - fork (system call) , computer science , symbolic execution , vulnerability (computing) , programming language , computer security , operating system , software
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom