aboutsummaryrefslogtreecommitdiff
path: root/lib/Checker
AgeCommit message (Expand)Author
2010-09-03Support pointer arithmetic in SimpleSValuator involving direct constants.Ted Kremenek
2010-09-03Remove bogus assertions.Ted Kremenek
2010-09-03Add optional record of "location" SVals in the environment. When we analyzin...Ted Kremenek
2010-09-03Add GRState::getSimplifiedSVal(), which provides an API hook for doing symbol...Ted Kremenek
2010-09-02Reapply 112850 and 112839 with a constructor for the BinaryOperatorData struc...Tom Care
2010-09-02Eliminate CXXBindReferenceExpr, which was used in a ton ofDouglas Gregor
2010-09-02Reverting 112850 and 112839 due to test failures on some systemsTom Care
2010-09-02Fixed broken build with GCCTom Care
2010-09-02Improved error reporting in IdempotentOperationCheckerTom Care
2010-09-02update comments.Zhongxing Xu
2010-09-02For GRExprEngine::EvalBind() (and called visitors), unifiy StoreE and AssignE...Ted Kremenek
2010-09-02Fixed unused variable warning.Ted Kremenek
2010-09-01Partial fix for PR 8015 (fix is actually by Jordy Rose, and I added a test ca...Ted Kremenek
2010-09-01Don't assert in the analyzer when analyze code does a byte load from a functi...Ted Kremenek
2010-09-01Don't assert in CastSizeChecker when the casted-to pointee is an incomplete t...Ted Kremenek
2010-08-31Add range of return value expression in ReturnUndefChecker. Patch by Jim Goo...Ted Kremenek
2010-08-30Adjusted the semantics of assign checking in IdempotentOperationCheckerTom Care
2010-08-30Revert my user-defined literal commits - r1124{58,60,67} pendingSean Hunt
2010-08-29Implement C++0x user-defined string literals.Sean Hunt
2010-08-29Add comments.Zhongxing Xu
2010-08-27Added checking of (x == x) and (x != x) to IdempotentOperationChecker and upd...Tom Care
2010-08-27Enabled relaxed LiveVariables analysis in the path-sensitive engine to increa...Tom Care
2010-08-27Remove an assertion in UnreachableCodeChecker that can be triggered by bugs i...Tom Care
2010-08-27Fix bug in IdempotentOperationChecker where an assumption would not get updat...Tom Care
2010-08-26Fix horrible GRExprEngine bug where switch statements with no 'case:' stateme...Ted Kremenek
2010-08-26Remove redundant cast<...>.Ted Kremenek
2010-08-26De-memberify the VarDecl and FunctionDecl StorageClass enums.John McCall
2010-08-26zap dead ctorChris Lattner
2010-08-25GCC didn't care for my attempt at API compatibility, so brute-force everythingJohn McCall
2010-08-24Improvements to IdempotentOperationChecker and its use of PseudoConstantAnalysisTom Care
2010-08-24Improve comments.Zhongxing Xu
2010-08-23Several small changes to PseudoConstantAnalysis and the way IdempotentOperati...Tom Care
2010-08-23Adjust code placement.Zhongxing Xu
2010-08-22Detabify.Eli Friedman
2010-08-21Place method near its class.Zhongxing Xu
2010-08-21Remove dead code.Zhongxing Xu
2010-08-21Improve comments.Zhongxing Xu
2010-08-21Remove a special case for OSAtomic functions. We can already bind and retrieveZhongxing Xu
2010-08-21Remove dead code. We no longer need it because now we treat the first elementZhongxing Xu
2010-08-21remove unused variable.Zhongxing Xu
2010-08-21When invalidating a struct region, whether its type definition exists is notZhongxing Xu
2010-08-20Remove dead code.Ted Kremenek
2010-08-20Handle nested compound values in BindArray for multidimensional arrays. Fixes...Jordy Rose
2010-08-19Remove dead code. Patch by Jon Mulder!Jordy Rose
2010-08-18More PCH -> AST renaming.Sebastian Redl
2010-08-18Generate Attr subclasses with TableGen.Sean Hunt
2010-08-18Added psuedo-constant analysis and integrated it into the false positive redu...Tom Care
2010-08-18Remove dead malloc symbols from the symbol-state map.Jordy Rose
2010-08-18Use RegionStateTy everywhere we mean ImmutableMap<SymbolRef, RefState>Jordy Rose
2010-08-18zap dead code.Chris Lattner