- 71fdf46 [analyzer] Remove an unused member variable. by Anna Zaks · 13 years ago
- b1576f7 [analyzer] CheckerContext updates checkDst in it's destructor, so make sure the object is destructed before checkDst is used. by Anna Zaks · 13 years ago
- c800f68 [analyzer] Fix a typo. by Anna Zaks · 13 years ago
- a7957ff [analyzer] Warn about the use of insecure, deprecated vfork() function PR11053 (http://llvm.org/bugs/show_bug.cgi?id=11053). by Anna Zaks · 13 years ago
- 276b061 Initial implementation of __atomic_* (everything except __atomic_is_lock_free). by Eli Friedman · 13 years ago
- 46eaf77 [analyzer] Teach the static analyzer about CXXForRangeStmt. Patch by Jim Goodnow II! by Ted Kremenek · 13 years ago
- a6b8b2c Constant expression evaluation refactoring: by Richard Smith · 13 years ago
- 744f1cd Provide basic static analyzer support for CXXTemporaryObjectExpr. Patch by Jim Goodnow II. by Ted Kremenek · 13 years ago
- a5937bb Remove AnalysisContext::getLiveVariables(), and introduce a templatized mechanism to lazily create analyses that are attached to AnalysisContext objects. by Ted Kremenek · 13 years ago
- 3f5e8d8 [analyzer] Previously, we were passing to CheckerContext enough info to construct ProgramPoint and it would pass it to NodeBuilder, which in turn would construct the ProgramPoint. Simplify it by just passing the ProgramPoint to CheckerContext. The ProgramPoint can only change if a checker tags it, in which case, we create a copy with the given tag. by Anna Zaks · 13 years ago
- 63d3201 ProgramPoint cleanup after the previous commit r141408 (remove the copy constructor, mark withTag const). by Anna Zaks · 13 years ago
- 5e1cdac Rename TagDecl::isDefinition -> isCompleteDefinition by John McCall · 13 years ago
- c808503 [static analyzer] Fix crash in LiveVariables and Environment::getSVal() when analyzing C++ pointer-to-member calls. Fixes <rdar://problem/10243398>. by Ted Kremenek · 13 years ago
- 6ee5b93 Clang-side build system infrastructure for multiple tblgens. by Peter Collingbourne · 13 years ago
- 390909c [analyzer] Remove the dependency on CheckerContext::getStmt() as well as the method itself. by Anna Zaks · 13 years ago
- 93edbc5 Fix major regression in RetainCountChecker. DefaultSummaries were not being used when they were meant to be. Fixes <rdar://problem/10241614>. by Ted Kremenek · 13 years ago
- 4eff823 [analyzer] Remove the last dependency on CheckerContext::getNodeBuilder() as well as the method itself. by Anna Zaks · 13 years ago
- dff6ef9 [analyzer] OSAtomicChecker implements evalCall in a very invasive way - it essentially simulates inlining of compareAndSwap() by means of setting the NodeBuilder flags and calling ExprEngine directly. by Anna Zaks · 13 years ago
- cbb7add [analyzer] Removing more references to CheckerContext::getNodeBuilder(): ask CheckerContext to generate the nodes. by Anna Zaks · 13 years ago
- 5d0ea6d [analyzer] Removing references to CheckerContext::getNodeBuilder(): checkers can obtain block count directly from the Context. by Anna Zaks · 13 years ago
- 8ba7214 [analyzer] Remove unused methods, add comments to others. by Anna Zaks · 13 years ago
- 3381a73 [analyzer] Remove redundant state (AnalysisContext pointer for every BinaryOperator tracked) from IdempotentOperationChecker. by Anna Zaks · 13 years ago
- 1e9775d [analyzer] In UndefBranchChecker, use a node generator which does not create an edge/branching. (ExprEngine should be in charge of generating edges. The checkers should examine the condition and generate PostCondition node if needed.) by Anna Zaks · 13 years ago
- 9c81bc2 [analyzer] Cleanup in UndefBranchChecker: by Anna Zaks · 13 years ago
- 491306a Allow getting all source locations of selector identifiers in a ObjCMethodDecl. by Argyrios Kyrtzidis · 13 years ago
- 6a835dd Fix LiveVariables analysis bug with MaterializeTemporaryExpr and fix handling in ExprEngine. Fixes <rdar://problem/10201666>. by Ted Kremenek · 13 years ago
- b459cf3 Address PR10616. The crash has already been fixed by Ted in r140725, so just refactor to use existing API + test case. by Anna Zaks · 13 years ago
- 7df2ff4 Tweak the interface for analyzing the CF conventions for a name by John McCall · 13 years ago
- e4c6675 Fix crash when analyzing C++ code involving constant enums and switch statements (<rdar://problem/10202899>). by Ted Kremenek · 13 years ago
- 0658879 [analyzer] Fix a bug in RetainReleaseChecker diagnostics. It gives more precise error message on the modified test case (and prevents duplicate diagnostics when we purge at block granularity). by Anna Zaks · 13 years ago
- d309528 [analyzer] Add -analyzer-purge option which can take on multiple values, remove -analyzer-purge=none. (Small refactor as well: move the work of constructing AnalysisManager from the callers to the class itself.) by Anna Zaks · 13 years ago
- f79d90e Check for empty predecessors for walking them. by Ted Kremenek · 13 years ago
- 7e5f112 Fix a crash in MallocOverflowSecurityChecker. Patch by Lei Zhang. by Anna Zaks · 13 years ago
- f39d962 Renaming PathDiagnosticClients.h to PathDiagnosticConsumers.h (issue 5397) by David Blaikie · 13 years ago
- ef3643f Rename PathDiagnosticClient to PathDiagnosticConsumer as per issue 5397 by David Blaikie · 13 years ago
- d6471f7 Rename Diagnostic to DiagnosticsEngine as per issue 5397 by David Blaikie · 13 years ago
- d25be9f Fix comment typo. by Benjamin Kramer · 13 years ago
- eb2d1f1 Removing a bunch of dead returns/breaks after llvm_unreachables. by David Blaikie · 13 years ago
- 1e705d5 Move immutable map canonization out of the removeDeadBindings loop (via using ImmutableMapRef). Gives ~2% speedup. by Anna Zaks · 13 years ago
- b219cfc Switch assert(0/false) llvm_unreachable. by David Blaikie · 13 years ago
- 5f62571 ST->scanReachableSymbols() is creating a SubRegionMap (SRM) on every call since one SRM is created in each ScanReachableSymbols instance. Creating the object just once and calling only scan inside the loop gives ~ 14% speed up of the StaticAnalyzer run (Release+Asserts). by Anna Zaks · 13 years ago
- 09ca9ef [analyzer] Fix a bug where PathDiagnosticLocation did not generate a valid range and add asserts to check validity of locations early on. Ignore invalid ranges in PathDiagnosticPiece (they could be added by checker writers). by Anna Zaks · 13 years ago
- ef70724 [analyzer] Refactor PathDiagnosticLocation: Remove SourceRange member from PathDiagnosticLocation - FullSourceLoc Loc and PathDiagnosticRange Range are sufficient. by Anna Zaks · 13 years ago
- bc0a301 [analyzer] Remove dead code. (This code is trying to implement the idea that PathDiagnosticClient could implement DiagnosticClient and has been dead for a while). by Anna Zaks · 13 years ago
- 590dd8e [analyzer] Refactor PathDiagnosticLocation: Make PathDiagnosticLocation(SourceLocation...) private. Most of the effort here goes to making BugReport refer to a PathDiagnosticLocation instead of FullSourceLocation. by Anna Zaks · 13 years ago
- 77ce46d [analyzer] Refactor PathDiagnosticLocation: Use the pre-computed Range and Location for profile. by Anna Zaks · 13 years ago
- b66f486 [analyzer] Refactor PathDiagnosticLocation: Use PointerUnion of LocationContext and AnalysisContext to support creation of PathDiagnosticLocations for checkers which no context sensitivity. by Anna Zaks · 13 years ago
- e974367 [analyzer] Refactor PathDiagnosticLocation: Lazily query LocationContext for a ParentMap as needed. by Anna Zaks · 13 years ago
- 2380337 [analyzer] Remove LocationContext and a dependency from PathDiagnosticLoaction. by Anna Zaks · 13 years ago
- b490c4b [analyzer] Refactor PathDiagnosticLocation: Pre-compute Range and Location with gen methods on object creation instead of computing on demand. This would allow to remove dependency on the other members which help with construction and might not even be valid at later stages (to be removed later on). by Anna Zaks · 13 years ago
- 1531bb0 [analyzer] Use more create methods in the PathDiagnostic, cleanup. by Anna Zaks · 13 years ago
- 4522e2a [analyzer] BugReport has a profile method, so reuse it here. by Anna Zaks · 13 years ago
- a64ccef Rename SourceLocation::getFileLocWithOffset -> getLocWithOffset. by Argyrios Kyrtzidis · 13 years ago
- 0cd5948 [analyzer] Refactor: make PathDiagnosticLocation responsible for validation of SourceLocations (commit 5 of ?): by Anna Zaks · 13 years ago
- f2b4e66 [analyzer] Refactor: make PathDiagnosticLocation responsible for validation of SourceLocations (commit 4 of ?): by Anna Zaks · 13 years ago
- 4fdf97b [analyzer] Refactor: make PathDiagnosticLocation responsible for validation of SourceLocations (commit 2 of ?): by Anna Zaks · 13 years ago
- 220ac8c [analyzer] Refactor: make PathDiagnosticLocation responsible for validation of SourceLocations (commit 2 of ?): by Anna Zaks · 13 years ago
- 4d353eb [analyzer] After CFG has been linearized, we can have a situation where an ExpoledNode has an invalid SourceLocation (which has no correspondence in the source code). This commit is the first step to solve this problem. by Anna Zaks · 13 years ago
- 43f48b0 [analyzer] Refactor: Make PathDiagnosticLocation responsible for creating a valid object given an ExploadedNode (the same logic can be reused by other checkers). by Anna Zaks · 13 years ago
- e289d81 Switch LangOptions over to a .def file that describes header of the by Douglas Gregor · 13 years ago
- 7a75646 [analyzer] Fix a failure encountered while analyzing bind (radar://10105448). by Anna Zaks · 13 years ago
- f7afe4a [analyzer] Fix a new failure encountered while building Adium exposed as a result of r138196(radar://10087620). ObjectiveC property of type int has a value of type ObjCPropRef, which is a Loc. by Anna Zaks · 13 years ago
- 33e56f3 Rename the ARC cast kinds to start with "ARC". by John McCall · 13 years ago
- dc05b11 When converting a block pointer to an Objective-C pointer type, extend by John McCall · 13 years ago
- d1fe529 [analyzer] -analyze-function for ObjectiveC should check if any of the methods match the name (not only the first one). by Anna Zaks · 13 years ago
- 1d9b3b2 Give conversions of block pointers to ObjC pointers a different cast kind by John McCall · 13 years ago
- d77ba89 Make helpers static, remove unused variables. by Benjamin Kramer · 13 years ago
- d1e5a89 [analyzer] Remove TransferFuncs.h, then deal with the fallout. by Jordy Rose · 13 years ago
- 910c405 [analyzer] Move RetainReleaseChecker to the Checkers library and rename it to RetainCountChecker...and clean up the file while I'm at it. by Jordy Rose · 13 years ago
- 46331ef [analyzer] Remove lingering CFRefCount creation, which would have resulted in a leak. There's room for improvement here... by Jordy Rose · 13 years ago
- e1b3643 [analyzer] Fix member initialization order. No functionality change. by Jordy Rose · 13 years ago
- 17a38e2 [analyzer] Move the knowledge of whether or not GC is enabled for the current analysis from CFRefCount to ExprEngine. by Jordy Rose · 13 years ago
- bcfd1f5 Extend the ASTContext constructor to delay the initialization of by Douglas Gregor · 13 years ago
- d56763f If size was equal to 0, either NULL or a pointer suitable to be passed to by Zhongxing Xu · 13 years ago
- 1af9d9e [analyzer] Fix varargs helper to only use POD types even for named arguments. Thanks, Joerg. by Jordy Rose · 13 years ago
- 065a405 [analyzer] MacOSKeychainAPIChecker: Simplify getSymbolForRegion by using existing API. Thanks Jordy. by Anna Zaks · 13 years ago
- 8b6eb7c Fix: Bug 10798 - [analyzer] Crash when analyzing ICU. (A slight improvement on the previous commit.) by Anna Zaks · 13 years ago
- 5c96f86 Fix bug 10797: Crash: "cast<Ty>() argument of incompatible type!" assert when analyzing ICU. by Anna Zaks · 13 years ago
- dbd658e [analyzer] Introduce a new callback for checkers, printState, to be used for debug-printing the contents of a ProgramState. by Jordy Rose · 13 years ago
- 93bd5ca [analyzer] Remove the ProgramState argument from ExprEngine::evalBind; we were ignoring it anyway. No functionality change. by Jordy Rose · 13 years ago
- fe27971 [analyzer] Eliminate almost all uses of TransferFuncs from ExprEngine. by Jordy Rose · 13 years ago
- e38dd95 [analyzer] Migrate argument invalidation from CFRefCount to ExprEngine. by Jordy Rose · 13 years ago
- 537716a [analyzer] Change the check::RegionChanges callback to include the regions explicitly requested for invalidation. by Jordy Rose · 13 years ago
- 07453ac [analyzer] Rename current PathDiagnosticClient::HandlePathDiagnostic() to HandlePathDiagnosticImpl(), and slot in new HandlePathDiagnostic() for potentially handling concurrent access to PathDiagnosticClients (in the future). by Ted Kremenek · 13 years ago
- fee618a [analyzer] Pull body of loop in AnalysisConsumer::HandleDeclContext() into its own method. No real functionality change. by Ted Kremenek · 13 years ago
- 417162c [analyzer] Remove a couple of unnecessary returns after llvm_unreachables. by Jordy Rose · 13 years ago
- 782f63e Handle CXXTempObjectRegion in StackAddrEscapeChecker. by Jeffrey Yasskin · 13 years ago
- db92bb6 [analyzer] Move the leak bugs from CFRefCount to RetainReleaseChecker, with a level of indirection to handle GC vs. non-GC. by Jordy Rose · 13 years ago
- eacd2b4 [analyzer] MacOSKeychainAPIChecker: Cleanup AllocationState structure. by Anna Zaks · 13 years ago
- d6334e1 [analyzer] Move the easy bug types from CFRefCount to RetainReleaseChecker. by Jordy Rose · 13 years ago
- 6b7aad9 [analyzer] MacOSKeychainAPIChecker: Add the custom BugReport visitor(which highlights the allocation site) to all the relevant reports within the checker. by Anna Zaks · 13 years ago
- b6cfc09 [analyzer] Move the RetainSummaryManager from CFRefCount to RetainReleaseChecker. by Jordy Rose · 13 years ago
- c318659 [analyzer] Better fix for the "missing return" error, from Ted. by Jordy Rose · 13 years ago
- 359bd07 [analyzer] Silence another incorrect warning ("control reaches end of non-void function") by Jordy Rose · 13 years ago
- 4f227aa [analyzer] Remove experimental FIXME that never actually applied to the code in trunk. by Jordy Rose · 13 years ago
- 2058956 [analyzer] CFRefReport and friends no longer depend on CFRefCount. by Jordy Rose · 13 years ago
- 5eb7d82 [analyzer] Do not use references in std::pair. by Anna Zaks · 13 years ago
- e94cb98 [analyzer] Unbreak the release buildbot. by Anna Zaks · 13 years ago
- 9840111 [analyzer] MacOSKeychainAPIChecker: Provide reacher diagnostic trace by pointing to the allocation site when reporting a leak. by Anna Zaks · 13 years ago
- f95b19d [analyzer] Silence an (incorrect) uninitialized variable warning, caught by Cameron. by Jordy Rose · 13 years ago