- 16f0049 split ObjC and C++ Statements out into their own headers. by Chris Lattner · 16 years ago
- b3cfd58 Fix PR 4033: the analyzer shouldn't crash on computed gotos involving symbolic by Ted Kremenek · 16 years ago
- 868210e Fix crash reported in PR 3991. The analyzer doesn't reason about ObjCKVCExpr. by Ted Kremenek · 16 years ago
- af48fdd Fix: <rdar://problem/6777209> false Dereference of null pointer in loop: pointer increment/decrement preserves non-nullness by Ted Kremenek · 16 years ago
- 369f447 get a CodeTextRegion when visiting FunctionDecl reference. by Zhongxing Xu · 16 years ago
- 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
- 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
- 8e5fb28 Remove SVal::MakeZero and replace it with ValueManager::makeZeroVal. by Ted Kremenek · 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
- 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
- a1718c7 This is the first step to gradually remove the use of loc::SymbolVal. Now by Zhongxing Xu · 16 years ago
- b930d7a Fix: <rdar://problem/6740387>. Sending nil to an object that returns a struct by Ted Kremenek · 16 years ago
- 536aa02 Add version of GRExprEngine::AddCheck that registered a GRSimpleAPICheck that by Ted Kremenek · 16 years ago
- f1d537f Implement a FIXME. by Zhongxing Xu · 16 years ago
- 7e24e82 rename some methods. by Chris Lattner · 16 years ago
- ab3a852 Change compound assignment operators to keep track of both the promoted by Eli Friedman · 16 years ago
- e0e4ebf analyzer infrastructure: make a bunch of changes to symbolic expressions that by Ted Kremenek · 16 years ago
- bb9b271 GRExprEngine: by Ted Kremenek · 16 years ago
- 7237459 Fix PR 3836 by eagerly assuming symbolic constraints returned by unary '!'. by Ted Kremenek · 16 years ago
- 6ae8a36 Add a hack in the analyzer to recover some path-sensitivity at branch by Ted Kremenek · 16 years ago
- 21028dd GRExprEngine::ProcessBranch: Don't register a "pretty-stack printer" when the Condition is null. by Ted Kremenek · 16 years ago
- 0bed8a1 GRExprEngine: Add pretty-stack trace printing for crashes and assertion failures. by Ted Kremenek · 16 years ago
- 276c6ac GRExprEngine: For places we might conjure up a new symbol to recover by Ted Kremenek · 16 years ago
- 940abcc Use the BugReports in BugReporter to determine the root nodes for "trim-egraph". by Ted Kremenek · 16 years ago
- fda79d1 Remove some dead spacing. No functionality change. by Ted Kremenek · 16 years ago
- 5c42f9b Fix another GRExprEngine::VisitCast regression: handle casts of void* to function pointers. by Ted Kremenek · 16 years ago
- c530291 Fix regression in GRExprEngine::VisitCast: Do not wrap symbolic function pointers with TypedViewRegions. by Ted Kremenek · 16 years ago
- ac78d6b Add 'cast<>' to remove an extra function call and dynamic cast. by Ted Kremenek · 16 years ago
- e121da4 More fixes in cast logic. by Ted Kremenek · 16 years ago
- efcfcc0 GRExprEngine: Polish up handling of casting integer constants to pointers and back. by Ted Kremenek · 16 years ago
- 16aac32 Fix regression in transparent translation of nonloc::ConcreteInto to loc::ConcreteInt. by Ted Kremenek · 16 years ago
- a4cb9d3 GRExprEngine::VisitCast: Just pass through function and block pointers. by Ted Kremenek · 16 years ago
- dc40290 Create "TypedViewRegions" that layer on top of SymbolicRegions when handling by Ted Kremenek · 16 years ago
- f5cae63 Revert 65707 (causes stack memory to be referenced after it is released). by Ted Kremenek · 16 years ago
- 56627e6 remove static ctor. by Chris Lattner · 16 years ago
- 161d36d improve compatibility with the VC++'08 C++ compiler. Patch by Niklas Larsson! by Chris Lattner · 16 years ago
- 72564e7 Create a new TypeNodes.def file that enumerates all of the types, by Douglas Gregor · 16 years ago
- b293902 Fix subtle bug in EvalEagerlyAssume: Check if the previous node was at the same statement. by Ted Kremenek · 16 years ago
- 48af2a9 Add experimental logic in GRExprEngine::EvalEagerlyAssume() to handle by Ted Kremenek · 16 years ago
- 265a305 Fix <rdar://problem/6611677>: Add basic transfer function support in the static by Ted Kremenek · 16 years ago
- 21fe837 Implemented simple check in <rdar://problem/6600344>: When the receiver of a by Ted Kremenek · 16 years ago
- 40bbff0 Add panic function. by Ted Kremenek · 16 years ago
- 29ba6b4 Add '_assert' to list of known panic functions. by Ted Kremenek · 16 years ago
- 3c385e5 Add hook to add attributes to function declarations that we know by Douglas Gregor · 16 years ago
- a3d1eb8 GRExprEngine: Handle empty statement expressions. by Ted Kremenek · 16 years ago
- 5b8d901 Use GRTransferFuncs::EvalBind when processing variable initializations. by Ted Kremenek · 16 years ago
- 41573eb Static analyzer: by Ted Kremenek · 16 years ago
- 3e41d60 Implicitly declare certain C library functions (malloc, strcpy, memmove, by Douglas Gregor · 16 years ago
- a8538d9 GRExprEngine: by Ted Kremenek · 16 years ago
- cad2996 GRExprEngine: When processing compound assignments, do a switch table lookup to get the non-compound opcode from the compound opcode instead of relying on the order of BinaryOperator::opcode values. This unbreaks the misc-ps.c test. by Ted Kremenek · 16 years ago
- cf118d4 Overhaul BugReporter interface and implementation. The new interface cleans up by Ted Kremenek · 16 years ago
- 97c4d47 Remove dead code. by Zhongxing Xu · 16 years ago
- 7da5aea make SM::getColumnNumber take a predecomposed FileID/offset, which by Chris Lattner · 16 years ago
- 1e2b1fc Move method out-of-line. by Ted Kremenek · 16 years ago
- d7eb846 Switch Type::isAggregateType to use the C++ definition of "aggregate by Douglas Gregor · 16 years ago
- 241677a Static Analyzer: Replace LiveSymbols/DeadSymbols sets with a new object called "SymbolReaper". Right now it just consolidates the two and cleans up some client code, but shortly it will be used to enable "lazy computation" of live symbols for use with RegionStore. by Ted Kremenek · 16 years ago
- 4afa39d Remove ScopedDecl, collapsing all of its functionality into Decl, so by Douglas Gregor · 16 years ago
- 72afb37 Fix analyzer crash found when scanning Wine sources where the analyzer used old logic to determine the value of a switch 'case' label. by Ted Kremenek · 16 years ago
- e1c2a67 static analyzer: Handle casts from arrays to integers. This fixes PR 3297. by Ted Kremenek · 16 years ago
- 1a49af9 Add QualifiedDeclRefExpr, which retains additional source-location by Douglas Gregor · 16 years ago
- a5a4166 Fix initialization order. by Zhongxing Xu · 16 years ago
- ff944a8 Add an option to make 'RemoveDeadBindings' a configurable behavior. This enables by Zhongxing Xu · 16 years ago
- 86f1940 Add support for member references (E1.E2, E1->E2) with C++ semantics, by Douglas Gregor · 16 years ago
- 4193eca Lazy bingding for region-store manager. by Zhongxing Xu · 16 years ago
- 8c35475 ProgramPoint: by Ted Kremenek · 16 years ago
- 55f7bcb Fix regression in handling sizeof(void) in the static analyzer. by Ted Kremenek · 16 years ago
- 6eddeb1 MemRegion: by Ted Kremenek · 16 years ago
- abb042f A series of cleanups/fixes motivated by <rdar://problem/6442306>: by Ted Kremenek · 16 years ago
- bbfd07a In GRExprEngine treat @throw as an 'abort' that ends the current path. This is a temporary solution. by Ted Kremenek · 16 years ago
- 159d248 [static analyzer] Extend VLA size checking to look for undefined sizes. by Ted Kremenek · 16 years ago
- efd5994 Add checking for zero-sized VLAs. by Ted Kremenek · 16 years ago
- 759623e Add bandaid transfer function support for assignments involving ObjCKVCRefExpr. by Ted Kremenek · 16 years ago
- 2dabd43 Rename SymbolID to SymbolRef. This is a precursor to some overhauling of the representation of symbolic values. by Ted Kremenek · 16 years ago
- 6987c7b Add support for initializing array with string literal. by Zhongxing Xu · 16 years ago
- d5b499d Code cleanup. No functional change. by Zhongxing Xu · 16 years ago
- 22438a8 Add support for pluggable components of static analyzer. by Zhongxing Xu · 16 years ago
- a68c106 Remove FIXME comment. by Ted Kremenek · 16 years ago
- baf03a7 Add support for AllocaRegion extent with GDM. by Zhongxing Xu · 16 years ago
- 1ed8d4b Cleanup code with utility method. by Zhongxing Xu · 16 years ago
- 1c0c233 Add out-of-bound memory access warning report code. by Zhongxing Xu · 16 years ago
- e8a964b Initial support for checking out of bound memory access. Only support by Zhongxing Xu · 16 years ago
- 5917d78 - Clean up transfer function logic for 'return' statements. by Ted Kremenek · 16 years ago
- cb529b5 Enhance modularization: return a <state,loc> pair to let GRExprEngine modify the by Zhongxing Xu · 16 years ago
- dc0a25d Enhances SCA to process untyped region to typed region conversion. by Zhongxing Xu · 16 years ago
- 0fb7c61 Reduce permissiveness of assertion. by Ted Kremenek · 16 years ago
- 60595da Reverted part of r59335: http://lists.cs.uiuc.edu/pipermail/cfe-commits/Week-of-Mon-20081110/009243.html by Ted Kremenek · 16 years ago
- 5631a73 Re-enable an assertion that I mistakenly removed. by Ted Kremenek · 16 years ago