Advances, Systems and Applications
Probe | Description |
---|---|
Query_start | Initialize the record data at the beginning of the query |
Memory_allocate | Record the address, size, and value of a memory area when it is allocated on the heap or stack |
Interaction_update | Update the interaction number and add record values of tracked variables |
Memory_deallocate | End the tracking of a memory when it is deallocated |
Query_end | Determine the dynamic lifetime memory variables and calculate the state identification hash when the query terminates |