Uninitialized variable - PDFSEARCH.IO - Document Search Engine

Uninitialized variable
Results: 5

#	Item
1	Exposing Uninitialized Variables: Strengthening and Extending Run-Time Checks in Ada Robert Dewar1 , Olivier Hainque2 , Dirk Craeynest3 , and Philippe Waroquiers3 1 Add to Reading List Source URL: www.adacore.com Language: English - Date: 2011-12-15 14:00:53 Software bugs Memory management Data types Uninitialized variable Type theory C Ada Reference Scalar Computing Software engineering Computer programming
2	A Differential Approach to Undefined Behavior Detection by Xi Wang B.E., Computer Science (2005); M.E., Computer Science[removed]Tsinghua University Add to Reading List Source URL: pdos.csail.mit.edu Language: English - Date: 2015-04-12 14:06:01 Computer programming Programming language implementation C++ Pointer C Undefined behavior Integer overflow Stack Uninitialized variable Software engineering Computing Software bugs
3	Astrée Verifying the Absence of Runtime Errors in C Programs Astrée is a parametric static analyzer designed to prove the absence of runtime errors in software programs written in C. Astrée is parameterizable and can Add to Reading List Source URL: www.absint.com Language: English - Date: 2014-11-14 06:34:31 Computer programming Primitive types Abstract interpretation Astrée Software bugs Uninitialized variable C Error Floating point Software engineering Computing Data types
4	Comparison of Open Source and Commercial Static Analysis Solutions Zack Samocha, Senior Director of Products Coverity Add to Reading List Source URL: events.linuxfoundation.org Language: English - Date: 2013-10-16 09:43:58 Software bugs Coverity Pointer Segmentation fault Linux kernel C Source lines of code Uninitialized variable Kernel Computing Software engineering Software
5	Parallel Debugging with the Etnus TotalView Princeton University Add to Reading List Source URL: www.cs.princeton.edu Language: English - Date: 2004-03-10 16:26:10 Debuggers Software bugs Computer errors Debugging Programming language implementation TotalView Uninitialized variable Mathematical optimization Core dump Computing Computer programming Software

UPDATE