Software Engineering Institute | Carnegie Mellon University
Software Engineering Institute | Carnegie Mellon University

Digital Library

Aaron Ballman
December 2016 - Presentation Avoiding Insecure C++

Topics: Secure Coding

This presentation introduces the SEI CERT C++

November 2016 - Presentation Construction and Implementation of CERT Secure Coding Rules Improving Automation of Secure Coding

Topics: Secure Coding

This presentation describes the need for secure coding standards, which help reduce vulnerabilities due to programming errors.

November 2016 - Presentation Establishing Coding Requirements for Non-Safety-Critical C++ Systems

Authors: Aaron Ballman

Developed checkers, rules, and rule organization for secure C++ code

October 2016 - Poster Establishing Coding Requirements for Non-Safety-Critical C++

Authors: Aaron Ballman

Establishing Coding Requirements for Non-Safety-Critical C++

October 2014 - Article C/C++ Thread Safety Analysis

Topics: Secure Coding

In this paper, the authors describe Clang Thread Safety Analysis, a tool that uses annotations to enforce thread safety policies in C and C++ programs.