Uninitialized variable

Results: 5



#Item
1Exposing Uninitialized Variables: Strengthening and Extending Run-Time Checks in Ada Robert Dewar1 , Olivier Hainque2 , Dirk Craeynest3 , and Philippe Waroquiers3 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
2A Differential Approach to Undefined Behavior Detection by Xi Wang B.E., Computer Science (2005); M.E., Computer Science[removed]Tsinghua University

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
3Astré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

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
4Comparison of Open Source and Commercial Static Analysis Solutions Zack Samocha, Senior Director of Products Coverity

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
5Parallel Debugging with the Etnus TotalView Princeton University

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