History log of /llvm-project/clang/lib/StaticAnalyzer/Checkers/MallocChecker.cpp (Results 376 – 397 of 397)
Revision (<<< Hide revision tags) (Show revision tags >>>) Date Author Comments
# 3eae3341 25-Oct-2011 Anna Zaks <ganna@apple.com>

[analyze] Convert EndOfPath callback to use CheckerContext

Get rid of the EndOfPathBuilder completely.
Use the generic NodeBuilder to generate nodes.
Enqueue the end of path frontier explicitly.

ll

[analyze] Convert EndOfPath callback to use CheckerContext

Get rid of the EndOfPathBuilder completely.
Use the generic NodeBuilder to generate nodes.
Enqueue the end of path frontier explicitly.

llvm-svn: 142943

show more ...


Revision tags: llvmorg-3.0.0-rc1
# b89514a9 14-Oct-2011 Benjamin Kramer <benny.kra@googlemail.com>

Change operator<< for raw_ostream and NamedDecl to take a reference instead of a pointer.

Passing a pointer was a bad idea as it collides with the overload for void*.

llvm-svn: 141971


# 3e0f415d 06-Oct-2011 Anna Zaks <ganna@apple.com>

[analyzer] Remove the dependency on CheckerContext::getStmt() as well as the method itself.

llvm-svn: 141262


# 23d7ba35 04-Oct-2011 Anna Zaks <ganna@apple.com>

[analyzer] Removing references to CheckerContext::getNodeBuilder(): checkers can obtain block count directly from the Context.

llvm-svn: 141112


# bfb8e2fe 01-Sep-2011 Zhongxing Xu <xuzhongxing@foxmail.com>

If size was equal to 0, either NULL or a pointer suitable to be passed to
free() is returned by realloc(). Most code expect NULL.

And we only need to transfer one final ProgramState.

llvm-svn: 138

If size was equal to 0, either NULL or a pointer suitable to be passed to
free() is returned by realloc(). Most code expect NULL.

And we only need to transfer one final ProgramState.

llvm-svn: 138937

show more ...


# 3a6bdf8f 17-Aug-2011 Anna Zaks <ganna@apple.com>

Remove EnhancedBugReport and RangedBugReport - pull all the extra functionality they provided into their parent BugReport. The only functional changes are: made getRanges() non const - it adds defaul

Remove EnhancedBugReport and RangedBugReport - pull all the extra functionality they provided into their parent BugReport. The only functional changes are: made getRanges() non const - it adds default range to Ranges if none are supplied, made getStmt() private, which was another FIXME.

llvm-svn: 137894

show more ...


# 001fd5b4 15-Aug-2011 Ted Kremenek <kremenek@apple.com>

Rename GRState to ProgramState, and cleanup some code formatting along the way.

llvm-svn: 137665


# 5ef32dbf 12-Aug-2011 Ted Kremenek <kremenek@apple.com>

Cleanup various declarations of 'Stmt*' to be 'Stmt *', etc. in libAnalyzer and libStaticAnalyzer[*]. It was highly inconsistent, and very ugly to look at.

llvm-svn: 137537


# e227f493 28-Jul-2011 Ted Kremenek <kremenek@apple.com>

[analyzer] fix bug in malloc checker where the tracked symbol would not properly be removed from the state.

llvm-svn: 136418


# 0e62c1cc 23-Jul-2011 Chris Lattner <sabre@nondot.org>

remove unneeded llvm:: namespace qualifiers on some core types now that LLVM.h imports
them into the clang namespace.

llvm-svn: 135852


# 005b5c1a 27-Apr-2011 Lenny Maiorani <lenny@colorado.edu>

More accurately model realloc() when the size argument is 0. realloc() with a size of 0 is equivalent to free(). The memory region should be marked as free and not used again.

Unit tests f2_realloc_

More accurately model realloc() when the size argument is 0. realloc() with a size of 0 is equivalent to free(). The memory region should be marked as free and not used again.

