Patent ID: 8423965

Claim:
A system for tracing dataflow in a computer program having machine instructions, the system comprising: a decoding module configured to decode an individual machine instruction of the computer program that is obtained from a computer memory, wherein the machine instructions of the computer program are processor-executable and the computer memory is configured to store the machine instructions; a dataflow primitive engine configured to receive the decoded individual machine instruction from the decoding module and to generate at least one dataflow primitive based on a dataflow primitive classification into which the decoded individual machine instruction is categorized by the dataflow primitive engine; a dataflow state table configured to track memory locations affected by the dataflow in the computer program, wherein the at least one dataflow primitive is applied to the dataflow state table to update a dataflow status for one or more individual memory locations affected by the decoded individual machine instruction; and one or more processors configured to execute at least one of the decoding module or the dataflow primitive engine.