search menu icon-carat-right cmu-wordmark

Secure Coding Tools and Advancements Publications

The documents in this collection describe tools useful to secure coding developed or advanced by the SEI.

Publisher:

Software Engineering Institute

Abstract

The documents in this collection describe tools useful to Secure Coding developed or advanced by the SEI:

  • Clang Thread Safety Analysis, a tool that uses annotations to enforce thread safety policies in C and C++ programs
  • how the DidFail tool was enhanced to improve its effectiveness
  • the Pointer Ownership Model, which can statically identify classes of errors involving dynamic memory in C/C++ programs
  • the as-if infinitely ranged (AIR) integer model, a mechanism for eliminating integral exceptional conditions

Collection Contents