| Age | Commit message (Expand) | Author |
|---|
| 2010-08-17 | Rewrite code fragment to avoide ICE in MSVC. Fixes PR 7875. Patch by Dimitr... | Ted Kremenek |
| 2010-08-17 | StringRef'ication of lots stuff, patch by Peter Davies! | Daniel Dunbar |
| 2010-08-17 | Remove dead code. | Ted Kremenek |
| 2010-08-17 | Convert all uses of StringLiteral::getStrData() to StringLiteral::getString() | Benjamin Kramer |
| 2010-08-17 | Generate a node instead of a sink. A leak is not a fatal error. | Zhongxing Xu |
| 2010-08-16 | Allow the "size" of a buffer access check to be either signed or unsigned. Fi... | Jordy Rose |
| 2010-08-16 | Added basic psuedoconstant checking in IdempotentOperationChecker and fixed s... | Tom Care |
| 2010-08-16 | Instead of using operator bool() for testing if a BindingKey is valid, use an... | Jordy Rose |
| 2010-08-16 | Move GRState::AssumeInBound out of its header file -- it's not really inline-... | Jordy Rose |
| 2010-08-16 | Model the effects of strcpy() and stpcpy() in CStringChecker. Other changes: | Jordy Rose |
| 2010-08-16 | - Allow making ElementRegions with complex offsets (expressions or symbols) f... | Jordy Rose |
| 2010-08-15 | Move GRState's bind* methods out of its header file -- they're too big for in... | Jordy Rose |
| 2010-08-15 | StoreManager::RemoveDeadBindings() can take a Store instead of an entire GRSt... | Zhongxing Xu |
| 2010-08-15 | Remove redundant method. | Zhongxing Xu |
| 2010-08-15 | Implement MallocChecker::EvalDeadSymbols() with the new API. This time we | Zhongxing Xu |
| 2010-08-15 | Remove dead code, caught by unused function warnings. | Argyrios Kyrtzidis |
| 2010-08-14 | Update CStringChecker to take advantage of the new metadata symbols and regio... | Jordy Rose |
| 2010-08-14 | Add a callback for when region changes occur. Still somewhat of a work-in-pro... | Jordy Rose |
| 2010-08-14 | Another metadata symbol change (missed a file) | Jordy Rose |
| 2010-08-14 | Add a new metadata symbol type for checkers to use. Metadata symbols must be ... | Jordy Rose |
| 2010-08-13 | Zap unused UnaryOperator::OffsetOf. | Eli Friedman |
| 2010-08-12 | Small changes to UnreachableCodeChecker | Tom Care |
| 2010-08-12 | Improved IdempotentOperationChecker false positives and false negatives. | Tom Care |
| 2010-08-12 | Remove OwnershipAttr::Kind, since it's essentially redundant with attr::Kind ... | Jordy Rose |
| 2010-08-12 | Actually use reduced set of checkers in EvalAssume. | Jordy Rose |
| 2010-08-11 | MemRegion can refer to ASTContext without external help. | Zhongxing Xu |
| 2010-08-11 | Have GRCoreEngine record the blocks where analysis was aborted because we vis... | Ted Kremenek |
| 2010-08-09 | Allow EvalBinOpNN to handle expressions of the form $a+$b if $b can be reduce... | Jordy Rose |
| 2010-08-07 | Allow reference binding of a reference of Objective-C object type to | Douglas Gregor |
| 2010-08-06 | Removed IdempotentOperationChecker from default analysis and returned back to... | Tom Care |
| 2010-08-06 | Fix 80 col. violations. | Ted Kremenek |
| 2010-08-06 | Nest variable declaration into into 'if' condition, thus restricting the scop... | Ted Kremenek |
| 2010-08-06 | Use 'GenerateNode()' instead of 'GenerateSink()' when reporting a leak. A le... | Ted Kremenek |
| 2010-08-06 | If all nodes are sunk, bail out early. This make the later check for checkers... | Zhongxing Xu |
| 2010-08-05 | Don't assert on a file stream if its state is not tracked. Fix pr7831. | Zhongxing Xu |
| 2010-08-05 | When checking if a buffer access is valid, first make sure the buffer has a v... | Jordy Rose |
| 2010-08-05 | Fixed logic error in UnreachableCodeChecker's marking algorithm that would so... | Tom Care |
| 2010-08-05 | Revert r110317, and add a comment why the assertion is not an invariant. | Ted Kremenek |
| 2010-08-05 | Make checker recognize OffsetOfExpr as a form of __builtin_offsetof. | Eli Friedman |
| 2010-08-05 | Turn the predicate into an assertion. When could the unequal case happen? | Zhongxing Xu |
| 2010-08-05 | Tweak GRState::unbindLoc to use makeWithStore, and make sure it's only called... | Jordy Rose |
| 2010-08-05 | Remove InvalidateRegion from stores, since it's no longer called from outside. | Jordy Rose |
| 2010-08-05 | Correctly handle 'Class<...>' when examining Cocoa conventions in the static ... | Ted Kremenek |
| 2010-08-04 | Change the checker callback cache in GRExprEngine to be more compact (and IMH... | Jordy Rose |
| 2010-08-03 | Improved false positive detection and numerous small issues in UnreachableCod... | Tom Care |
| 2010-08-03 | Makes GRState::makeWithStore private, to encourage clients to make store chan... | Jordy Rose |
| 2010-08-03 | Allow offsets to be negative. Out-of-bound cases are checked elsewhere. We | Zhongxing Xu |
| 2010-08-03 | Pull the region offset computation logic into a single method. | Zhongxing Xu |
| 2010-08-03 | Changed GRExprEngine to pass down a reference to itself when checkers are doi... | Tom Care |
| 2010-08-03 | Add -cc1 option '-unoptimized-cfg' to toggle using a CFG (for static analysis... | Ted Kremenek |
