- 350e956 -Wdeprecated warning to include reference (as a note) by Fariborz Jahanian · 12 years ago
- bdb97ff In response to some discussions on IRC, tweak the wording of the new by Richard Smith · 12 years ago
- e41458c [analyzer] Don't crash on LValBitCast by Anna Zaks · 12 years ago
- 2815e1a Split a chunk of -Wconditional-uninitialized warnings out into a separate flag, by Richard Smith · 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
- 98553e8 [analyzer] Fix typo. Thanks Jordy. by Anna Zaks · 12 years ago
- d95e95e Replace inline asm constraint "=a" by the more general constraint "=r". by Simon Atanasyan · 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
- 671e3bc [analyzer] c++11: do not crash on namespace alias by Anna Zaks · 12 years ago
- 719b429 [analyzer] Fix a c++11 crash: xvalues can be locations (VisitMemberExpr) by Anna Zaks · 12 years ago
- 1434518 [analyzer]Malloc: refactor and report use after free by memory by Anna Zaks · 12 years ago
- 6d2b92e Add triples for test. by Jordy Rose · 12 years ago
- f158b71 [analyzer] Fix test for PR12206, which was failing on i386. by Jordy Rose · 12 years ago
- 533718f [analyzer] Revert a regression committed in r156920. by Anna Zaks · 12 years ago
- e337cba [analyzer] Fix RUN lines for old XFAIL tests, one of which actually works. by Jordy Rose · 12 years ago
- 43d9f0d [analyzer] Convert many existing tests to use clang_analyzer_eval. by Jordy Rose · 12 years ago
- 93a9d82 [analyzer] Introduce clang_analyzer_eval for regression test constraint checks. by Jordy Rose · 12 years ago
- f1db0c9 [analyzer] Add a test for dead stores, which uses OpaqueValExpr. by Anna Zaks · 12 years ago
- 5ec351c [analyzer] Fix a regression in ObjCUnusedIVars checker. by Anna Zaks · 12 years ago
- be0ee87 Improve some of the conversion warnings to fire on conversion to bool. by David Blaikie · 12 years ago
- 45246a7 [analyzer] Fix a crash in templated code which uses blocks. 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
- f113940 [analyzer] Test case: p->x is the same as p[0].x. (PR7297) by Jordy Rose · 12 years ago
- 70fdbc3 [analyzer] RetainCountChecker: track ObjC boxed expression objects. by Jordy Rose · 12 years ago
- 58715da [analyzer] Test variable modified types. by Anna Zaks · 12 years ago
- 297ca45 [analyzer] Test objC boxing. by Anna Zaks · 12 years ago
- 72b74aa [analyzer] Add buffer overflow test case. by Anna Zaks · 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
- 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
- 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
- 1d8db49 [analyzer] Rework both constraint managers to handle mixed-type comparisons. 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
- 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
- f132ba8 [analyzer] One more pointer escape test. 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
- 9e607dd [analyzer] Fix RUN line and general cleanup for additive folding tests. 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
- 33e4a1d [analyzer] Test case reported for a reported false positive, now fixed. by Anna Zaks · 12 years ago
- e2241cb [analyzer] Construct a SymExpr even when the constraint solver cannot by Anna Zaks · 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
- e720ce7 When going through references to check if the function returns the address by Argyrios Kyrtzidis · 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
- 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
- 454393e Add atan, atan2, exp, and log to the builtin math library functions. by Chad Rosier · 12 years ago
- 0b3ade8 [analyzer] Run remove dead bindings right before leaving a function. by Anna Zaks · 12 years ago
- 9a70cdd [analyzer] Fix a false alarm in SelfInitChecker (radar://11235991). by Anna Zaks · 12 years ago
- 5a389f1 [analyzer] Fixup for a test case. by Anna Zaks · 12 years ago
- 030c7e9 Fix tests that weren't actually verifying anything. by David Blaikie · 12 years ago
- 6a86082 [analyzer] PCH deserialization optimization. by Anna Zaks · 12 years ago
- 273ed98 [analyzer] Test case for r154451 (redefining system functions). by Anna Zaks · 12 years ago
- 83748e2 Include lambda capture init expressions in CFG. by Ted Kremenek · 12 years ago
- c3fa98f [analyzer] Another dynamic_cast false positive/negative. by Anna Zaks · 12 years ago
- 06868aa [analyzer] Better test cases for explaining where tracking types of by Anna Zaks · 12 years ago
- a2c8d2e [analyzer] dynamic_cast: Better model cast from a reference. by Anna Zaks · 12 years ago
- e19f86e [analyzer] Add support for C++ dynamic_cast. by Anna Zaks · 12 years ago
- bd61313 Rework ExprEngine::evalLoad and clients (e.g. VisitBinaryOperator) so that when we generate a new ExplodedNode by Ted Kremenek · 12 years ago
- f439e00 [analyzer] Check that the arguments to NSOrderedSet creation methods are valid ObjC objects. by Jordy Rose · 12 years ago
- b2f6820 Added a new attribute, objc_root_class, which informs the compiler when a root class is intentionally declared. by Patrick Beard · 12 years ago
- 7947bb1 [analyzer]Fix false positive: pointer might escape through CG*WithData. by Anna Zaks · 12 years ago
- b98b998 Handle symbolicating a reference in an initializer expression that we don't understand. by Ted Kremenek · 12 years ago
- 04a18c9 Teach ObjCContainersChecker that the array passed to CFArrayGetValueAtIndex might not be a symbolic value. by Ted Kremenek · 12 years ago
- bb3d20f Do not crash in the callgraph construction when encountering deleted function definitions. Fixes <rdar://problem/11178609>. by Ted Kremenek · 12 years ago
- e31b8fb Enable warn_impcast_literal_float_to_integer by default. by David Blaikie · 12 years ago
- bb811ca Look through chains of 'x = y = z' when employing silencing heuristics in the DeadStoresChecker. by Ted Kremenek · 12 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 · 12 years ago
- e62f048 [analyzer] Record the basic blocks covered by the analyzes run. by Anna Zaks · 12 years ago
- 31b5762 Fix another false positive in RegionStore involving doing loads from symbolic offsets. We still don't by Ted Kremenek · 12 years ago
- 62a5c34 [analyzer]Malloc,RetainRelease: Allow pointer to escape via NSMapInsert. by Anna Zaks · 12 years ago
- 4b81e74 [analyzer] Add a malloc cpp test file. by Anna Zaks · 12 years ago
- b47dbcb [analyzer] Enable retry exhausted without inlining by default. by Anna Zaks · 12 years ago
- 5903a37 [analyzer] Add an option to re-analyze a dead-end path without inlining. by Anna Zaks · 12 years ago
- de5b4fb Change RetainCountChecker to eagerly "escape" retained objects when they are by Ted Kremenek · 12 years ago
- 4cd7edf [analyzer] Malloc: Allow a pointer to escape through OSAtomicEnqueue. by Anna Zaks · 12 years ago
- 514f2c9 Avoid applying retain/release effects twice in RetainCountChecker when a function call was inlined (i.e., we do not need to apply summaries in such cases). by Ted Kremenek · 12 years ago
- 5aac0b6 Fix static analyzer crash on code taking the address of a field. Fixes PR 11146. by Ted Kremenek · 12 years ago
- 06911d4 "Teach" RetainCountChecker about dispatch_set_context, which can indirectly free its argument later. Fixes <rdar://problem/11059275>. by Ted Kremenek · 12 years ago
- f5aa3f5 [analyzer] Malloc: drop symbols captured by blocks. by Anna Zaks · 12 years ago