250 “MISRA C” [web site] (Nuneaton, Warwickshire, UK: Motor Industry Software Reliability Association
[MISRA]).
251 T.M. Austin, S.E. Breach, and G.S. Sohi, “Efficient Detection of All Pointer and Array Access Errors,”
in Proceedings of the ACM SIGPLAN’94 Conference on Programming Language Design and