3 ms·
This seems like a cool idea! Are there tools to automate the translation from C to SaferCPlusPlus?
by obastani 10y ago
This seems like a cool idea! Are there tools to automate the translation from C to SaferCPlusPlus?
- duneroadrunner 10y agoNot yet, unfortunately. It might be a while before I get a chance to address it, so if anyone out there is looking for a project, it should be fairly straightforward. At least compared to tools like the subject of this post that engage in some non-trivial semantic reasoning. :)