Pinned Repositories
ironclad
Ironclad C++ brings type-safety to C++. It provides safe alternatives to unsafe constructs in C++ to prevent type-safety errors that lead to security vulnerabilities. The project is detailed in the paper "Ironclad C++: A Library-Augmented Type-Safe Subset of C++."
misc
SaferCPlusPlus
A collection of safe data types that are compatible with, and can substitute for, common unsafe native c++ types
SaferCPlusPlus-AutoTranslation
This project has been superseded by SaferCPlusPlus-AutoTranslation2 (https://github.com/duneroadrunner/SaferCPlusPlus-AutoTranslation2) and remains here for posterity.
SaferCPlusPlus-AutoTranslation2
auto-conversion of C source files to a memory-safe subset of C++
SaferCPlusPlus-BenchmarksGame
Some benchmarks for SaferCPlusPlus
SaferCPlusPlus-Vector
This is a (very) old version of the project found here: https://github.com/duneroadrunner/SaferCPlusPlus
scpptool
scpptool is a command line tool to help enforce a memory and data race safe subset of C++.
test1proj
wt_example_safer_mission
Making c++ web programming safer.
duneroadrunner's Repositories
duneroadrunner/SaferCPlusPlus
A collection of safe data types that are compatible with, and can substitute for, common unsafe native c++ types
duneroadrunner/scpptool
scpptool is a command line tool to help enforce a memory and data race safe subset of C++.
duneroadrunner/SaferCPlusPlus-AutoTranslation
This project has been superseded by SaferCPlusPlus-AutoTranslation2 (https://github.com/duneroadrunner/SaferCPlusPlus-AutoTranslation2) and remains here for posterity.
duneroadrunner/SaferCPlusPlus-AutoTranslation2
auto-conversion of C source files to a memory-safe subset of C++
duneroadrunner/SaferCPlusPlus-BenchmarksGame
Some benchmarks for SaferCPlusPlus
duneroadrunner/misc
duneroadrunner/ironclad
Ironclad C++ brings type-safety to C++. It provides safe alternatives to unsafe constructs in C++ to prevent type-safety errors that lead to security vulnerabilities. The project is detailed in the paper "Ironclad C++: A Library-Augmented Type-Safe Subset of C++."
duneroadrunner/wt_example_safer_mission
Making c++ web programming safer.
duneroadrunner/SaferCPlusPlus-Vector
This is a (very) old version of the project found here: https://github.com/duneroadrunner/SaferCPlusPlus
duneroadrunner/test1proj