Assertion list for term "dereference invalid pointer".

Results from Ascent++: 1
kernel CapableOfdereference invalid pointer 0.16