System and method for in-vivo multi-path analysis of binary software

A system and method for in-vivo multi-path analysis and testing of binary software including binary device drivers is disclosed. The system and method may be used to test a binary software system and may comprise a virtual machine, a symbolic execution engine and a modular plugin architecture. In addition, a device driver testing system is also disclosed wherein symbolic execution may be used to explore the device driver's execution paths and check for device driver behavior.


Year:
2012
Other identifiers:
EPO Family ID: 45890931
TTO: 6.1014
Laboratories:




 Record created 2017-06-13, last modified 2018-03-17


Rate this document:

Rate this document:
1
2
3
 
(Not yet reviewed)