My former research group in Cambridge put a very nice tool online, Cerberus, with a web interface. "Cerberus is a tool for exploring the semantics of the C programming language". So whomever must program C may want to use and discover C semantics and undefined behaviour - find it at

Sign in to participate in the conversation

Server run by the main developers of the project 🐘 It is not focused on any particular niche interest - everyone is welcome as long as you follow our code of conduct!