Assertion list for term "allocated by malloc".
Results from Ascent++: 2
memory → ReceivesAction → allocated by malloc 0.56
block → ReceivesAction → allocated by malloc 0.51