| Commit message (Expand) | Author | Age | Files | Lines |
* | [analyzer] Rename addTrackNullOrUndefValueVisitor to trackNullOrUndefValue. | Jordan Rose | 2012-08-28 | 1 | -4/+4 |
* | [analyzer] If we call a C++ method on an object, assume it's non-null. | Jordan Rose | 2012-08-15 | 1 | -3/+9 |
* | [analyzer] Use a more robust check for null in CallAndMessageChecker. | Jordan Rose | 2012-08-04 | 1 | -2/+12 |
* | [analyzer] When a symbol is null, we should track its constraints. | Jordan Rose | 2012-08-03 | 1 | -9/+4 |
* | [analyzer] Track null/uninitialized C++ objects used in method calls. | Jordan Rose | 2012-08-03 | 1 | -12/+12 |
* | [analyzer] Rename Calls.{h,cpp} to CallEvent.{h,cpp}. No functionality change. | Jordan Rose | 2012-07-26 | 1 | -1/+1 |
* | Add static analyzer check for calling a C++ instance method with a null/unini... | Ted Kremenek | 2012-07-26 | 1 | -2/+25 |
* | [analyzer] Combine all ObjC message CallEvents into ObjCMethodCall. | Jordan Rose | 2012-07-18 | 1 | -39/+67 |
* | [analyzer] If 'super' is known to be nil, we can still mark its range. | Jordan Rose | 2012-07-02 | 1 | -1/+1 |
* | [analyzer] Convert existing checkers to use check::preCall and check::postCall. | Jordan Rose | 2012-07-02 | 1 | -54/+47 |
* | [analyzer] Finish replacing ObjCMessage with ObjCMethodDecl and friends. | Jordan Rose | 2012-07-02 | 1 | -62/+59 |
* | [analyzer] Begin replacing ObjCMessage with ObjCMethodCall and friends. | Jordan Rose | 2012-07-02 | 1 | -1/+2 |
* | [analyzer] Convert CallAndMessageChecker and ObjCSelfInitChecker to CallEvent. | Jordan Rose | 2012-07-02 | 1 | -14/+29 |
* | Revert Decl's iterators back to pointer value_type rather than reference valu... | David Blaikie | 2012-06-06 | 1 | -2/+2 |
* | Remove unused private member variables found by clang's new -Wunused-private-... | Benjamin Kramer | 2012-06-06 | 1 | -5/+3 |
* | Remove the ref/value inconsistency in filter_decl_iterator. | David Blaikie | 2012-04-30 | 1 | -3/+3 |
* | [analyzer] Implement basic path diagnostic pruning based on "interesting" sym... | Ted Kremenek | 2012-03-09 | 1 | -4/+7 |
* | Teak CallAndMessageChecker to only warn about uninitialized struct fields in ... | Ted Kremenek | 2012-03-05 | 1 | -2/+18 |
* | Adopt ExprEngine and checkers to ObjC property refactoring. Everything was w... | Ted Kremenek | 2012-02-18 | 1 | -7/+18 |
* | Basic: import SmallString<> into clang namespace | Dylan Noblesmith | 2012-02-05 | 1 | -2/+2 |
* | Basic: import OwningPtr<> into clang namespace | Dylan Noblesmith | 2012-02-05 | 1 | -11/+11 |
* | Move a method from IdentifierTable.h out of line and remove the SmallString i... | Benjamin Kramer | 2012-02-04 | 1 | -0/+1 |
* | Fix an assertion failure in isMacOSXVersionLT for IOS targets. | Bob Wilson | 2012-01-31 | 1 | -4/+3 |
* | Change references to 'const ProgramState *' to typedef 'ProgramStateRef'. | Ted Kremenek | 2012-01-26 | 1 | -4/+4 |
* | [analyzer] Rename Store::Retrieve() -> getBinding(). | Anna Zaks | 2012-01-12 | 1 | -1/+1 |
* | [analyzer] Make the entries in 'Environment' context-sensitive by making entr... | Ted Kremenek | 2012-01-06 | 1 | -6/+10 |
* | [analyzer] CheckerContext::getPredecessor() cleanup | Anna Zaks | 2011-11-01 | 1 | -2/+2 |
* | [analyzer] ObjC message sends to nil receivers that return structs are now ok... | Ted Kremenek | 2011-10-28 | 1 | -14/+4 |
* | [analyzer] Rename generateNode -> addTransition in CheckerContext | Anna Zaks | 2011-10-26 | 1 | -3/+3 |
* | [analyzer] Simplify CheckerContext | Anna Zaks | 2011-10-25 | 1 | -2/+2 |
* | Change operator<< for raw_ostream and NamedDecl to take a reference instead o... | Benjamin Kramer | 2011-10-14 | 1 | -2/+2 |
* | [analyzer] Remove TransferFuncs.h, then deal with the fallout. | Jordy Rose | 2011-09-02 | 1 | -0/+1 |
* | Extend the ASTContext constructor to delay the initialization of | Douglas Gregor | 2011-09-02 | 1 | -1/+1 |
* | Static Analyzer Diagnostics: Kill the addVisitorCreator(callbackTy, void*) AP... | Anna Zaks | 2011-08-19 | 1 | -7/+7 |
* | Remove EnhancedBugReport and RangedBugReport - pull all the extra functionali... | Anna Zaks | 2011-08-17 | 1 | -6/+6 |
* | Rename GRState to ProgramState, and cleanup some code formatting along the way. | Ted Kremenek | 2011-08-15 | 1 | -4/+5 |
* | Cleanup various declarations of 'Stmt*' to be 'Stmt *', etc. in libAnalyzer a... | Ted Kremenek | 2011-08-12 | 1 | -2/+2 |
* | [analyzer] Introduce new MemRegion, "TypedValueRegion", so that we can separa... | Ted Kremenek | 2011-08-12 | 1 | -1/+1 |
* | remove unneeded llvm:: namespace qualifiers on some core types now that LLVM.... | Chris Lattner | 2011-07-23 | 1 | -2/+2 |
* | Update for llvm commit r134291. | Eric Christopher | 2011-07-02 | 1 | -1/+1 |
* | [analyzer] Rename CheckerV2 -> Checker. | Argyrios Kyrtzidis | 2011-03-01 | 1 | -2/+2 |
* | [analzyer] Migrate CallAndMessageChecker to CheckerV2. | Argyrios Kyrtzidis | 2011-02-28 | 1 | -60/+61 |
* | Split 'include/clang/StaticAnalyzer' into 'include/clang/StaticAnalyzer/Core'... | Ted Kremenek | 2011-02-10 | 1 | -2/+2 |
* | [analyzer] lib/StaticAnalyzer/Checkers/ExprEngineInternalChecks.h -> lib/Stat... | Argyrios Kyrtzidis | 2011-02-08 | 1 | -1/+1 |
* | [analyzer] Handle the dot syntax for properties in the ExprEngine. | Argyrios Kyrtzidis | 2011-01-25 | 1 | -3/+4 |
* | [analyzer] Introduce ObjCMessage which represents both explicit ObjC message ... | Argyrios Kyrtzidis | 2011-01-25 | 1 | -42/+49 |
* | Chris Lattner has strong opinions about directory | Ted Kremenek | 2010-12-23 | 1 | -0/+350 |