Memory safety in C by abstract interpretation. - Joseph Jones; James Wasson; Sean Brown; Seth Poulsen; Peter Aldous; Eric Mercer (ACM SIGSOFT Softw. Eng. Notes, 2018)