1. Lattner, C., What every C programmer should know about undefined behavior, http://blog.llvm.org/2011/05/ what-every-c-programmer-should-know_14.html
2. Dudina, I.A. and Belevantsev, A.A., Using static symbolic execution to detect buffer overflows, Program. Comput. Software, 2017, vol. 43, no. 5, pp. 277–288.
3. Luecke, Coyle, J., Hoekstra, J., Kraeva, M., Li, Y., Taborskaia, O., and Yanmei Wang., A survey of systems for detecting serial run-time errors;R. Glenn,2006
4. Rigger, M., Pekarek, D., and Mossenbock, H., Context-aware failure-oblivious computing as a means of preventing buffer overflows, Proc. of the 12th International Conference, NSS, 2018, pp. 376–390.
5. Serebryany, K., Bruening, D., Potapenko, A., and Vyukov, D., AddressSanitizer: A fast address sanity checker, Proc. of the 2012 USENIX Annual Technical Conference, Berkeley, CA, 2012, pp. 309–318.