[Paper Review]HEAPSTER: Analyzing the Security of Dynamic Allocators for Monolithic Firmware Images