Home

[analyzer] Warn when passing pointers to const but uninitialized memory.

Press ? to show keyboard shortcuts.
Committed
jroseMar 13 2014, 10:55 AM
Parents
rL203821: MCDwarf: Refactor line table handling into a single data structure
Branches
Unknown
Tags
Unknown
Subscribers
None
Projects
None
Description

[analyzer] Warn when passing pointers to const but uninitialized memory.

Passing a pointer to an uninitialized memory buffer is normally okay,
but if the function is declared to take a pointer-to-const then it's
very unlikely it will be modifying the buffer. In this case the analyzer
should warn that there will likely be a read of uninitialized memory.

This doesn't check all elements of an array, only the first one.
It also doesn't yet check Objective-C methods, only C functions and
C++ methods.

This is controlled by a new check: alpha.core.CallAndMessageUnInitRefArg.

Patch by Per Viberg!

rL203822

cfe/trunk/lib/StaticAnalyzer/Checkers/CallAndMessageChecker.cpp

Loading...

cfe/trunk/lib/StaticAnalyzer/Checkers/Checkers.td

Loading...

cfe/trunk/test/Analysis/uninit-const.c

Loading...

cfe/trunk/test/Analysis/uninit-const.cpp

Loading...

Add Comment