Unit tests f2_realloc_0(), f6_realloc(), and f7_realloc() contributed by Marshall Clow <mclow.lists@gmail.com>. Thanks!

llvm-svn: 130303

show more ...


Revision tags: llvmorg-2.9.0
# af2371e3 02-Apr-2011 Zhongxing Xu <xuzhongxing@gmail.com>

Remove a redundant method. We have a const version.

llvm-svn: 128762


Revision tags: llvmorg-2.9.0-rc3, llvmorg-2.9.0-rc2, llvmorg-2.9.0-rc1
# 6a5674ff 01-Mar-2011 Argyrios Kyrtzidis <akyrtzi@gmail.com>

[analyzer] Rename CheckerV2 -> Checker.

llvm-svn: 126726


# 183f0fb4 28-Feb-2011 Argyrios Kyrtzidis <akyrtzi@gmail.com>

[analyzer] Migrate MallocChecker to CheckerV2.

llvm-svn: 126606


# f1b5d1f0 23-Feb-2011 Argyrios Kyrtzidis <akyrtzi@gmail.com>

[analyzer] Refactor EndOfFunctionNodeBuilder.

-Introduce EndOfFunctionNodeBuilder::withCheckerTag to allow it be "specialized" with a
checker tag and not require the checkers to pass a tag.
-For En

[analyzer] Refactor EndOfFunctionNodeBuilder.

-Introduce EndOfFunctionNodeBuilder::withCheckerTag to allow it be "specialized" with a
checker tag and not require the checkers to pass a tag.
-For EndOfFunctionNodeBuilder::generateNode, reverse the order of tag/P parameters since
there are actual calls that assume the second parameter is ExplodedNode.

llvm-svn: 126332

show more ...


# 5a9b1ec9 17-Feb-2011 Chris Lattner <sabre@nondot.org>

simplify a bit.

llvm-svn: 125724


# f8cbac4b 10-Feb-2011 Ted Kremenek <kremenek@apple.com>

Split 'include/clang/StaticAnalyzer' into 'include/clang/StaticAnalyzer/Core' and 'include/clang/StaticAnalyzer/Checkers'.

This layout matches lib/StaticAnalyzer, which corresponds to two StaticAnal

Split 'include/clang/StaticAnalyzer' into 'include/clang/StaticAnalyzer/Core' and 'include/clang/StaticAnalyzer/Checkers'.

This layout matches lib/StaticAnalyzer, which corresponds to two StaticAnalyzer libraries.

llvm-svn: 125251

show more ...


# f410a629 08-Feb-2011 Argyrios Kyrtzidis <akyrtzi@gmail.com>

[analyzer] lib/StaticAnalyzer/Checkers/ExprEngineExperimentalChecks.h -> lib/StaticAnalyzer/Checkers/ExperimentalChecks.h

llvm-svn: 125122


# b86ec252 13-Jan-2011 Ted Kremenek <kremenek@apple.com>

Remove unnecessary save-and-restore of the
node builder's 'HasGeneratedNode' field.

llvm-svn: 123362


# 1790c975 11-Jan-2011 Argyrios Kyrtzidis <akyrtzi@gmail.com>

[analyzer] Add 'isLoad' parameter in Checker::visitLocation() to conveniently distinguish between loads/stores.

llvm-svn: 123261


# 926c9621 11-Jan-2011 Ted Kremenek <kremenek@apple.com>

Rename misc. methods in GRSubEngine to start
with a lower-case letter. No functionality change.

llvm-svn: 123211


# d99bd55a 23-Dec-2010 Ted Kremenek <kremenek@apple.com>

Chris Lattner has strong opinions about directory
layout. :)

Rename the 'EntoSA' directories to 'StaticAnalyzer'.

Internally we will still use the 'ento' namespace
for the analyzer engine (unless

Chris Lattner has strong opinions about directory
layout. :)

Rename the 'EntoSA' directories to 'StaticAnalyzer'.

Internally we will still use the 'ento' namespace
for the analyzer engine (unless there are further
sabre rattlings...).

llvm-svn: 122514

show more ...


1...<<111213141516