aboutsummaryrefslogtreecommitdiff
path: root/lib/Checker
AgeCommit message (Expand)Author
2010-12-22[analyzer] Refactoring: lib/Checker -> lib/GR and libclangChecker -> libclang...Argyrios Kyrtzidis
2010-12-22[analyzer] Refactoring: include/clang/Checker -> include/clang/GRArgyrios Kyrtzidis
2010-12-22If the unary operator is prefix and an lvalue (in C++), bindZhongxing Xu
2010-12-22The base type is not always pointer type. We may cast to a base reference.Zhongxing Xu
2010-12-22Always blast through no-op casts when getting expr SVals.Zhongxing Xu
2010-12-22After inlining the CXXConstructExpr, bind the temporary object region to it.Zhongxing Xu
2010-12-20Rename 'VisitLocation' to 'visitLocation'.Ted Kremenek
2010-12-20Rename 'Generate[Node,Sink]' to 'generate[Node,Sink]'.Ted Kremenek
2010-12-19If the initializer is an rvalue and the variable is a const reference,Zhongxing Xu
2010-12-18The evaluation of dereference and address-of is identical.Zhongxing Xu
2010-12-18Replace all uses of PathV1::get{Basename,Dirname,Suffix} with their PathV2 eq...Michael J. Spencer
2010-12-18Replace all uses of PathV1::getLast with PathV2::filename.Michael J. Spencer
2010-12-17Replace all uses of PathV1::isAbsolute with PathV2::is_{absolute,relative}.Michael J. Spencer
2010-12-17Remove explicit summaries from retain/releaseTed Kremenek
2010-12-17Move CocoaConventions.[h,cpp] from libCheckerTed Kremenek
2010-12-17Revise Cocoa conventions detection: 'copy' and 'mutableCopy'Ted Kremenek
2010-12-17Rename several methods/functions in the analyzerTed Kremenek
2010-12-16Start migration of static analyzer to using theTed Kremenek
2010-12-14Added missing IgnoreParens().Abramo Bagnara
2010-12-10It's kindof silly that ExtQuals has an ASTContext&, and we can use thatJohn McCall
2010-12-08Remove the TypesCompatibleExprClass AST node. Merge its functionality into Bi...Francois Pichet
2010-12-07PR5207: Change APInt methods trunc(), sext(), zext(), sextOrTrunc() andJay Foad
2010-12-07Type traits intrinsic implementation: __is_base_of(T, U)Francois Pichet
2010-12-06Rename CXXExprWithTemporaries -> ExprWithCleanups; there's no theoreticalJohn McCall
2010-12-05Mark SVal constructors 'explicit'.Ted Kremenek
2010-12-05Rename Environment::LookupExpr() toTed Kremenek
2010-12-04More anonymous struct/union redesign. This one deals with anonymous field use...Francois Pichet
2010-12-04Although we currently have explicit lvalue-to-rvalue conversions, they'reJohn McCall
2010-12-04Minor refactoring; have BugReport::getRanges return a pair of iterator, no fu...Argyrios Kyrtzidis
2010-12-03Fix an insidious bug in BugReporter whereTed Kremenek
2010-12-03Also include the pointer address of the ExplodedNodeTed Kremenek
2010-12-03Also show notes about the taken path in TextPathDiagnostics.Argyrios Kyrtzidis
2010-12-03Remove leftover code and use the text path diagnostic client even without a s...Argyrios Kyrtzidis
2010-12-03Introduce TextPathDiagnostics, a simple PathDiagnosticClient that outputs as ...Argyrios Kyrtzidis
2010-12-03Handle any number of SourceRanges inside BugReporter::FlushReport.Argyrios Kyrtzidis
2010-12-03Rename Create[*]DiagnosticClient -> create[*]DiagnosticClient.Argyrios Kyrtzidis
2010-12-02Merge ValueManager into SValBuilder.Ted Kremenek
2010-12-02Simplify the ASTs by consolidating ObjCImplicitGetterSetterExpr and ObjCPrope...John McCall
2010-12-01Rename all 'AssumeXXX' methods in libCheckerTed Kremenek
2010-12-01Rename all 'EvalXXX' methods in libChecker toTed Kremenek
2010-12-01Rename 'SValuator' to 'SValBuilder'. The new nameTed Kremenek
2010-12-01Restore the lvalue-to-rvalue conversion patch with a minimal fix.John McCall
2010-11-30L-value to r-value conversion is not ready for prime-time.John McCall
2010-11-30Introduce an r-value to l-value cast kind. I'm not promising anythingJohn McCall
2010-11-29Merge System into Support.Michael J. Spencer
2010-11-26Do not use StripCasts() in this context.Zhongxing Xu
2010-11-26Should not use StripCasts() in this context.Zhongxing Xu
2010-11-26Rename CXXObjectRegion to CXXTempObjectRegion.Zhongxing Xu
2010-11-26Regionstore: support derived-to-base cast by creating a CXXBaseObjectRegion.Zhongxing Xu
2010-11-26Add a fixme.Zhongxing Xu