| Age | Commit message (Expand) | Author |
|---|
| 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-14 | Add a callback for when region changes occur. Still somewhat of a work-in-pro... | Jordy Rose |
| 2010-08-14 | Add a new metadata symbol type for checkers to use. Metadata symbols must be ... | Jordy Rose |
| 2010-08-12 | Improved IdempotentOperationChecker false positives and false negatives. | Tom Care |
| 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-04 | Change the checker callback cache in GRExprEngine to be more compact (and IMH... | Jordy Rose |
| 2010-08-03 | Remove DoneEvaluating field (unused since r90296) | Jordy Rose |
| 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 |
| 2010-08-02 | You actually have to include a header in order to use a symbol, it's so 90s.. | Argyrios Kyrtzidis |
| 2010-08-02 | Use llvm_unreachable. | Argyrios Kyrtzidis |
| 2010-08-02 | Shut up warnings in Release build. | Argyrios Kyrtzidis |
| 2010-08-02 | Improve flat store: MemRegion::getAsOffset() computes a region's offset within | Zhongxing Xu |
| 2010-07-27 | Extracted out some useful common functions in IdempotentOperationChecker to t... | Tom Care |
| 2010-07-23 | Change arg type. | Zhongxing Xu |
| 2010-07-23 | AnalysisContext is not const. | Zhongxing Xu |
| 2010-07-22 | Make a bunch of new data structures for the new analysis | Zhongxing Xu |
| 2010-07-21 | Move some methods inline. | Zhongxing Xu |
| 2010-07-20 | Constify all references to Stmt* and CFGBlock* in libChecker. | Zhongxing Xu |
| 2010-07-20 | Constify. | Zhongxing Xu |
| 2010-07-19 | Reapply r108617. | Zhongxing Xu |
| 2010-07-17 | Revert r108617, it broke the build. | Benjamin Kramer |
| 2010-07-17 | Prepare the analyzer for the callee in another translation unit: | Zhongxing Xu |
| 2010-07-06 | Implement dumpToStream() for NonStaticGlobalSpaceRegion and StaticGlobalSpace... | Ted Kremenek |
| 2010-07-06 | Added a path-sensitive idempotent operation checker (-analyzer-idempotent-ope... | Tom Care |
| 2010-07-06 | Remove the now-unused GRState::isEqual method. Instead of asking if an expres... | Jordy Rose |
| 2010-07-04 | Add a new symbol type, SymbolExtent, to represent the extents of memory regio... | Jordy Rose |
| 2010-07-01 | Fix PR 7475 by enhancing the static analyzer to also invalidate bindings for ... | Ted Kremenek |
| 2010-07-01 | Add an ivar to SymbolReaper for the current statement, and then stop passing ... | Jordy Rose |
| 2010-07-01 | ExplodedGraph never uses ASTContext, remove it. | Zhongxing Xu |
| 2010-06-29 | Tweaker Checker::VisitEndAnalysis to have 'hasWorkRemaining' also | Ted Kremenek |
| 2010-06-28 | Pointer comparisons (and pointer-pointer subtraction). Basically filling in S... | Jordy Rose |
| 2010-06-25 | Add "checker caching" to GRExprEngine::CheckerVisit to progressively build | Ted Kremenek |
| 2010-06-23 | Add 'VisitEndAnalysis' callback to Checker class. This callback is called by... | Ted Kremenek |
| 2010-06-16 | We return Loc where we know. | Zhongxing Xu |
| 2010-06-16 | Add StreamChecker. This checker models and checks stream manipulation functions. | Zhongxing Xu |
| 2010-06-03 | Test commit: fix method summary comment | Jordy Rose |
| 2010-06-01 | Add support for calloc() in MallocChecker. Patch by Jordy Rose, with my | Zhongxing Xu |
| 2010-05-26 | Remove extents of dead symbolic regions when RemoveDeadBindings. | Zhongxing Xu |
| 2010-05-25 | CastSizeChecker checks when casting a malloc'ed symbolic region to type T, | Zhongxing Xu |
| 2010-05-18 | Add option '-analyzer-max-loop', which specifies the maximum | Zhongxing Xu |
| 2010-05-06 | Turn -analyzer-inline-call on for C functions. This also fixed a bug that | Zhongxing Xu |
| 2010-05-06 | Make -analyzer-inline-call not a separate analysis. Instead it's a boolean | Zhongxing Xu |
| 2010-04-28 | Completely reimplement __builtin_offsetof, based on a patch by Roberto | Douglas Gregor |
| 2010-04-21 | Add initial support for C++ delete expr. | Zhongxing Xu |
