2017/12/04 by Manuel Rigger, Rene Mayrhofer, Roland Schatz +2 · 2 voices · 1 citation
Computer Science · #Security and Verification in Computing #Logic, programming, and type systems #Distributed systems and fault tolerance
paper · pdf · doi:10.22152/programming-journal.org/2018/2/4
Context: In C, low-level errors, such as buffer overflow and use-after-free, are a major problem, as they cause security vulnerabilities and hard-to-find bugs. C lacks automatic checks, and programmers cannot apply defensive programming techniques because objects (e.g., arrays or structs) lack run-time information about bounds, lifetime, and types.