CERT-SEI

Secure Coding

October/November Issue of the Secure Coding Newsletter

The October/November 2014 issue of the Secure Coding Newsletter includes notes about language standards updates, and a list of events, training, and helpful resources.
Read the latest issue

Clang Thread Safety Analysis Tool

Google and the CERT Secure Coding Initiative developed Clang Thread Safety Analysis, a tool that uses annotations to declare and enforce thread safety policies in C and C++ programs.
Read more and download this tool

Compiler-Enforced Buffer Overflow Elimination

The Compiler-Enforced Buffer Overflow Elimination tool is a research prototype that prevents buffer overflows in multithreaded code and has additional features not found in other memory safety mechanisms.
Read more and download this tool

Java Coding Guidelines: Now Available Free Online

The CERT Division is making the content of its Java Coding Guidelines book available free online.
Browse the free guidelines

SCALe Demonstration Videos

Watch demonstration videos of Source Code Analysis Laboratory (SCALe), which tests software for conformance to CERT secure coding standards. Explore the collection
Explore the collection

DidFail Tool

The DidFail tool detects potential leaks of sensitive information in Android apps.
Download DidFail and learn more about it

Secure Coding in C and C++ Course

We offer this four-day course to help you identify and prevent common programming errors in C and C++, plus understand how these errors can lead to code that is vulnerable to exploitation.
Register for this course

Our Mission: We reduce the number of vulnerabilities to a level that can be fully mitigated in operational environments. This reduction is accomplished by preventing coding errors or discovering and eliminating security flaws during implementation and testing.

The CERT Division has been extremely successful in the development of secure coding standards, which have been adopted at corporate levels by companies such as Cisco and Oracle, and the development of the Source Code Analysis Laboratory (SCALe), which supports conformance testing of systems against these coding standards. The success of the secure coding standards and SCALe contributed to the impetus for including software assurance requirements in the National Defense Authorization Act (NDAA) for Fiscal Year 2013.

Eliminating vulnerabilities during development can result in a two to three orders-of-magnitude reduction in the total cost of repairing the code versus making the repairs afterwards. To achieve these goals, it is necessary to determine how to develop verifiably secure code within budget and on schedule.

We research secure coding.

We do research and development to create tools to support creation of secure code right from the start, and analytical tools to detect code vulnerabilities. We also work with the software development and security communities to research and develop secure coding standards for commonly used programming languages and for smartphone platforms (Android, iOS, Win8).

We participate in international standards development.

We participate in the development of international standards for programming languages to improve the security of these languages.

We provide SCALe conformance testing services.

We assess whether your software conforms to CERT secure coding standards through our Source Code Analysis Laboratory (SCALe).

Engage with Us

Help inform our research. Share what has worked for you, or let us know if you need support from our team.

Contact Us

News & Announcements

Publications & Media

October/November Secure Coding Newsletter Released
The October/November 2014 issue of the Secure Coding Newsletter has been released. The newsletter includes news, notes about language standards updates, and a list of events, training, and resources.

Java Coding Guidelines Available Free Online
We have made the Java coding guidelines available online both to promote more widespread adoption of secure coding standards and as a thank you to the software security and software development communities that have collaborated with us to make secure coding initiatives a success.

Clang Thread Safety Analysis Tool
Google and the CERT Secure Coding Initiative developed Clang Thread Safety Analysis, a tool that uses annotations to declare and enforce thread safety policies in C and C++ programs.

SCALe Demonstration Videos Available
These videos, narrated by David Svoboda, illustrate the process of auditing a small C codebase using our Source Code Analysis Laboratory (SCALe).

Performance of Compiler-Assisted Memory Safety Checking
In this new SEI technical note, David Keaton and Robert Seacord describe the criteria for deploying a compiler-based memory safety checking tool and the performance that can be achieved with two such tools whose source code is freely available.

The CERT C Coding Standard: 98 Rules for Developing Safe, Reliable, and Secure Systems, Second Edition
In this book, Robert Seacord provides rules to help programmers ensure that their code complies with the new C11 standard and earlier standards, including C99.

DidFail Tool
The DidFail tool uses static analysis to detect potential leaks of sensitive information within a set of Android apps.

Java Coding Guidelines
In this book, Robert Seacord brings together expert guidelines, recommendations, and code examples to help you use Java code to perform mission-critical tasks.