Invention Grant
US09471461B2 Guarding a monitoring scope and interpreting partial control flow context 有权
保护监控范围并解释部分控制流程环境

Guarding a monitoring scope and interpreting partial control flow context
Abstract:
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.
Information query
Patent Agency Ranking
0/0