Undefined behavior - PDFSEARCH.IO - Document Search Engine

Undefined behavior
Results: 32

#	Item
1	Taming Undefined Behavior in LLVM Juneyoung Lee Yoonseung Kim Youngju Song Chung-Kil Hur Seoul National University, Korea Add to Reading List Source URL: www.cs.utah.edu Language: English - Date: 2017-04-14 11:35:39 Software engineering Computer programming Computing Compiler construction Programming language implementation Compiler optimizations Object-oriented programming languages C++ Undefined behavior LLVM Optimizing compiler Static single assignment form
2	DOI:A Differential Approach to Undefined Behavior Detection By Xi Wang, Nickolai Zeldovich, M. Frans Kaashoek, and Armando Solar-Lezama Add to Reading List Source URL: locore.cs.washington.edu Language: English - Date: 2016-08-05 06:20:49
3	Towards Optimization-Safe Systems: Analyzing the Impact of Undefined Behavior Xi Wang, Nickolai Zeldovich, M. Frans Kaashoek, and Armando Solar-Lezama MIT CSAIL char buf = ...; Add to Reading List Source URL: people.csail.mit.edu Language: English*
4	Into the Depths of C: Elaborating the De Facto Standards Kayvan Memarian1 Justus Matthiesen1 James Lingard2 Kyndylan Nienhuis1 David Chisnall1 Robert N.M. Watson1 Peter Sewell1 1 University of Cambridge, UK Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2016-06-11 11:44:23 Software engineering Computing Computer programming Data types C Pointer Type safety Null pointer Undefined behavior Reference Aliasing Struct
5	Annotation Generation Frama-C’s annotation generator plug-in for Frama-C Aluminium Add to Reading List Source URL: frama-c.com Language: English - Date: 2016-06-01 04:33:33 Software engineering Software Computing C Programming language implementation Frama-C Data types Undefined behavior Integer overflow C99 Exception handling Unspecified behavior
6	Draft Minutes October 2006 Portland Add to Reading List Source URL: www.open-std.org Language: English - Date: 2008-10-09 10:22:37 Data types C++ C Programming language implementation Undefined behavior Attribute Const C dynamic memory allocation Variable Null pointer Return statement Pointer
7	Microsoft Word - N1375_FinalMinutes_SantaClara_Sep2008.doc Add to Reading List Source URL: www.open-std.org Language: English - Date: 2009-05-04 16:08:14 C Procedural programming languages Data types C11 Undefined behavior Pointer Robert C. Seacord IEEE 754 revision ALGOL 68 P. J. Plauger Ada Thread-local storage
8	Appeared in Proceedings of the 34th International Conference on Software Engineering (ICSE), Zurich, Switzerland, JuneUnderstanding Integer Overflow in C/C++ Will Dietz,∗ Peng Li,† John Regehr,† and Vikram Add to Reading List Source URL: www.cs.utah.edu Language: English - Date: 2012-03-30 12:02:04 Software engineering Computing Computer programming C Data types Undefined behavior Integer overflow Printf format string Objective-C C99 Floating point Arithmetic overflow
9	The Correctness-Security Gap in Compiler Optimization Vijay D’Silva Google Inc. San Francisco, CA Mathias Payer Add to Reading List Source URL: hexhive.github.io Language: English - Date: 2016-06-13 11:08:40 Software Computing Compiler optimizations Compiler construction Programming language implementation Undefined behavior Optimizing compiler Compiler Inline expansion Constant folding Loop-invariant code motion Program optimization
10	Test-Case Reduction for C Compiler Bugs John Regehr Yang Chen Pascal Cuoq Add to Reading List Source URL: www.cs.utah.edu Language: English - Date: 2012-04-02 13:18:35 Programming language implementation Compilers Debugging Data types Compiler construction Software bug GNU Compiler Collection Undefined behavior Compilation error Computing Software engineering Computer programming