Towards Efficient Heap Overflow Meaning