santoshn / 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++."

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

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++."

About

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++."

License:Other


Languages

Language:C 38.2%Language:C++ 30.8%Language:Shell 15.4%Language:Makefile 8.9%Language:HTML 5.3%Language:M4 0.5%Language:CMake 0.2%Language:Assembly 0.2%Language:Groff 0.2%Language:Objective-C 0.2%