Hacker GitHub

← All repos

crdelozier/ironclad

View on GitHub ↗ ★ 19 C

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

3 mentions on Hacker News by 2 people: 0 stories, 3 comments · first 2013-12-06 · latest 2016-10-21

Mentions per year 3 mentions · busiest year 2016 (2)
20082026
AllStoriesComments NewestTopOldest
  1. …want to apply or improve on Ironclad, though. http://acg.cis.upenn.edu/papers/ironclad-oopsla.pdf https://github.com/crdelozier/ironclad
    comment by nickpsecurity · 2016-10-21 · in OpenSSL after Heartbleed
  2. …Ironclad C++ and it's on Github. :) https://www.cis.upenn.edu/~eir/papers/2013/ironclad/paper.pd... https://github.com/crdelozier/ironclad/ Rust still wins out against it. Yet, a C++ subset with type and memory safety capabilities does…
    comment by nickpsecurity · 2016-06-13 · in “Safe C++ Subset” Is Vapourware
  3. I also found a GitHub repo: https://github.com/crdelozier/ironclad/
    comment by ahomescu1 · 2013-12-06 · in Ironclad C++: A Library-Augmented Type-Safe Subset of C++ (OOPSLA 2013)