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

Digital Library

Javascript is currently disabled for your browser. For an optimal search experience, please enable javascript.

Advanced Search

Basic Search

Content Type

Topics

Publication Date

Aaron Ballman
December 2016 - Presentation Avoiding Insecure C++

Topics: Secure Coding

Authors: David Svoboda, Aaron Ballman

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

Authors: Mark Sherman, Aaron Ballman

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

Authors: DeLesley Hutchins (Google, Inc.), Aaron Ballman, Dean 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.