Re:Boringcc: Proposal for a C compiler for secure software
by nickpsecurity on Monday December 21, 2015 @07:23PM
(#10774675)
Cyclone was already a good response. I'll add that you want one that's better than C and easy enough to port to. One that combines simplicity, fast compilation, fast execution, no undefined behavior, and plenty of safety.
Fortunately, Niklaus Wirth and his people already implemented a half dozen or so of them. Plus industrial variants like Delphi (or FreePascal) and Modula-3. Safer, faster to develop, all used for OS's, most with GC, and fast enough in production. This of course assumes you won't use Ada, which eliminated most of safety issues as well.
I doubt people will build on them. The dangers of C have too much allure. Plus all the code already written. ;)
Fortunately, Niklaus Wirth and his people already implemented a half dozen or so of them. Plus industrial variants like Delphi (or FreePascal) and Modula-3. Safer, faster to develop, all used for OS's, most with GC, and fast enough in production. This of course assumes you won't use Ada, which eliminated most of safety issues as well.
I doubt people will build on them. The dangers of C have too much allure. Plus all the code already written. ;)