summaryrefslogtreecommitdiffstats
path: root/clang/lib/Checker
Commit message (Expand)AuthorAgeFilesLines
...
* For CFGAutomaticObjDtor, the type may be reference type, e.g., const A &c = A();Zhongxing Xu2010-11-251-10/+17
* handle CXXFunctionalCastExpr in visitLValue and Environment.Zhongxing Xu2010-11-252-0/+16
* Improve comments.Zhongxing Xu2010-11-251-2/+1
* Add dump method.Zhongxing Xu2010-11-251-0/+4
* When getting CXXThisRegion from CXXMethodDecl, use the qualifiers. This is Zhongxing Xu2010-11-241-1/+7
* Let StackFrameContext represent if the call expr is evaluated as lvalue.Zhongxing Xu2010-11-245-15/+45
* Use StackFrameContext directly in CallEnter program point. Then we don't needZhongxing Xu2010-11-244-26/+23
* Add an assert() to catch errors using EvalLoad(). Reviewed by kremenek.Zhanyong Wan2010-11-241-1/+2
* Adjust method calls to reflect name changes inTed Kremenek2010-11-2412-110/+117
* Add comments.Zhongxing Xu2010-11-201-1/+2
* Fix a typo in EnvironmentManager::bindExprAndLocation(). Reviewed by kremenek.Zhanyong Wan2010-11-201-1/+2
* Handle CFGAutomaticObjDtor. Zhongxing Xu2010-11-203-1/+38
* Since multiple diagnostics can share one diagnostic client, have the client k...Argyrios Kyrtzidis2010-11-181-0/+2
* Refactoring of Diagnostic class.Argyrios Kyrtzidis2010-11-181-1/+3
* Added method for handling CXXOperatorCallExpr differently from CallExpr if CX...Marcin Swiderski2010-11-182-9/+43
* In EvalArguments allow for evaluation of first argument always as a lvalue. W...Marcin Swiderski2010-11-171-5/+11
* Add skeleton for handling various cfg dtors.Zhongxing Xu2010-11-171-0/+32
* do not do post checks. Because at this point we just enter the call.Zhongxing Xu2010-11-171-4/+0
* Remove comments. We are already doing actual method call by inlining it.Zhongxing Xu2010-11-171-3/+0
* Added mapping from 'this' to it's SymbolicRegion in BasicStoreManager::getIni...Marcin Swiderski2010-11-171-0/+9
* Add comments.Ted Kremenek2010-11-171-1/+4
* Static analyzer: Catch calls to malloc() withTed Kremenek2010-11-161-3/+54
* Reverting r119341: doesn't compile, no obvious fix.John McCall2010-11-161-1/+2
* Refactored GRExprEngine::getCXXThisRegion to use CXXMethodDecl::getThisType i...Marcin Swiderski2010-11-161-2/+1
* Handle member initializer in C++ ctor. Zhongxing Xu2010-11-163-14/+54
* Basic support for C++ in BasicStore:Marcin Swiderski2010-11-161-6/+11
* Kill CK_Unknown and flesh out the documentation for the existing CastKinds.John McCall2010-11-161-1/+0
* Add a new expression kind, OpaqueValueExpr, which is useful forJohn McCall2010-11-151-0/+1
* Adds a README for the Clang static analyzer to document its design and work f...Zhanyong Wan2010-11-151-0/+117
* Relax assertion in SValuator so that we don't crash when analyzing a call via...Ted Kremenek2010-11-151-1/+12
* Assorted work leading towards the elimination of CK_Unknown.John McCall2010-11-151-0/+4
* Add skeleton for handling other kinds of CFGElements.Zhongxing Xu2010-11-152-5/+32
* Add a few more complex-related cast kinds that arise due to arbitraryJohn McCall2010-11-141-1/+6
* Introduce five new cast kinds for various conversions into andJohn McCall2010-11-131-0/+5
* Refine IdempotentOperationChecker::PathWasCompletelyAnalyzed() to also checkTed Kremenek2010-11-131-0/+9
* Teach IdempotentOperations::PathWasCompletelyAnalyzed to also consider items ...Ted Kremenek2010-11-131-1/+31
* Add GRWorkList::VisitItemsInWorkList() to allow a client to introspect the co...Ted Kremenek2010-11-131-8/+40
* Introduce a null-to-pointer implicit cast kind.John McCall2010-11-131-0/+1
* Make sure to always check the result ofDouglas Gregor2010-11-122-20/+24
* RegionStore/BasicStore: do not return UndefinedVal for accesses to concrete a...Ted Kremenek2010-11-112-8/+12
* Teach AttrNonNullChecker about transparent unions. Fixes crash reported in <...Ted Kremenek2010-11-091-0/+22
* Only enable the ObjCAtSyncChecker when the translation unit uses Objective-C.Ted Kremenek2010-11-081-1/+3
* Teach the CStringChecker and PthreadLockChecker about non-identifierDouglas Gregor2010-11-012-2/+8
* Now initializer of C++ record type is visited as block-level expr. Zhongxing Xu2010-11-013-23/+22
* Make Clang static analyzer skip function template definitions. This fixes Cl...Zhanyong Wan2010-10-311-2/+4
* Don't flag idempotent '+' or '-' warnings for pointer arithmetic (typically f...Ted Kremenek2010-10-291-0/+7
* Don't warn about unamed bitfield ivars in the ObjCUnusedIvarsChecker. Fixes ...Ted Kremenek2010-10-281-1/+3
* Fix lazy symbolication bug in RegionStore involving fields of global variable...Ted Kremenek2010-10-261-4/+14
* Move 'includeGlobals' as a field into ClusterAnalysis.Ted Kremenek2010-10-261-8/+12
* Tweak null dereference checker to give better diagnostics for null dereferenc...Ted Kremenek2010-10-261-19/+47
OpenPOWER on IntegriCloud