2026-08-15T08:57:59Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:24296 2025-12-12T15:04:28Z ddc:004 open_access

Im-C - A Memory-Safe C Interpreter Providing a Better Learning, Testing, and Debugging Experience Kunii, Masaki Piumarta, Ian C programming Language debugging Tools memory Safety While it is a highly flexible and efficient language, C programming can be annoying for beginners who have difficultly finding, debugging, or understanding errors - especially those related to memory manipulation. This paper describes an initial phase of Im-C, a project whose goal is to develop a number of related environments that progress from easy-to-understand "C-with-objects" to a safe environment for both testing and learning to write "real" C programs, bringing more fun to the programming experience. In the current phase an experimental C interpreter has been developed to provide a foundation for real-time validation of C program behavior. The interpreter identifies errors related to memory manipulation, pointer operations and array access, by storing all values as objects containing meta-data, while preserving the semantics expected by C programmers. We validate the effectiveness of our interpreter by comparing its ability to detect a range of both common and obscure errors against the two most popular and mature tools currently available. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Masaki Kunii and Ian Piumarta 2025 Is Part Of OASIcs, Volume 134, Companion Proceedings of the 9th International Conference on the Art, Science, and Engineering of Programming (Programming 2025) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/OASIcs.Programming.2025.12 urn:nbn:de:0030-drops-242968 https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.Programming.2025.12 eng https://creativecommons.org/licenses/by/4.0/legalcode