CALL TRACE GENERATION VIA BEHAVIOR COMPUTATION

摘要

A method and system to detect behaviors of operational computer code. The method begins by tracking a synthetic call trace state variable when extracting the computed behavior of the program. The method continues by extending instruction semantics of call instructions with additional semantics by adding a current function call, either local or external API, to an existing call trace represented by the synthetic call trace state variable. A method finishes with extracting the computed behavior of a program.