Showing 1 - 10 of 11 results for the secure coding Type - White Paper
In this paper, the authors propose the use of secure coding standards in the development of software for surface combatants and submarines.
In this paper, the authors summarize the Common Weakness Enumeration (CWE) and CERT Secure Coding Standards and the relationship between the two.
In this paper, the authors describe the development of a secure coding module that shows how to capture content, ensure learning, and scale to meet demand.
This plan is a government-provided customizable document that is part of the acquisition's government reference library.
In this paper, David Svoboda describes the Pointer Ownership Model, which can statically identify classes of errors involving dynamic memory in C/C++ programs.
In this paper, David Svoboda provides the findings of a SCALe audit on a codebase.
In this white paper, the authors map eight CERT tools, services, and processes to Microsoft's Simplified Security Development Lifecycle.
In this paper, the authors present the as-if infinitely ranged (AIR) integer model, which provides a mechanism for eliminating integral exceptional conditions.
In this paper, the authors present a standard specification for managed strings.
This thesis describes a static taint analysis for Android that combines the FlowDroid and Epicc analyses to track inter- and intra-component data flow.