<--- Back to Details
First PageDocument Content
Software bugs / Clang / Objective-C / C / LLVM / Static program analysis / Coverity / Software engineering / Software / Computing
Date: 2010-02-25 20:20:06
Software bugs
Clang
Objective-C
C
LLVM
Static program analysis
Coverity
Software engineering
Software
Computing

Add to Reading List

Source URL: llvm.org

Download Document from Source Website

File Size: 796,45 KB

Share Document on Facebook

Similar Documents

Computing / Computer graphics / 3D rendering / Video game development / Computer programming / Graphics hardware / Graphics libraries / Texture atlas / Graphics processing unit / Texture mapping / Optimizing compiler / Rendering

Static Program Analysis for Identifying Energy Bugs in Graphics-Intensive Mobile Apps Chang Hwan Peter Kim, Daniel Kroening, and Marta Kwiatkowska Department of Computer Science, University of Oxford, UK

DocID: 1xVY6 - View Document

Logic / Mathematical logic / Theoretical computer science / FO / Finite model theory / Predicate transformer semantics / Model theory / Substitution

Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) Exploiting Traces in Static Program Analysis Better Model Checking through printfs Alex Groce, Rajeev Joshi

DocID: 1xTqe - View Document

International Journal of Computer Science and Software Engineering (IJCSSE), Volume 7, Issue 1, January 2018 ISSN (Online): www.IJCSSE.org Page: A Development of Static Analysis Program and Its Applicati

DocID: 1uyDi - View Document

Explaining Program Failures via Postmortem Static Analysis Roman Manevich Tel Aviv University Manu Sridharan

DocID: 1tOhr - View Document

Static Differential Program Analysis for Software-Defined Networks Tim Nelson, Andrew D. Ferguson, and Shriram Krishnamurthi Brown University Abstract. Networks are increasingly controlled by software, and bad

DocID: 1tMSm - View Document