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