3 ms·
Can this DSL be extended to cover other classes of bugs and undefined behaviour in C without spilling over into runtime checks?
by Santosh83 9y ago
Can this DSL be extended to cover other classes of bugs and undefined behaviour in C without spilling over into runtime checks?
- nigeltao 9y agoPossibly. I'd like Puffs (and its generated C code) to be free of UB (and I've skimmed the blog.regehr.org posts), but I'm not 100% certain if it is.