Follow

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 cerberus.cl.cam.ac.uk/

Sign in to participate in the conversation
Mastodon

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!