- b3bf76f Add analyzer support for objc_atomicCompareAndSwap() by Ted Kremenek · 16 years ago
- 1670e40 Implement analyzer support for OSCompareAndSwap. This required pushing "tagged" by Ted Kremenek · 16 years ago
- fc3388d Move a few more NonLoc static functions to ValueManager. by Ted Kremenek · 16 years ago
- ec13d92 Add prototype for CodeTextRegion. by Zhongxing Xu · 16 years ago
- 3330dcb Finally nuke loc::SymbolVal. by Zhongxing Xu · 16 years ago
- 52e5602 Fix: <rdar://problem/6776949> Branch condition evaluates to an uninitialized value (argc is guaranteed to be >= 1) by Ted Kremenek · 16 years ago
- b725232 Implement attribute "analyzer_noreturn" (<rdar://problem/6777003>). This allows by Ted Kremenek · 16 years ago
- 8d7f548 - Move ownership of MemRegionManager into ValueManager. by Ted Kremenek · 16 years ago
- 6ab3524 Propagate the ASTContext to various AST traversal and lookup functions. by Douglas Gregor · 16 years ago
- 8e5fb28 Remove SVal::MakeZero and replace it with ValueManager::makeZeroVal. by Ted Kremenek · 16 years ago
- 044b6f0 analyzer: Introduce a new class, ValueManager, that serves as an aggregate by Ted Kremenek · 16 years ago
- c565b63 stop using loc::SymbolVal and clean up code with new API. by Zhongxing Xu · 16 years ago
- 021887e clean up code with new API. by Zhongxing Xu · 16 years ago
- caf8ce1 clean up code with new API. by Zhongxing Xu · 16 years ago
- 9cafcd5 clean up code with new API. by Zhongxing Xu · 16 years ago
- cfe2991 clean up code with new API. by Zhongxing Xu · 16 years ago
- ea7c5ce stop using loc::SymbolVal. by Zhongxing Xu · 16 years ago
- 8944c49 stop using loc::SymbolVal. by Zhongxing Xu · 16 years ago
- f97c070 stop using loc::SymbolVal. by Zhongxing Xu · 16 years ago
- bd41db9 clean up code with new API. by Zhongxing Xu · 16 years ago
- 6782f75 clean up code with new API. by Zhongxing Xu · 16 years ago
- fe1635b Add a new method because sometimes the type of the conjured symbol is not the by Zhongxing Xu · 16 years ago
- 9e82acb make a conjured symbol as the original code. by Zhongxing Xu · 16 years ago
- 51ae790 clean up code with new API. by Zhongxing Xu · 16 years ago
- f8769c8 Fix a null pointer dereference error due to state caching in a loop involving by Ted Kremenek · 16 years ago
- 867418f Create a symbolic region instead of a loc::SymbolVal. This is a continued step by Zhongxing Xu · 16 years ago
- fe630b9 GRExprEngine: Don't try to reason about the size of 'void' for the return type by Ted Kremenek · 16 years ago
- e644939 Fix another regression introduced by changes to the analyzer's reasoning about by Ted Kremenek · 16 years ago
- e8dbf06 Refactor/cleanup reasoning of nil receivers in message expressions. by Ted Kremenek · 16 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 · 16 years ago
- 899b3de New static analyzer check by Nikita Zhuk! by Ted Kremenek · 16 years ago
- f96f16d Remove hack from LiveVariables analysis where variables whose address are taken by Ted Kremenek · 16 years ago
- a5770b9 Remove GetLeakNode. This isn't the right approach. by Ted Kremenek · 16 years ago
- 0fa9654 Remove period. by Ted Kremenek · 16 years ago
- 0b3c9a9 Eagerly compute the leak location when a leak occurs at the end of a path. by Ted Kremenek · 16 years ago
- 581329c Removed some commented code. by Ted Kremenek · 16 years ago
- bfd7c9e PathDiagnostic generation: experiment with avoiding generation of control-flow by Ted Kremenek · 16 years ago
- 933c422 retain/release checker: When hunting for the leak location, don't walk the by Ted Kremenek · 16 years ago
- e97386f Don't overguard to adding a control-flow piece when "alwaysAdd" is true. by Ted Kremenek · 16 years ago
- 14856d7 Rewrite control-flow diagnostic generation "extensive" algorithm using "edge by Ted Kremenek · 16 years ago
- fea5f5a PathDiagnosticLocation now also wraps Decls. by Ted Kremenek · 16 years ago
- 9dab0ed Sentence-case bug type. by Ted Kremenek · 16 years ago
- 99d0269 retain/release checker: don't track NSPanel until we have better reasoning about by Ted Kremenek · 16 years ago
- a1718c7 This is the first step to gradually remove the use of loc::SymbolVal. Now by Zhongxing Xu · 16 years ago
- efc620c Sentence-type bug type and category. by Ted Kremenek · 16 years ago
- 0ddaff3 Add another null pointer check. Simplify condition. by Ted Kremenek · 16 years ago
- c2dcd89 Fix grammar. by Ted Kremenek · 16 years ago
- 28de78b Add null pointer check. by Ted Kremenek · 16 years ago
- 13493ea More title-casing of bug type names. by Ted Kremenek · 16 years ago
- 4188409 Title-case the names of bug types. by Ted Kremenek · 16 years ago
- 5d88ff8 Title-case the names of bug types. by Ted Kremenek · 16 years ago
- 9e2d98d BugReporter, extensive path-diagnostics: add an extra control-flow edge to the by Ted Kremenek · 16 years ago
- 0dc65be Fix comment. by Ted Kremenek · 16 years ago
- a42c4c9 BugReporter: for extensive path diagnostics: by Ted Kremenek · 16 years ago
- 51a735c BugReporter: for extensive PathDiagnostic generation, add control-flow from the by Ted Kremenek · 16 years ago
- c3f83ad BugReporter: For the "extensive" PathDiagnostic generation algorithm, elide most by Ted Kremenek · 16 years ago
- b930d7a Fix: <rdar://problem/6740387>. Sending nil to an object that returns a struct by Ted Kremenek · 16 years ago
- 5fb5dfb - Changed PathDiagnosticPiece::getLocation() to return a PathDiagnosticLocation by Ted Kremenek · 16 years ago
- 3106198 More code reshuffling. No functionality change. by Ted Kremenek · 16 years ago
- 7dc8664 Allow two codepaths for PathDiagnostic generation. This patch mainly consists of by Ted Kremenek · 16 years ago
- e8e8648 Re-apply 68028. The code had drifted enough that the tests would fail without by Ted Kremenek · 16 years ago
- 782582d Revert 68028. by Ted Kremenek · 16 years ago
- be65d90 Remove dead code. by Ted Kremenek · 16 years ago
- 93e7145 Simplify more code by using SVal::getAsSymbol(). by Ted Kremenek · 16 years ago
- 380022d Simplify more code by using SVal::getAsSymbol() instead of by Ted Kremenek · 16 years ago
- 0297ee0 Convert use of loc::SymbolVal and nonloc::SymbolVal to V.getAsSymbol(). This by Ted Kremenek · 16 years ago
- 536aa02 Add version of GRExprEngine::AddCheck that registered a GRSimpleAPICheck that by Ted Kremenek · 16 years ago
- a45fec1 Make SymbolicRegion untyped. by Zhongxing Xu · 16 years ago
- f1d537f Implement a FIXME. by Zhongxing Xu · 16 years ago
- 2a8d6b0 Fix regression in pointer comparison with NULL (e.g., 0 != ptr). This fixes by Ted Kremenek · 16 years ago
- f5ab8e6 Adjust control-flow endpoints for '&&' and '||'. by Ted Kremenek · 16 years ago
- 7e24e82 rename some methods. by Chris Lattner · 16 years ago
- 1d9a23a Text PathDiagnosticBuilder::getEnclosingStmt() about '?' by Ted Kremenek · 16 years ago
- af3e3d5 Teach PathDiagnosticBuilder::getEnclosingStmtLocation() about while/if/do/for, by Ted Kremenek · 16 years ago
- ab3a852 Change compound assignment operators to keep track of both the promoted by Eli Friedman · 16 years ago
- d8c938b BugReporter: For control-flow edges from 'if', 'for', 'do', 'while' to by Ted Kremenek · 16 years ago
- 00605e0 BugReporter: PathDiagnosticBuilder::ExecutionContinues now returns a by Ted Kremenek · 16 years ago
- 73b6a44 remove dead code. by Zhongxing Xu · 16 years ago
- babdd7b BugReporter: by Ted Kremenek · 16 years ago
- 6fa9c38 remove the updated notes. by Zhongxing Xu · 16 years ago
- 6f00204 - Add class PathDiagosticLocationPair. by Ted Kremenek · 16 years ago
- becf888 Implement PathDiagnosticLocation::asRange() and PathDiagnosticLocation::asStmt(). by Ted Kremenek · 16 years ago
- b773702 Add comment. by Ted Kremenek · 16 years ago
- a546500 Restructure code to silence bogus GCC warning. by Ted Kremenek · 16 years ago
- 97b4003 - Implement PathDiagnosticLocation::asLocation. by Ted Kremenek · 16 years ago
- 1f9bd0f PathDiagnostics (analyzer): by Ted Kremenek · 16 years ago
- 8430456 Move "regions" analyzer design document to 'docs'. by Ted Kremenek · 16 years ago
- 4b8f99b Simplify some code. No functionality change. by Zhongxing Xu · 16 years ago
- 7fddc33 Check in some design documents to centralize ideas around region store and the by Zhongxing Xu · 16 years ago
- e0e4ebf analyzer infrastructure: make a bunch of changes to symbolic expressions that by Ted Kremenek · 16 years ago
- a129eb9 This patch adds two more SymbolData subclasses: SymIntExpr and SymSymExpr, for by Zhongxing Xu · 16 years ago
- 68ac94a analyzer: Provide temporary workaround for false positive reported by by Ted Kremenek · 16 years ago
- 693de5d analyzer: Fix embarrassing regression in BasicStore when invalidating struct by Ted Kremenek · 16 years ago
- bb9b271 GRExprEngine: by Ted Kremenek · 16 years ago
- 7037ab8 retain/release checker: Tracking autorelease counts for objects. We're still not by Ted Kremenek · 16 years ago
- 7237459 Fix PR 3836 by eagerly assuming symbolic constraints returned by unary '!'. by Ted Kremenek · 16 years ago
- ec099f1 Fix crash reported in <rdar://problem/6695527>. We now have by Ted Kremenek · 16 years ago
- c2fdb07 Use a work list to recursively build up the subregion mapping, and mark live by Zhongxing Xu · 16 years ago
- 6199190 Stub out some code for support for NSDeallocateObject. This is enabled yet until by Ted Kremenek · 16 years ago
- f95e9fc retain/release checker: Add support for reasoning about -dealloc. by Ted Kremenek · 16 years ago