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

Showing 1 - 2 of 2 results for the Author - david svoboda , Type - White Paper

White Paper | April 2015 - White Paper SCALe Analysis of JasPer Codebase By David Svoboda

In this paper, David Svoboda provides the findings of a SCALe audit on a codebase.

White Paper | June 2013 - White Paper Pointer Ownership Model By David Svoboda

In this paper, David Svoboda describes the Pointer Ownership Model, which can statically identify classes of errors involving dynamic memory in C/C++ programs.