Aaron Ballman
Software Engineering Institute
Publications by Aaron Ballman
-
Avoiding Insecure C++
December 07, 2016 • Presentation
David SvobodaAaron Ballman
This presentation introduces the SEI CERT C++
read -
Construction and Implementation of CERT Secure Coding Rules Improving Automation of Secure Coding
November 30, 2016 • Presentation
Mark ShermanAaron Ballman
This presentation describes the need for secure coding standards, which help reduce vulnerabilities due to programming errors.
read -
Establishing Coding Requirements for Non-Safety-Critical C++ Systems
November 01, 2016 • Presentation
Aaron Ballman
Developed checkers, rules, and rule organization for secure C++ code
read -
Establishing Coding Requirements for Non-Safety-Critical C++
October 18, 2016 • Poster
Aaron Ballman
Establishing Coding Requirements for Non-Safety-Critical C++
read -
C/C++ Thread Safety Analysis
October 15, 2014 • Article
DeLesley Hutchins (Google, Inc.)Aaron BallmanDean F. Sutherland
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.
read