- d49967f BugReporter/PathDiagnostics: by Ted Kremenek · 15 years ago
- 298862d Reformat long line. No functionality change. by Ted Kremenek · 15 years ago
- c887d13 retain/release checker: Hoist code for bug reports above transfer function logic by Ted Kremenek · 15 years ago
- 552333c Add version of getMethodSummary() that can be used to query the summary for the by Ted Kremenek · 15 years ago
- ce8a41d Rename getMethodSummary() -> getInstanceMethodSummary(). by Ted Kremenek · 15 years ago
- 5fa93d5 Add corner case logic to BasicStoreManager and GRSimpleVals::EvalBinOp to enable by Ted Kremenek · 15 years ago
- 82539b0 MemRegion pretty-printing: Convert DeclName to a string to print out the actual by Ted Kremenek · 15 years ago
- 5c86b19 SymbolicRegions may also be live roots. by Zhongxing Xu · 15 years ago
- 8711c03 retain/release checker: Refactor getMethodSummary() to not depend on ObjCMessageExpr. by Ted Kremenek · 15 years ago
- f82af1e As discussed with Ted offline, re-apply r70293. by Zhongxing Xu · 15 years ago
- fcd7c6f retain/release checker: Refactor the guts of getClassMethodSummary to not depend by Ted Kremenek · 15 years ago
- bf20dbd Implement ownership attribute 'objc_ownership_make_collectable'. This allows one by Ted Kremenek · 15 years ago
- b9dda75 Revert 70293. by Ted Kremenek · 15 years ago
- 6fd644a Now we can remove the 'blast-through' code. by Zhongxing Xu · 15 years ago
- a902d55 Extensive diagnostics: Do not add a location context for do...while statements. by Ted Kremenek · 15 years ago
- 8bd4d03 BugReporter (extensive diagnostics): Clean up do...while control-flow edges, and by Ted Kremenek · 15 years ago
- c6a59e4 Add two new checker-specific attributes: 'objc_ownership_release' and by Ted Kremenek · 15 years ago
- e798e7c Track objects in GC mode returned by 'alloc', 'new', etc. methods. These are by Ted Kremenek · 15 years ago
- 4064de9 Add new checker-specific attribute 'objc_ownership_cfretain'. This is the same by Ted Kremenek · 15 years ago
- d3a413d Implement function-try-blocks. However, there's a very subtle bug that I can't track down. by Sebastian Redl · 15 years ago
- 9ec64d6 Minor code cleanup. by Eli Friedman · 15 years ago
- 16f0049 split ObjC and C++ Statements out into their own headers. by Chris Lattner · 15 years ago
- 4da0427 Hook up attribute 'objc_ownership_retain' to the analyzer. This attribute allows by Ted Kremenek · 15 years ago
- 8650f08 Hook up __attribute__((objc_ownership_returns)) to the retain/release checker. by Ted Kremenek · 15 years ago
- 8ee885b Fix the same false positive reported in PR 2542 and <rdar://problem/6793409> by Ted Kremenek · 15 years ago
- ff11cd1 Minor refactoring: pass selector to getCommonMethodSummary(). No functionality by Ted Kremenek · 15 years ago
- 376d1e7 retain/release checker: more hacks to workaround false positives cause by by Ted Kremenek · 15 years ago
- 2e09bf6 Sentence case bug name. by Ted Kremenek · 15 years ago
- de4d533 retain/release checker: by Ted Kremenek · 15 years ago
- 250b1fa Refactor common logic in getMethodSummary() and getClassMethodSummary(). No by Ted Kremenek · 15 years ago
- 97d095f Further cleanups to isTrackedObjectType(). by Ted Kremenek · 15 years ago
- f9df136 retain/release checker: Don't call isTrackedObject() with the canonical type. by Ted Kremenek · 15 years ago
- 1f0186c retain/release checker: For class methods, only treat return values that are by Ted Kremenek · 15 years ago
- e87450e Per discussions with Ken Ferry and Paul Marks (<rdar://problem/6815234>) greatly by Ted Kremenek · 15 years ago
- b3cfd58 Fix PR 4033: the analyzer shouldn't crash on computed gotos involving symbolic by Ted Kremenek · 15 years ago
- 6f13235 BugReporter (extensive diagnostics): Recursively adjust the referred expression by Ted Kremenek · 15 years ago
- c2924d0 BugReporter (extensive diagnostics): Ignore parentheses when added control-flow by Ted Kremenek · 15 years ago
- 653f1b1 Eliminate the three SmallVectors in ObjCImplDecl (for instance by Douglas Gregor · 15 years ago
- 4c5fcd9 Add PathDiagnosticRange to PathDiagnostics. These simply wrap SourceRange and by Ted Kremenek · 15 years ago
- 4f5be3b BugReporter (extensive diagnostics): Use correct location for location contexts. by Ted Kremenek · 15 years ago
- 5c7168c BugReporter (extensive diagnostics): always add an edge if there is no location by Ted Kremenek · 15 years ago
- 404dd7a BugReporter (extensive diagnostics): by Ted Kremenek · 15 years ago
- a301a67 BugReporter (extensive diagnostic algorithm): The initial control-flow edge now by Ted Kremenek · 15 years ago
- 8f33290 PathDiagnosticLocation: ranges for terminators now only include the first by Ted Kremenek · 15 years ago
- 868210e Fix crash reported in PR 3991. The analyzer doesn't reason about ObjCKVCExpr. by Ted Kremenek · 15 years ago
- 30d1b99 This patch is largely due to Zhongxing Xu. I've simply applied it because of by Ted Kremenek · 15 years ago
- af48fdd Fix: <rdar://problem/6777209> false Dereference of null pointer in loop: pointer increment/decrement preserves non-nullness by Ted Kremenek · 15 years ago
- ec751c4 Tweak pretty-printing of constraints. by Ted Kremenek · 15 years ago
- c62abc1 Refactor 'BasicStoreManager::CastRegion' and 'RegionStoreManager::CastRegion' by Ted Kremenek · 15 years ago
- 72e0320 Recommit 69694 but this time also include the header changes (sorry for breaking by Ted Kremenek · 15 years ago
- a37221e Revert 69694 (use of undefined getSymbol) by Daniel Dunbar · 15 years ago
- e051308 Add pretty-printing for CodeTextRegions. by Ted Kremenek · 15 years ago
- 5639a3e Lexically order the implementation of MemRegion 'print' methods. No functionality change. by Ted Kremenek · 15 years ago
- 4abbea6 Use 'getAs<CodeTextRegion>' instead of 'dyn_cast<CodeTextRegion>' to handle any by Ted Kremenek · 15 years ago
- 5cbe5f9 Remove loc::FuncVal. by Zhongxing Xu · 15 years ago
- 369f447 get a CodeTextRegion when visiting FunctionDecl reference. by Zhongxing Xu · 15 years ago
- 0a095fb As we now have ValueManager as the new value factory, we do not need factory by Zhongxing Xu · 15 years ago
- 7297134 FunctionDecl::getBody() is getting an ASTContext argument for use in by Douglas Gregor · 15 years ago
- b3bf76f Add analyzer support for objc_atomicCompareAndSwap() by Ted Kremenek · 15 years ago
- 1670e40 Implement analyzer support for OSCompareAndSwap. This required pushing "tagged" by Ted Kremenek · 15 years ago
- fc3388d Move a few more NonLoc static functions to ValueManager. by Ted Kremenek · 15 years ago
- ec13d92 Add prototype for CodeTextRegion. by Zhongxing Xu · 15 years ago
- 3330dcb Finally nuke loc::SymbolVal. by Zhongxing Xu · 15 years ago
- 52e5602 Fix: <rdar://problem/6776949> Branch condition evaluates to an uninitialized value (argc is guaranteed to be >= 1) by Ted Kremenek · 15 years ago
- b725232 Implement attribute "analyzer_noreturn" (<rdar://problem/6777003>). This allows by Ted Kremenek · 15 years ago
- 8d7f548 - Move ownership of MemRegionManager into ValueManager. by Ted Kremenek · 15 years ago
- 6ab3524 Propagate the ASTContext to various AST traversal and lookup functions. by Douglas Gregor · 15 years ago
- 8e5fb28 Remove SVal::MakeZero and replace it with ValueManager::makeZeroVal. by Ted Kremenek · 15 years ago
- 044b6f0 analyzer: Introduce a new class, ValueManager, that serves as an aggregate by Ted Kremenek · 15 years ago
- c565b63 stop using loc::SymbolVal and clean up code with new API. by Zhongxing Xu · 15 years ago
- 021887e clean up code with new API. by Zhongxing Xu · 15 years ago
- caf8ce1 clean up code with new API. by Zhongxing Xu · 15 years ago
- 9cafcd5 clean up code with new API. by Zhongxing Xu · 15 years ago
- cfe2991 clean up code with new API. by Zhongxing Xu · 15 years ago
- ea7c5ce stop using loc::SymbolVal. by Zhongxing Xu · 15 years ago
- 8944c49 stop using loc::SymbolVal. by Zhongxing Xu · 15 years ago
- f97c070 stop using loc::SymbolVal. by Zhongxing Xu · 15 years ago
- bd41db9 clean up code with new API. by Zhongxing Xu · 15 years ago
- 6782f75 clean up code with new API. by Zhongxing Xu · 15 years ago
- fe1635b Add a new method because sometimes the type of the conjured symbol is not the by Zhongxing Xu · 15 years ago
- 9e82acb make a conjured symbol as the original code. by Zhongxing Xu · 15 years ago
- 51ae790 clean up code with new API. by Zhongxing Xu · 15 years ago
- f8769c8 Fix a null pointer dereference error due to state caching in a loop involving by Ted Kremenek · 15 years ago
- 867418f Create a symbolic region instead of a loc::SymbolVal. This is a continued step by Zhongxing Xu · 15 years ago
- fe630b9 GRExprEngine: Don't try to reason about the size of 'void' for the return type by Ted Kremenek · 15 years ago
- e644939 Fix another regression introduced by changes to the analyzer's reasoning about by Ted Kremenek · 15 years ago
- e8dbf06 Refactor/cleanup reasoning of nil receivers in message expressions. by Ted Kremenek · 15 years ago
- da9ae60 Enhance analyzer reasoning about sending messages to nil. A nil receiver returns 0 for scalars of size <= sizeof(void*). by Ted Kremenek · 15 years ago
- 899b3de New static analyzer check by Nikita Zhuk! by Ted Kremenek · 15 years ago
- f96f16d Remove hack from LiveVariables analysis where variables whose address are taken by Ted Kremenek · 15 years ago
- a5770b9 Remove GetLeakNode. This isn't the right approach. by Ted Kremenek · 15 years ago
- 0fa9654 Remove period. by Ted Kremenek · 15 years ago
- 0b3c9a9 Eagerly compute the leak location when a leak occurs at the end of a path. by Ted Kremenek · 15 years ago
- 581329c Removed some commented code. by Ted Kremenek · 15 years ago
- bfd7c9e PathDiagnostic generation: experiment with avoiding generation of control-flow by Ted Kremenek · 15 years ago
- 933c422 retain/release checker: When hunting for the leak location, don't walk the by Ted Kremenek · 15 years ago
- e97386f Don't overguard to adding a control-flow piece when "alwaysAdd" is true. by Ted Kremenek · 15 years ago
- 14856d7 Rewrite control-flow diagnostic generation "extensive" algorithm using "edge by Ted Kremenek · 15 years ago
- fea5f5a PathDiagnosticLocation now also wraps Decls. by Ted Kremenek · 15 years ago
- 9dab0ed Sentence-case bug type. by Ted Kremenek · 15 years ago