首页>
外国专利>
Programmable symbolic execution based dynamic checker
Programmable symbolic execution based dynamic checker
展开▼
机译:基于可编程符号执行的动态检查器
展开▼
页面导航
摘要
著录项
相似文献
摘要
A method of analyzing a software program includes compiling the software program into an intermediate representation. The method also includes finding an instruction in the intermediate representation that matches a pattern in a check pattern. The method also includes generating an instrumented intermediate representation in which the instruction is modified according to an action specified in the check pattern. The method also includes symbolically executing the instrumented intermediate representation.
展开▼