Optimizing Handlers for Application-Specific Operations for Validating C++ Programs Using Symbolic Execution

摘要

Particular embodiments discover a relationship between a plurality of methods of a C++ object; define one or more rules to represent the relationship; verify the rules by symbolically executing the methods; and if the rules are verified, then use the rules when symbolically executing the methods so that bytecode of the methods is not executed.