首页>
外国专利>
EFFICIENT SYMBOLIC EXECUTION OF SOFTWARE USING STATIC ANALYSIS
EFFICIENT SYMBOLIC EXECUTION OF SOFTWARE USING STATIC ANALYSIS
展开▼
机译:使用静态分析进行软件的有效符号执行
展开▼
页面导航
摘要
著录项
相似文献
摘要
In one embodiment, a method includes accessing software comprising one or more inputs, one or more variables, and one or more segments of code that when executed operate on one or more of the inputs or one or more of the variables. The method includes, for every variable, determining whether the variable is relevant or irrelevant to a set of the inputs when expressed symbolically and, if the variable is relevant, instrumenting the variable and every one of the segments of code associated with the variable. A segment of code is associated with the variable if the variable affects the segment of code when executed. The method includes symbolically executing the software with every relevant variable and its associated segments of code as instrumented to test the software.
展开▼