blockspacer / 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 39.4%Language:C++ 30.3%Language:Shell 15.2%Language:Makefile 8.8%Language:HTML 5.3%Language:M4 0.5%Language:CMake 0.2%Language:Assembly 0.2%Language:Roff 0.2%