- 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
- 144e52b [analyzer] Fix lack of coverage after empty inlined function. by Anna Zaks · 12 years ago
- dd82519 Disable diagnosic path pruning for ReturnUndefChecker. by Ted Kremenek · 12 years ago
- 7fa9b4f static analyzer: add inlining support for directly called blocks. by Ted Kremenek · 12 years ago
- 605954e [analyzer] Fix BugType memory leak in IdempotentOperationChecker. by Tom Care · 12 years ago
- 694a942 [analyzer] Cleanup for r157721. by Anna Zaks · 12 years ago
- ed7948b Allow some BugReports to opt-out of PathDiagnostic callstack pruning until we have significantly by Ted Kremenek · 12 years ago
- eaa0690 [analyzer]Fix another occurrence of iterator invalidation (LocalTUDecls) by Anna Zaks · 12 years ago
- 28b2307 Replace some custom hash combines with the standard stuff from DenseMapInfo. by Benjamin Kramer · 12 years ago
- e41458c [analyzer] Don't crash on LValBitCast by Anna Zaks · 12 years ago
- be72df0 [analyzer] Minor cleanup to checkers' help text. by Anna Zaks · 12 years ago
- 17eb65f [analyzer] Treat cast of array to reference in the same way as array to pointer. by Anna Zaks · 12 years ago
- 13dd47a [analyzer] Bind UnknownVal to InitListExpr for unsupported types (ex: float). by Anna Zaks · 12 years ago
- b7824d9 Analyzer: Fix PR12905, a crash when encountering a call to a function named "C". by Benjamin Kramer · 12 years ago
- 591b5f5 [analyzer] For locations, use isGLValue() instead of isLValue(). by Anna Zaks · 12 years ago
- 719b429 [analyzer] Fix a c++11 crash: xvalues can be locations (VisitMemberExpr) by Anna Zaks · 12 years ago
- a38cb2c [analyzer] Malloc checker: remove unnecessary comparisons. by Anna Zaks · 12 years ago
- 1434518 [analyzer]Malloc: refactor and report use after free by memory by Anna Zaks · 12 years ago
- 93a9d82 [analyzer] Introduce clang_analyzer_eval for regression test constraint checks. by Jordy Rose · 12 years ago
- 5ec351c [analyzer] Fix a regression in ObjCUnusedIVars checker. by Anna Zaks · 12 years ago
- 6e4244e [analyzer] strncpy: Special-case a length of 0 to avoid an incorrect warning. by Jordy Rose · 12 years ago
- 70fdbc3 [analyzer] RetainCountChecker: track ObjC boxed expression objects. by Jordy Rose · 12 years ago
- c8848f3 [analyzer] Do not walk the types for call graph construction. by Anna Zaks · 12 years ago
- df87558 The Lexer constructor expects a source location at the start of the by Argyrios Kyrtzidis · 12 years ago
- 51d18ca Include line that was meant to be in my last commit. by Ted Kremenek · 12 years ago
- 8667052 Fix insidious RegionStore bug where we (a) didn't handle vector types and (b) had by Ted Kremenek · 12 years ago
- b3b1ae8 [analyzer] Exit early if constraint solver is given a non-integer symbol by Anna Zaks · 12 years ago
- 88feba0 [analyzer] Do not highlight the range of the statement in case of leak. by Anna Zaks · 12 years ago
- 50b5a5c [analyzer] Simplify r156446, as per Ted's review. by Anna Zaks · 12 years ago
- caa62af [analyzer] Allow pointers to escape through selector callbacks. by Anna Zaks · 12 years ago
- a8f2362 [analyzer] We currently do not fully support CompoundLiterals in by Anna Zaks · 12 years ago
- 4213e38 Having RegionStore lower field bindings to raw offsets, just like ElementRegions. This is a bit by Ted Kremenek · 12 years ago
- 7dbbc21 When creating lazy bindings in RegionStore, propagate existing lazy bindings instead of creating new ones. by Ted Kremenek · 12 years ago
- 6341931 Include address of Store in graphviz output of ExplodedGraph. by Ted Kremenek · 12 years ago
- 6a2a186 [analyzer] SelfInit: Stop tracking self if it's assigned a value we by Anna Zaks · 12 years ago
- c319c58 Teach the analyzer about CXXScaleValueInitExpr. by Ted Kremenek · 12 years ago
- 2cbc12f [analyzer] BasicConstraintManager: drop NE-constraints once we have a value. by Jordy Rose · 12 years ago
- 1d8db49 [analyzer] Rework both constraint managers to handle mixed-type comparisons. by Jordy Rose · 12 years ago
- d3b6d99 [analyzer] Add an abstraction for the bit width and signedness of an APSInt. No functionality change. by Jordy Rose · 12 years ago
- c91fdf6 Teach the static analyzer that NSLog() and friends do not hold on to object references (thus extending their lifetime). by Ted Kremenek · 12 years ago
- ca11510 [analyzer]Turn on MallocSizeOfChecker by default; shorten the diagnostic by Anna Zaks · 12 years ago
- 6400f02 [analyzer] Fix a crash in triggered by OSAtomicChecker. by Anna Zaks · 12 years ago
- 41a669a [analyzer]Fixup r156215: use StopTracking summary instead of ScratchArgs by Anna Zaks · 12 years ago
- 3127d48 Remove variable made unused by r156270. by David Blaikie · 12 years ago
- c838fd2 [analyzer] Reduce parallel code paths in SimpleSValBuilder::evalBinOpNN, and handle mixed-type operations more generally. by Jordy Rose · 12 years ago
- 58822c4 [analyzer] RetainCountChecker: Allow objects to escape through callbacks by Anna Zaks · 12 years ago
- 85d87df Explicitly model capturing variables for blocks in the static analyzer. Fixes <rdar://problem/11125868>. by Ted Kremenek · 12 years ago
- 84d4384 [analyzer]Fixup r156134: Handle the case when FunctionDecl isn't avail. by Anna Zaks · 12 years ago
- b79d862 [analyzer] Assume pointer escapes when a callback is passed inside a struct. by Anna Zaks · 12 years ago
- aca0ac5 [analyzer] Allow pointers escape through calls containing callback args. by Anna Zaks · 12 years ago
- 90a7126 [analyzer] When promoting constant integers in a comparison, use the larger width of the two to avoid truncation. by Jordy Rose · 12 years ago
- dd160f3 [analyzer] CString Checker: Do not split the path unless the user by Anna Zaks · 12 years ago
- 14d20b1 [analyzer] Equality ops are like relational ops in that the arguments shouldn't be converted to the result type. Fixes PR12206 and dupe PR12510. by Jordy Rose · 12 years ago
- e55a14a [analyzer] Conjure a symbol to ensure we can identify pointer arithmetic by Anna Zaks · 12 years ago
- da39603 [analyzer] Do not assert on constructing SymSymExpr with diff types. by Anna Zaks · 12 years ago
- baeaa9a [analyzer] Add a complexity bound on history tracking. by Anna Zaks · 12 years ago
- 31595e2 [analyzer] Revert the functional part of r155944. by Anna Zaks · 12 years ago
- 11abcec Refine analyzer diagnostics by adding an expression "cone-of-influence" to reverse track interesting by Ted Kremenek · 12 years ago
- e7958da [analyzer] RetainRelease: Self assignment should not suppress a leak warning. by Anna Zaks · 12 years ago
- 2a6e30d [analyzer] Fix an assertion failure triggered by the analyzer buildbot. by Anna Zaks · 12 years ago
- 93c5a24 [analyzer] Fix the 'ptr = ptr' false negative in the Malloc checker. by Anna Zaks · 12 years ago
- 140d0c6 Teach SValBuilder to handle casts of symbolic pointer values to an integer twice. Fixes <rdar://problem/11212866>. by Ted Kremenek · 12 years ago
- e2241cb [analyzer] Construct a SymExpr even when the constraint solver cannot by Anna Zaks · 12 years ago
- 537dd3a Teach RetainCountchecker about IORegistryEntrySearchCFProperty returning retained objects. I know there is an SDK enhancement request for this to have the cf_returns_retained annotation, so this is just a stop gap. by Ted Kremenek · 12 years ago
- 88db6a2 malloc size checker: Ignore const'ness of pointer types when determining of a sizeof() type is compatible with a pointed type. by Ted Kremenek · 12 years ago
- 262bc18 Remove the ref/value inconsistency in filter_decl_iterator. by David Blaikie · 12 years ago
- d200187 [analyzer] Remove references to idx::TranslationUnit. Index is dead, cross-TU inlining never panned out. by Jordy Rose · 12 years ago
- 577f14a Use a deque instead of an ImmutableList in AnalysisConsumer to preserve the file order that functions are visited. Should fix the buildbots. by Ted Kremenek · 12 years ago
- cb0a503 Change FunctionSummary.h's definition of SetOfDecls to be an ImmutableList instead by Ted Kremenek · 12 years ago
- 8f40afb [analyzer] check lazy bindings in RegionStore first before looking for default values. Fixes <rdar://problem/11269741>. by Ted Kremenek · 12 years ago
- befc6d2 Teach RetainCountChecker that it doesn't quite understand pthread_setspecific and it should just give up when it sees it. Fixes <rdar://problem/11282706>. by Ted Kremenek · 12 years ago
- 0b3ade8 [analyzer] Run remove dead bindings right before leaving a function. by Anna Zaks · 12 years ago
- eb382ec Implements boxed expressions for Objective-C. <rdar://problem/10194391> by Patrick Beard · 12 years ago
- 01561d1 Change ExprEngine::shouldInlineDecl() to be defensive in checking if the CFG of the callee is valid. Fixes <rdar://problem/11257631>. by Ted Kremenek · 13 years ago
- 9a70cdd [analyzer] Fix a false alarm in SelfInitChecker (radar://11235991). by Anna Zaks · 13 years ago
- 534986f Add an AttributedStmt type to represent a statement with C++11 attributes by Richard Smith · 13 years ago
- 87e154c Remove the unused, unmaintained, incomplete 'Index' library. by Douglas Gregor · 13 years ago
- 6a86082 [analyzer] PCH deserialization optimization. by Anna Zaks · 13 years ago
- 7ea1c56 [analyzer] dynamic_cast Simplify null value generation. by Anna Zaks · 13 years ago
- 259052d [analyzer] Don't crash even when the system functions are redefined. by Anna Zaks · 13 years ago
- a2c8d2e [analyzer] dynamic_cast: Better model cast from a reference. by Anna Zaks · 13 years ago
- e19f86e [analyzer] Add support for C++ dynamic_cast. by Anna Zaks · 13 years ago
- bd61313 Rework ExprEngine::evalLoad and clients (e.g. VisitBinaryOperator) so that when we generate a new ExplodedNode by Ted Kremenek · 13 years ago
- f439e00 [analyzer] Check that the arguments to NSOrderedSet creation methods are valid ObjC objects. by Jordy Rose · 13 years ago
- 6fd4505 Require that all static analyzer issues have a category. As part of this change, by Ted Kremenek · 13 years ago
- b98b998 Handle symbolicating a reference in an initializer expression that we don't understand. by Ted Kremenek · 13 years ago
- 04a18c9 Teach ObjCContainersChecker that the array passed to CFArrayGetValueAtIndex might not be a symbolic value. by Ted Kremenek · 13 years ago
- 6b77ce8 [analyzer] Move stats calculation out of AnalysisConsumer destructor. by Anna Zaks · 13 years ago
- 907344e [analyzer] Change warding in a path diagnostic: by Anna Zaks · 13 years ago
- 4f4705f [analyzer] Remove redundant if statement (pointed out by Ted). by Anna Zaks · 13 years ago
- bb811ca Look through chains of 'x = y = z' when employing silencing heuristics in the DeadStoresChecker. by Ted Kremenek · 13 years ago
- 0718952 Include the "issue context" (e.g. function or method) where a static analyzer issue occurred in the plist output. by Ted Kremenek · 13 years ago
- 88fc181 Change BugReporter's usage of IsCachedDiagnostic to only impact pruning diagnostics emitted to the by Ted Kremenek · 13 years ago
- e62f048 [analyzer] Record the basic blocks covered by the analyzes run. by Anna Zaks · 13 years ago
- 31b5762 Fix another false positive in RegionStore involving doing loads from symbolic offsets. We still don't by Ted Kremenek · 13 years ago
- d9b7955 Fix potential null dereference in the static analyzer when inlining a call that has already been inlined. Unfortunately I have no test case. by Ted Kremenek · 13 years ago