Lines Matching full:symbolic
1084 // Bind the return value to the symbolic value from the heap region.2323 // Check if the location is a freed symbolic region.2333 // If a symbolic region is assumed to NULL (or another constant), stop tracking
