Memory overflow protection for embedded systems using run-time checks, reuse and compression