- 183ba8e [analyzer] Show paths for destructor calls. by Jordan Rose · 12 years ago
- da5fc53 [analyzer] Inline ctors + dtors when the CFG is built for them. by Jordan Rose · 12 years ago
- df51fb9 [analyzer] PostImplicitCall can also occur between CFGElements. by Jordan Rose · 12 years ago
- 9dc5167 [analyzer] Inline ObjC class methods. by Anna Zaks · 12 years ago
- fc999ac Add static analyzer check for calling a C++ instance method with a null/uninitialized pointer. by Ted Kremenek · 12 years ago
- a2ad394 Remove the ability to stash arbitrary pointers into UndefinedVal (no longer needed). by Ted Kremenek · 12 years ago
- 829846b Remove ExprEngine::MarkBranch(), as it is no longer needed. by Ted Kremenek · 12 years ago
- 469841a Update ExprEngine's handling of ternary operators to find the ternary expression by Ted Kremenek · 12 years ago
- 5292718 Remove experimental invalid iterators checker from the codebase until we have the time by Ted Kremenek · 12 years ago
- c0a4377 Promote warn_unknown_analyzer_checker to an error. Addresses <rdar://problem/10987863>. by Ted Kremenek · 12 years ago
- bed28ac Fix a typo (the the => the) by Sylvestre Ledru · 12 years ago
- c9dce4d Remove unused private member variable uncovered by the recent changes to clang's -Wunused-private-field. by Benjamin Kramer · 12 years ago
- e81ce25 [analyzer] Refactor VisitObjCMessage and VisitCallExpr to rely on the by Anna Zaks · 12 years ago
- 7c30427 Silence another GCC warning. by Richard Smith · 12 years ago
- 8919e68 [analyzer] Combine all ObjC message CallEvents into ObjCMethodCall. by Jordan Rose · 12 years ago
- 4b3918e [analyzer] Rename addExtraInvalidatedRegions to get...Regions by Jordan Rose · 12 years ago
- b7a23e0 [analyzer] Make CallEvent a value object. by Jordan Rose · 12 years ago
- 4ccc4cc [analyzer] Remove obsolete ObjCPropRef SVal kind. by Jordan Rose · 12 years ago
- 7ff8f5e [analyzer] Remove unused ExprEngine::VisitCXXTemporaryObjectExpr. by Jordan Rose · 12 years ago
- 7373ead Remove trivial destructor from SVal. by Benjamin Kramer · 12 years ago
- 21625c6 Fix crash in RegionStoreManager::evalDerivedToBase() due to not handling references by Ted Kremenek · 12 years ago
- a6a1aba [analyzer] Remove stale result type lvalue code. by Jordan Rose · 12 years ago
- 89e5aaf [analyzer] Handle new-expressions with initializers for scalars. by Jordan Rose · 12 years ago
- f85f60a Prevent unused-variable warning in optimized builds. by Daniel Jasper · 12 years ago
- 3f635c0 Refine CFG so that '&&' and '||' don't lead to extra confluence points when used in a branch, but by Ted Kremenek · 12 years ago
- c36b30c [analyzer] Don't inline virtual calls unless we can devirtualize properly. by Jordan Rose · 12 years ago
- 0ffbfd1 [analyzer] Add debug.DumpCalls, which prints out any CallEvents it sees. by Jordan Rose · 12 years ago
- 5ef6e94 [analyzer] Guard against C++ member functions that look like system functions. by Jordan Rose · 12 years ago
- 48b6247 [analyzer] Construct stack variables directly in their VarDecl. by Jordan Rose · 12 years ago
- e54cfc7 [analyzer] Use CallEvent for building inlined stack frames. by Jordan Rose · 12 years ago
- 852aa0d [analyzer] Make CallEnter, CallExitBegin, and CallExitEnd not be StmtPoints by Jordan Rose · 12 years ago
- 8d276d3 [analyzer] Add a CXXDestructorCall CallEvent. by Jordan Rose · 12 years ago
- 28038f3 [analyzer] Add new PreImplicitCall and PostImplicitCall ProgramPoints. by Jordan Rose · 12 years ago
- 783db50 [analyzer] Remove redundant check (scalar type is a superset of integer) by Anna Zaks · 12 years ago
- ee158bc [analyzer] When inlining, make sure we use the definition decl. by Jordan Rose · 12 years ago
- 752bee2 [analyzer] Be careful about LazyCompoundVals, which may be for the first field. by Jordan Rose · 12 years ago
- 8d3ba23 Implement AST classes for comments, a real parser for Doxygen comments and a by Dmitri Gribenko · 12 years ago
- 84c1f4b [analyzer] Add a statistic for maximum CFG size and a script to summarize analyzer stats from scan-build output. by Anna Zaks · 12 years ago
- 478851c Drop the ASTContext.h include from Stmt.h and fix up transitive users. by Benjamin Kramer · 12 years ago
- fdaa338 [analyzer] For now, don't inline non-static member overloaded operators. by Jordan Rose · 12 years ago
- 70cbf3c [analyzer] Introduce CXXAllocatorCall to handle placement arg invalidation. by Jordan Rose · 12 years ago
- fb3cc8b [analyzer] If 'super' is known to be nil, we can still mark its range. by Jordan Rose · 12 years ago
- 840c984 Revert "Remove unused member (& consequently unused parameter) in SA's Call code." by Jordan Rose · 12 years ago
- 8e674e1 Remove unused member (& consequently unused parameter) in SA's Call code. by David Blaikie · 12 years ago
- d4aeb80 Bail out the LiveVariables analysis when the CFG is very large, as by Ted Kremenek · 12 years ago
- 371b477 Fix subtle bug in AnalysisConsumer where we would not analyze functions whose parent by Ted Kremenek · 12 years ago
- fe6a011 [analyzer] Convert existing checkers to use check::preCall and check::postCall. by Jordan Rose · 12 years ago
- 96479da [analyzer] Add generic preCall and postCall checks. by Jordan Rose · 12 years ago
- 362a31c [analyzer] Convert CXXConstructExpr over to use CallEvent for evaluation. by Jordan Rose · 12 years ago
- 69f87c9 [analyzer] Use CallEvent for inlining and call default-evaluation. by Jordan Rose · 12 years ago
- de507ea [analyzer] Finish replacing ObjCMessage with ObjCMethodDecl and friends. by Jordan Rose · 12 years ago
- cde8cdb [analyzer] Begin replacing ObjCMessage with ObjCMethodCall and friends. by Jordan Rose · 12 years ago
- 85d7e01 [analyzer] Move the last bits of CallOrObjCMessage over to CallEvent. by Jordan Rose · 12 years ago
- 55037cd [analyzer] Convert CallAndMessageChecker and ObjCSelfInitChecker to CallEvent. by Jordan Rose · 12 years ago
- 4531b7d [analyzer] Convert RetainCountChecker to use CallEvent as much as possible. by Jordan Rose · 12 years ago
- 740d490 [analyzer] Add a new abstraction over all types of calls: CallEvent by Jordan Rose · 12 years ago
- b075417 Revert "Tweak insecureAPI analyzer checks to have the ability to be individually disabled." by Ted Kremenek · 12 years ago
- 4f50875 Tweak insecureAPI analyzer checks to have the ability to be individually disabled. by Ted Kremenek · 12 years ago
- 8d0f528 [analyzer] Add a test that we are, in fact, doing a DFS on the ExplodedGraph. by Jordan Rose · 12 years ago
- 29299c6 [analyzer] RetainCountChecker: remove unused SelfOwn ArgEffect kind. by Jordan Rose · 12 years ago
- 4715ed9 [analyzer] Remove unneeded helper function (it's in ASTContext.h) by Jordan Rose · 12 years ago
- ee68111 [analyzer] Be careful about implicitly-declared operator new/delete. (PR13090) by Jordan Rose · 12 years ago
- 10f77ad Implement initial static analysis inlining support for C++ methods. by Ted Kremenek · 12 years ago
- 7186dc6 [analyzer] Teach malloc checker that initWith[Bytes|Characters}NoCopy by Anna Zaks · 12 years ago
- 0206425 [analyzer] Remove a statistic - it's too expensive. by Anna Zaks · 12 years ago
- 1e548f1 [analyzer]scan-build: report the total number of steps analyzer performs by Anna Zaks · 12 years ago
- 3e4f65d [analyzer] Fixup to r158958. by Anna Zaks · 12 years ago
- df19fe7 [analyzer] Report the cumulative number of steps the analyzer performs. by Anna Zaks · 12 years ago
- 6c234b1 [analyzer] Check for +raise:format: on subclasses of NSException as well. by Jordan Rose · 12 years ago
- 5b7aa34 [analyzer] Malloc: Warn about use-after-free when memory ownership was by Anna Zaks · 12 years ago
- b0d8671 Remove a goofy CMake hack and use the standard CMake facilities to by Chandler Carruth · 12 years ago
- 52a0481 [analyzer] Malloc leak false positive: Allow xpc context to escape. by Anna Zaks · 12 years ago
- 050cdd7 [analyzer] Malloc: cleanup, disallow free on relinquished memory. by Anna Zaks · 12 years ago
- e38c1c2 [analyzer] Invalidate placement args; return the pointer given to placement new by Jordan Rose · 12 years ago
- 5f75768 [analyzer] Allow pointers to escape into NSPointerArray. by Anna Zaks · 12 years ago
- 333e05f [analyzer] Add a comment: why we treat array compound literals as lvalues. by Jordan Rose · 12 years ago
- 3083d3c [analyzer] Array CompoundLiteralExprs need to be treated like lvalues. by Jordan Rose · 12 years ago
- 9955e70 [analyzer] Return an UnknownVal when we try to get the binding for a VLA. by Jordan Rose · 12 years ago
- 1bf908d [analyzer] Buffers passed to CGBitmapContextCreate can escape. by Jordan Rose · 12 years ago
- 2e6f5b8 Documentation cleanup: fix a type, LocatioinE -> LocationE by James Dennett · 12 years ago
- 50571a9 [analyzer] RetainCount: don't track objects init'd with a delegate by Jordan Rose · 12 years ago
- 81c16fc Documentation cleanup: by James Dennett · 12 years ago
- 5b8c694 Revert "[analyzer] Treat LValueBitCasts like regular pointer bit casts." by Jordan Rose · 12 years ago
- 570d03c [analyzer] Treat LValueBitCasts like regular pointer bit casts. by Jordan Rose · 12 years ago
- 8cd64b4 Etch out the code path for MS-style inline assembly. by Chad Rosier · 12 years ago
- 1895a0a [analyzer] Add ObjCLoopChecker: objects from NSArray et al are non-nil. by Jordan Rose · 12 years ago
- 9765ea9 [analyzer] When looking for a known class, only traverse the hierarchy once. by Jordan Rose · 12 years ago
- 2e336ac [analyzer] MallocSizeofChecker false positive: when sizeof is argument by Anna Zaks · 12 years ago
- a64fae1 [analyzer] Add experimental "issue hash" to the plist diagnostic. by Anna Zaks · 12 years ago
- 783f008 [analyzer] Fixit for r158136. by Anna Zaks · 12 years ago
- e17fdb2 [analyzer] Anti-aliasing: different heap allocations do not alias by Anna Zaks · 12 years ago
- 36397dc [analyzer] Provide debug descriptions for all memory space regions. by Jordan Rose · 12 years ago
- 581deb3 Revert Decl's iterators back to pointer value_type rather than reference value_type by David Blaikie · 12 years ago
- facde17 Remove unused private member variables found by clang's new -Wunused-private-field. by Benjamin Kramer · 12 years ago
- ce56fd3 Disable path pruning for UndefResultChecker. It turns out we usually want to see more of the path by Ted Kremenek · 12 years ago
- 7453a72 PlistDiagnostics: force the ranges for control-flow edges to be single locations, forcing by Ted Kremenek · 12 years ago
- 0344e54 [analyzer] Fix a diagnostics bug which lead to a crash on the buildbot. by Anna Zaks · 12 years ago
- 48d798c Fix typos found by http://github.com/lyda/misspell-check by Benjamin Kramer · 12 years ago
- c0e71a1 [analyzer] Rely on canBeInlined utility instead of checking CallExpr explicitly. by Anna Zaks · 12 years ago
- 183ff2a [analyzer] Fix a spurious undef value warning. by Anna Zaks · 12 years ago