首页>
外国专利>
Guarding a monitoring scope and interpreting partial control flow context
Guarding a monitoring scope and interpreting partial control flow context
展开▼
机译:保护监视范围并解释部分控制流上下文
展开▼
页面导航
摘要
著录项
相似文献
摘要
A computer implemented method for maintaining a program's calling context correct even when a monitoring of the program goes out of a scope of a program analysis by validating function call transitions and recovering partial paths before and after the violation of the program's control flow. The method includes detecting a violation of control flow invariants in the software system including validating a source and destination of a function call in the software system, interpreting a pre-violation partial path responsive to a failure of the validating, and interpreting a post violation path after a violation of program flow.
展开▼