| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | [analyzer] Rename callback EndPath -> EndFunction | Anna Zaks | 2013-01-03 | 1 | -9/+9 |
| * | [analyzer] Add the pointer escaped callback. | Anna Zaks | 2012-12-20 | 1 | -3/+22 |
| * | Sort all of Clang's files under 'lib', and fix up the broken headers | Chandler Carruth | 2012-12-04 | 1 | -3/+3 |
| * | [analyzer] Refactor: Remove Pred from NodeBuilderContext. | Anna Zaks | 2012-11-03 | 1 | -1/+1 |
| * | [analyzer] Remove unneeded 'inlineCall' checker callback. | Jordan Rose | 2012-10-13 | 1 | -36/+3 |
| * | [analyzer] Use the common evalBind infrastructure for initializers. | Jordan Rose | 2012-08-25 | 1 | -7/+6 |
| * | [analyzer] Reduce code duplication: make CXXDestructorCall a CXXInstanceCall. | Jordan Rose | 2012-08-13 | 1 | -2/+2 |
| * | [analyzer] Perform post-call checks for all inlined calls. | Jordan Rose | 2012-07-30 | 1 | -17/+23 |
| * | [analyzer] Only allow CallEvents to be created by CallEventManager. | Jordan Rose | 2012-07-30 | 1 | -9/+4 |
| * | [analyzer] Rename Calls.{h,cpp} to CallEvent.{h,cpp}. No functionality change. | Jordan Rose | 2012-07-26 | 1 | -1/+1 |
| * | [analyzer] Refactor VisitObjCMessage and VisitCallExpr to rely on the | Anna Zaks | 2012-07-19 | 1 | -2/+4 |
| * | [analyzer] Add new PreImplicitCall and PostImplicitCall ProgramPoints. | Jordan Rose | 2012-07-10 | 1 | -9/+1 |
| * | [analyzer] Add generic preCall and postCall checks. | Jordan Rose | 2012-07-02 | 1 | -0/+57 |
| * | [analyzer] Use CallEvent for inlining and call default-evaluation. | Jordan Rose | 2012-07-02 | 1 | -19/+5 |
| * | [analyzer] Finish replacing ObjCMessage with ObjCMethodDecl and friends. | Jordan Rose | 2012-07-02 | 1 | -5/+5 |
| * | [analyzer] Add a new abstraction over all types of calls: CallEvent | Jordan Rose | 2012-07-02 | 1 | -1/+1 |
| * | [analyzer] Run remove dead bindings right before leaving a function. | Anna Zaks | 2012-04-20 | 1 | -6/+11 |
| * | Rework ExprEngine::evalLoad and clients (e.g. VisitBinaryOperator) so that wh... | Ted Kremenek | 2012-04-06 | 1 | -9/+17 |
| * | Avoid applying retain/release effects twice in RetainCountChecker when a func... | Ted Kremenek | 2012-03-23 | 1 | -6/+8 |
| * | Adopt ExprEngine and checkers to ObjC property refactoring. Everything was w... | Ted Kremenek | 2012-02-18 | 1 | -2/+4 |
| * | [analyzer] Make Malloc Checker optimistic in presence of inlining. | Anna Zaks | 2012-02-14 | 1 | -2/+3 |
| * | Change references to 'const ProgramState *' to typedef 'ProgramStateRef'. | Ted Kremenek | 2012-01-26 | 1 | -7/+7 |
| * | [analyzer] Simplify CheckerContext | Anna Zaks | 2011-10-25 | 1 | -8/+8 |
| * | [analyzer] Make branch for condition callback use CheckerContext | Anna Zaks | 2011-10-25 | 1 | -6/+30 |
| * | [analyze] Convert EndOfPath callback to use CheckerContext | Anna Zaks | 2011-10-25 | 1 | -4/+17 |
| * | [analyzer] Completely remove the global Builder object. | Anna Zaks | 2011-10-24 | 1 | -1/+0 |
| * | [analyzer] Remove more dependencies from global Builder | Anna Zaks | 2011-10-24 | 1 | -5/+0 |
| * | [analyzer] Convert ExprEngine::visit() to use short lived builders. | Anna Zaks | 2011-10-24 | 1 | -6/+9 |
| * | [analyzer] Use a temporary builder in CheckerContext. | Anna Zaks | 2011-10-24 | 1 | -14/+30 |
| * | [analyzer] Make NodeBuilder and Pred node loosely coupled | Anna Zaks | 2011-10-18 | 1 | -1/+2 |
| * | [analyzer] Modularize builder use in processBranch. | Anna Zaks | 2011-10-18 | 1 | -1/+1 |
| * | [analyzer] CheckerContext updates checkDst in it's destructor, so make sure t... | Anna Zaks | 2011-10-11 | 1 | -3/+7 |
| * | [analyzer] Previously, we were passing to CheckerContext enough info to const... | Anna Zaks | 2011-10-07 | 1 | -16/+33 |
| * | [analyzer] Remove the dependency on CheckerContext::getStmt() as well as the ... | Anna Zaks | 2011-10-06 | 1 | -2/+2 |
| * | [analyzer] OSAtomicChecker implements evalCall in a very invasive way - it es... | Anna Zaks | 2011-10-05 | 1 | -2/+40 |
| * | [analyzer] Remove TransferFuncs.h, then deal with the fallout. | Jordy Rose | 2011-09-02 | 1 | -0/+1 |
| * | [analyzer] Introduce a new callback for checkers, printState, to be used for ... | Jordy Rose | 2011-08-28 | 1 | -0/+8 |
| * | [analyzer] Change the check::RegionChanges callback to include the regions ex... | Jordy Rose | 2011-08-27 | 1 | -3/+4 |
| * | [analyzer] Overhaul of checker registration in preparation for basic plugin s... | Jordy Rose | 2011-08-16 | 1 | -4/+0 |
| * | Rename GRState to ProgramState, and cleanup some code formatting along the way. | Ted Kremenek | 2011-08-15 | 1 | -6/+6 |
| * | [analyzer] change "tag" in ProgramPoint from "void*" to a ProgramPointTag*. | Ted Kremenek | 2011-08-12 | 1 | -0/+1 |
| * | remove unneeded llvm:: namespace qualifiers on some core types now that LLVM.... | Chris Lattner | 2011-07-23 | 1 | -1/+1 |
| * | Add Checker callback for running a checker at the end of processing an entire... | Ted Kremenek | 2011-05-05 | 1 | -0/+14 |
| * | Augment retain/release checker to not warn about tracked objects passed as ar... | Ted Kremenek | 2011-05-02 | 1 | -1/+2 |
| * | [analyzer] Run the ExprEngine depending on the CheckerManager having path-sen... | Argyrios Kyrtzidis | 2011-02-28 | 1 | -0/+16 |
| * | [analyzer] Introduce "event" mechanism in CheckerManager. | Argyrios Kyrtzidis | 2011-02-28 | 1 | -0/+10 |
| * | [analyzer] Migrate UndefBranchChecker to CheckerV2. | Argyrios Kyrtzidis | 2011-02-28 | 1 | -0/+15 |
| * | [analyzer] Migrate MallocChecker to CheckerV2. | Argyrios Kyrtzidis | 2011-02-28 | 1 | -0/+56 |
| * | [analyzer] Don't pass a GRState to CheckerManager::runCheckersForLocation, te... | Argyrios Kyrtzidis | 2011-02-24 | 1 | -10/+5 |
| * | [analyzer] Remove unused functions from CheckerManager. | Argyrios Kyrtzidis | 2011-02-24 | 1 | -5/+0 |
