aboutsummaryrefslogtreecommitdiff
path: root/lib/Checker
AgeCommit message (Expand)Author
2010-08-02Further adjustments to -Wglobal-constructors; works for references and directJohn McCall
2010-08-02'Assumption &A' gets default initialized to 'Possible' if it doesn't exist; n...Ted Kremenek
2010-08-02Improve flat store: MemRegion::getAsOffset() computes a region's offset withinZhongxing Xu
2010-07-31After a lengthy design discussion, add support for "ownership attributes" for...Ted Kremenek
2010-07-30Uncomment unfinished work bailout in IdempotentOperationsChecker.Tom Care
2010-07-29Use a LazyCompoundVal to handle initialization with a string literal, rather ...Jordy Rose
2010-07-29Teach GRExprEngine::VisitLValue() about FloatingLiteral, ImaginaryLiteral, an...Ted Kremenek
2010-07-29Augment RegionStore::BindStruct() to bind symbolicated struct values. This f...Ted Kremenek
2010-07-29Change SymbolManager::canSymbolicate() to return true for RecordTypes.Ted Kremenek
2010-07-29Explicitly guard in BasicStore from storing to non-scalars.Ted Kremenek
2010-07-29Remove extraneous guards around the call to getConjuredSymbolVal(). These ch...Ted Kremenek
2010-07-27Added some false positive checking to UnreachableCodeCheckerTom Care
2010-07-27Extracted out some useful common functions in IdempotentOperationChecker to t...Tom Care
2010-07-27Finesse 'idempotent operations' analyzer issues to include the opcode of the ...Ted Kremenek
2010-07-27Put 'Idempotent operations' static analyzer issues in the 'Dead code' category.Ted Kremenek
2010-07-27Don't warn about unreachable code if the block starts with __builtin_unreacha...Jordy Rose
2010-07-27Groundwork for C string length tracking. Currently only handles the length of...Jordy Rose
2010-07-23Added an path-sensitive unreachable code checker to the experimental analyzer...Tom Care
2010-07-23Add FILE* leak check to StreamChecker. Patch by Lei Zhang.Zhongxing Xu
2010-07-23Change arg type.Zhongxing Xu
2010-07-23Delete unnecessary const_cast.Zhongxing Xu
2010-07-23AnalysisContext is not const.Zhongxing Xu
2010-07-22This patch adds support for tmpfile in StreamChecker. Patch by Lei Zhang.Zhongxing Xu
2010-07-22Make a bunch of new data structures for the new analysisZhongxing Xu
2010-07-21Move some methods inline.Zhongxing Xu
2010-07-20Constify all references to Stmt* and CFGBlock* in libChecker.Zhongxing Xu
2010-07-20Constify.Zhongxing Xu
2010-07-20remove const_cast.Zhongxing Xu
2010-07-20constify.Zhongxing Xu
2010-07-20Constify.Zhongxing Xu
2010-07-19remove CallInliner.cpp.Zhongxing Xu
2010-07-19Add double close check to StreamChecker. Patch by Lei Zhang.Zhongxing Xu
2010-07-19Reapply r108617.Zhongxing Xu
2010-07-18BUILD_ARCHIVE is the default for libraries, no need to set it.Chris Lattner
2010-07-17Revert r108617, it broke the build.Benjamin Kramer
2010-07-17Prepare the analyzer for the callee in another translation unit:Zhongxing Xu
2010-07-17Fix '<rdar://problem/8202272> __imag passed non-complex should not crash' by ...Ted Kremenek
2010-07-17Fix APFloat assertion failure in IdempotentOperationChecker resulting in havingTed Kremenek
2010-07-16Improved false positive rate for the idempotent operations checker and moved ...Tom Care
2010-07-14Pass StringRefs by value.Benjamin Kramer
2010-07-13Introduce a new cast kind for an "lvalue bitcast", which handlesDouglas Gregor
2010-07-08Cleanup in CStringChecker. Now properly bifurcates the state for zero/nonzero...Jordy Rose
2010-07-08Reinstate the fix for PR7556. A silly use of isTrivial() wasDouglas Gregor
2010-07-07Revert r107828 and r107827, the fix for PR7556, which seems to beDouglas Gregor
2010-07-07Rename CXXZeroInitValueExpr to CXXScalarValueInitExpr, to reflect itsDouglas Gregor
2010-07-07Simplify code and remove comment that is no longer relevant.Argyrios Kyrtzidis
2010-07-07Remove Decl::getCompoundBody().Argyrios Kyrtzidis
2010-07-07Introduce Decl::hasBody() and FunctionDecl::hasBody() and use them instead of...Argyrios Kyrtzidis
2010-07-07Add memcmp() and bcmp() to CStringChecker. These check for valid access to th...Jordy Rose
2010-07-07Cleanup on CStringChecker and its associated tests. Also check for null argum...Jordy Rose