- d17da2b Add LocationContext* field to VarRegion. This is needed for interprocedural analysis. by Ted Kremenek · 15 years ago
- b8310ea Get the code decl from the initial location context. by Zhongxing Xu · 15 years ago
- 09105f5 Using "ObjCImplicitSetterGetterRefExpr" instead of "ObjCImplctSetterGetterRefExpr". by Fariborz Jahanian · 15 years ago
- 154440e Renamed ObjCKVCRefExpr to ObjCImplctSetterGetterRefExpr. by Fariborz Jahanian · 15 years ago
- 17fd863 To make the analysis independent on the locally stored liveness and cfg by Zhongxing Xu · 15 years ago
- 25e695b Extend the ProgramPoint to include the context information LocationContext, by Zhongxing Xu · 15 years ago
- 031ccc0 Last step of template cleanup: merge *BuilderImpl to *Builder. by Zhongxing Xu · 15 years ago
- c5619d9 As GRState seems general enough, it is time to merge some template classes by Zhongxing Xu · 15 years ago
- a52ad4e If the UnaryOperator has non-location type, use its type to create the by Zhongxing Xu · 15 years ago
- 39abcdf Temporarily disable out-of-bounds checking. The current checking logic will not work quite right with the changes I'm about to commit. by Ted Kremenek · 15 years ago
- 6217b80 Change uses of: by Ted Kremenek · 15 years ago
- f3bfa21 Fix PR 4631. The compound initializers of unions were not being evaluated, which by Ted Kremenek · 15 years ago
- 3629255 Revert r76831, there are many Analyzer test failures on multiple platforms. by Daniel Dunbar · 15 years ago
- 7a2d953 Add 'previsit' Checker pass for ObjCMessageExprs. by Ted Kremenek · 15 years ago
- 5f85e17 Refactor 'PostStmt' and 'PreStmt' to subclass a common parent 'StmtPoint'. by Ted Kremenek · 15 years ago
- 5a5d98b Add support for registering 'Checker' objects with GRExprEngine. by Ted Kremenek · 15 years ago
- 32c3fa4 Fix PR 4594 by refactoring almost all casting logic from GRExprEngine::VisitCast by Ted Kremenek · 15 years ago
- bc59aa5 Enhance GRExprEngine::EvalBind to handle some implicit casts from nonlocs to by Ted Kremenek · 15 years ago
- 1ff8339 Add FIXME. by Ted Kremenek · 15 years ago
- 5200354 Enhance GRBranchNodeBuilderImpl (part of GRCoreEngine) to understand the case by Ted Kremenek · 15 years ago
- 1152fc0 Fix caching bug revealed by analyzing ClamAV using RegionStore. by Ted Kremenek · 15 years ago
- 35366a6 Per offline discussion with Steve Naroff, add back Type::getAsXXXType() methods by Ted Kremenek · 15 years ago
- 1a1a6e2 Add member template 'Type::getAs<T>', which converts a Type* to a respective T*. by Ted Kremenek · 15 years ago
- 06669c8 Two changes: by Ted Kremenek · 15 years ago
- 8203725 Instead of recovering from a wrong invalidation, this patch aims to by Zhongxing Xu · 15 years ago
- 43d74a5 Handle insidious corner case exposed by RegionStoreManager when handling void* values that are bound by Ted Kremenek · 15 years ago
- 40b598e Remove the ASTContext parameter from the attribute-related methods of Decl. by Argyrios Kyrtzidis · 15 years ago
- e4f2142 Key decisions about 'bool' vs '_Bool' to be based on a new flag in langoptions. by Chris Lattner · 15 years ago
- 1140186 Remove '#include <sstream>' from libAnalysis. by Ted Kremenek · 15 years ago
- 6c07bdb Introduce a new concept to the static analyzer: SValuator. by Ted Kremenek · 15 years ago
- 53ba0b6 Remove uses of std::ostream from libAnalysis. by Ted Kremenek · 15 years ago
- 02995ce Update for LLVM API changes. by Owen Anderson · 15 years ago
- 25e751a Remove GRStateManager::getRegion/getSelfRegion(). by Ted Kremenek · 15 years ago
- 76500d0 Remove GRStateManager::BindLoc() and GRStateManager::Unbind(). by Ted Kremenek · 15 years ago
- f3b0975 Remove GRStateManager::BindDecl() and GRStateManager::BindDeclWithInit(). by Ted Kremenek · 15 years ago
- ea20cd7 Move 'hasStackStorage()' and 'hasHeapStorage()' from MemRegionManager to MemRegion. by Ted Kremenek · 15 years ago
- d91ee27 Move all factory methods from SVal to ValueManager. API cleanup! by Zhongxing Xu · 15 years ago
- 3038c5a ValueManager::makeNonLoc -> ValueManager::makeIntVal by Zhongxing Xu · 15 years ago
- 3ff1259 Remove more GetSVal/GetLValue methods in GRExprEngine/GRState, instead by Ted Kremenek · 15 years ago
- 23ec48c Move clients over from using GRStateManager::BindXXX and friends to by Ted Kremenek · 15 years ago
- a591bc0 libAnalysis: by Ted Kremenek · 15 years ago
- 68584ed Move the static DeclAttrs map into ASTContext. Fixes <rdar://problem/6983177>. by Douglas Gregor · 15 years ago
- b65be70 Remove more dependencies on GRStateRef. As a consequence, we can now by Ted Kremenek · 15 years ago
- 1b63e4f Sink the BuiltinInfo object from ASTContext into the by Chris Lattner · 15 years ago
- 262fd03 * API change: we need to pass GRState to GRExprEngine::EvalBinOp() because by Zhongxing Xu · 15 years ago
- a82d8aa As discussed with Ted, rename TypedRegion::getObjectType() to by Zhongxing Xu · 15 years ago
- ff69782 rename: MemRegion: RValueType => ObjectType LValueType => LocationType by Zhongxing Xu · 15 years ago
- 7090d54 analyzer: Add ProgramPoint 'PostLValue' just to distinguish (for by Ted Kremenek · 15 years ago
- f936f45 Per conversations with Zhongxing, add an 'element type' to by Ted Kremenek · 15 years ago
- 16f0049 split ObjC and C++ Statements out into their own headers. by Chris Lattner · 15 years ago
- b3cfd58 Fix PR 4033: the analyzer shouldn't crash on computed gotos involving symbolic 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
- af48fdd Fix: <rdar://problem/6777209> false Dereference of null pointer in loop: pointer increment/decrement preserves non-nullness by Ted Kremenek · 15 years ago
- 369f447 get a CodeTextRegion when visiting FunctionDecl reference. by Zhongxing Xu · 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
- 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
- 8e5fb28 Remove SVal::MakeZero and replace it with ValueManager::makeZeroVal. by Ted Kremenek · 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
- 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
- a1718c7 This is the first step to gradually remove the use of loc::SymbolVal. Now by Zhongxing Xu · 15 years ago
- b930d7a Fix: <rdar://problem/6740387>. Sending nil to an object that returns a struct by Ted Kremenek · 15 years ago
- 536aa02 Add version of GRExprEngine::AddCheck that registered a GRSimpleAPICheck that by Ted Kremenek · 15 years ago
- f1d537f Implement a FIXME. by Zhongxing Xu · 15 years ago
- 7e24e82 rename some methods. by Chris Lattner · 15 years ago
- ab3a852 Change compound assignment operators to keep track of both the promoted by Eli Friedman · 15 years ago
- e0e4ebf analyzer infrastructure: make a bunch of changes to symbolic expressions that by Ted Kremenek · 15 years ago
- bb9b271 GRExprEngine: by Ted Kremenek · 15 years ago
- 7237459 Fix PR 3836 by eagerly assuming symbolic constraints returned by unary '!'. by Ted Kremenek · 15 years ago
- 6ae8a36 Add a hack in the analyzer to recover some path-sensitivity at branch by Ted Kremenek · 15 years ago
- 21028dd GRExprEngine::ProcessBranch: Don't register a "pretty-stack printer" when the Condition is null. by Ted Kremenek · 15 years ago
- 0bed8a1 GRExprEngine: Add pretty-stack trace printing for crashes and assertion failures. by Ted Kremenek · 15 years ago
- 276c6ac GRExprEngine: For places we might conjure up a new symbol to recover by Ted Kremenek · 15 years ago
- 940abcc Use the BugReports in BugReporter to determine the root nodes for "trim-egraph". by Ted Kremenek · 15 years ago
- fda79d1 Remove some dead spacing. No functionality change. by Ted Kremenek · 15 years ago
- 5c42f9b Fix another GRExprEngine::VisitCast regression: handle casts of void* to function pointers. by Ted Kremenek · 15 years ago
- c530291 Fix regression in GRExprEngine::VisitCast: Do not wrap symbolic function pointers with TypedViewRegions. by Ted Kremenek · 15 years ago
- ac78d6b Add 'cast<>' to remove an extra function call and dynamic cast. by Ted Kremenek · 15 years ago
- e121da4 More fixes in cast logic. by Ted Kremenek · 15 years ago
- efcfcc0 GRExprEngine: Polish up handling of casting integer constants to pointers and back. by Ted Kremenek · 15 years ago
- 16aac32 Fix regression in transparent translation of nonloc::ConcreteInto to loc::ConcreteInt. by Ted Kremenek · 15 years ago
- a4cb9d3 GRExprEngine::VisitCast: Just pass through function and block pointers. by Ted Kremenek · 15 years ago
- dc40290 Create "TypedViewRegions" that layer on top of SymbolicRegions when handling by Ted Kremenek · 15 years ago
- f5cae63 Revert 65707 (causes stack memory to be referenced after it is released). by Ted Kremenek · 15 years ago
- 56627e6 remove static ctor. by Chris Lattner · 15 years ago
- 161d36d improve compatibility with the VC++'08 C++ compiler. Patch by Niklas Larsson! by Chris Lattner · 15 years ago
- 72564e7 Create a new TypeNodes.def file that enumerates all of the types, by Douglas Gregor · 15 years ago
- b293902 Fix subtle bug in EvalEagerlyAssume: Check if the previous node was at the same statement. by Ted Kremenek · 15 years ago