- 4f596c2 Remove the last 'GetXXX' methods from GRStateManager. by Ted Kremenek · 15 years ago
- 1140186 Remove '#include <sstream>' from libAnalysis. by Ted Kremenek · 15 years ago
- 5c73462 Update method signature. by Ted Kremenek · 15 years ago
- e839172 Unbreak build. by Ted Kremenek · 15 years ago
- 36905c9 Remove orphaned header file. by Ted Kremenek · 15 years ago
- 6c07bdb Introduce a new concept to the static analyzer: SValuator. by Ted Kremenek · 15 years ago
- 048006b Remove declaration for unused and unimplemented static method. by Ted Kremenek · 15 years ago
- e4df9c4 remove RegionKills GDM. Now UnknownVal is bound to regions explicitly. by Zhongxing Xu · 15 years ago
- c00346f Move element region retrieving logic into a separate function. by Zhongxing Xu · 15 years ago
- 490b0f0 Move all logic for retrieving ElementRegion binding into a separate method. by Zhongxing Xu · 15 years ago
- 53ba0b6 Remove uses of std::ostream from libAnalysis. by Ted Kremenek · 15 years ago
- 233e913 Remove GRStateManager::GetSValAsScalarOrLoc()/GetSVal(). by Ted Kremenek · 15 years ago
- 02995ce Update for LLVM API changes. by Owen Anderson · 15 years ago
- e8ab9ea use a concrete type instead of a trait type to make code more readable. by Zhongxing Xu · 15 years ago
- e3a765f RegionStore: revert to the default value approach for array initialization. by Zhongxing Xu · 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
- bb7c96f - Add MemRegion::getMemorySpace() by Ted Kremenek · 15 years ago
- ea20cd7 Move 'hasStackStorage()' and 'hasHeapStorage()' from MemRegionManager to MemRegion. by Ted Kremenek · 15 years ago
- dbc2afc API cleanup: move more methods from GRStateManager to GRState. by Ted Kremenek · 15 years ago
- cfb361b Update CMake file. by Ted Kremenek · 15 years ago
- d91ee27 Move all factory methods from SVal to ValueManager. API cleanup! by Zhongxing Xu · 15 years ago
- 2ace5cd Split ValueManager method definitions into its own source file. by Zhongxing Xu · 15 years ago
- 3038c5a ValueManager::makeNonLoc -> ValueManager::makeIntVal by Zhongxing Xu · 15 years ago
- dbdf219 If the init list is fewer than the struct fields, bind the rest fields to 0 by Zhongxing Xu · 15 years ago
- 087d6c2 Instead of setting the default value of the array region, bind the rest of the by Zhongxing Xu · 15 years ago
- 0dea524 MemRegionManager: Migrate logic for getCodeTextRegion() over to using by Zhongxing Xu · 15 years ago
- dd198f0 Remove duplicated methods. by Zhongxing Xu · 15 years ago
- 83298da add a fixme. by Zhongxing Xu · 15 years ago
- a43484a MemRegions: by Ted Kremenek · 15 years ago
- 7ae7ad9 MemRegionManager: Migrate logic for getAllocaRegion() over to using trait-based MemRegion creation. by Ted Kremenek · 15 years ago
- ded1221 MemRegionManager: Migrate getObjCObjectRegion() and getTypedViewRegion() to use by Ted Kremenek · 15 years ago
- 6304b08 Migrate factory methods for FieldRegion and ObjCIVarRegion creation to use the by Ted Kremenek · 15 years ago
- 2501013 Refactor some of the logic in MemRegionManager for constructing regions using by Ted Kremenek · 15 years ago
- 99823a7 Allow CodeTextRegion to be cast to 'void *'. by Zhongxing Xu · 15 years ago
- 5414a5c Return UnknownVal for pointer arithmetic on struct fields. by Zhongxing Xu · 16 years ago
- 3ff1259 Remove more GetSVal/GetLValue methods in GRExprEngine/GRState, instead by Ted Kremenek · 16 years ago
- 45257c3 A further step of r73690: associate the cast-to type with the created symbol, by Zhongxing Xu · 16 years ago
- 005f07b If the SymbolicRegion was cast to another type, use that type to create the by Zhongxing Xu · 16 years ago
- 23ec48c Move clients over from using GRStateManager::BindXXX and friends to by Ted Kremenek · 16 years ago
- f1b8227 Remove GRStateManager& field from SimpleConstraintManager. by Ted Kremenek · 16 years ago
- a591bc0 libAnalysis: by Ted Kremenek · 16 years ago
- 68584ed Move the static DeclAttrs map into ASTContext. Fixes <rdar://problem/6983177>. by Douglas Gregor · 16 years ago
- 88c675f When casting region, if we do not create an element region, record the cast-to by Zhongxing Xu · 16 years ago
- 47fed90 Remove GRStateRef. by Ted Kremenek · 16 years ago
- b65be70 Remove more dependencies on GRStateRef. As a consequence, we can now by Ted Kremenek · 16 years ago
- 3a77203 Remove another dependency on GRStateRef. by Ted Kremenek · 16 years ago
- d1b3c2d First step toward fixing <rdar://problem/6613046> refactor clang objc type representation. by Steve Naroff · 16 years ago
- c878138 Remove more uses of GRStateRef. by Ted Kremenek · 16 years ago
- 67f2853 Start moving in the direction of removing GRStateRef. Now each by Ted Kremenek · 16 years ago
- 9af46f5 RegionStoreManager: by Ted Kremenek · 16 years ago
- 143b2fc Use canonical type for building ElementRegion. Otherwise ElementRegions cannot by Zhongxing Xu · 16 years ago
- 78d5b5e Do not invalidate unboundable regions in GRSimpleVals::EvalCall(). by Zhongxing Xu · 16 years ago
- 211a9c6 Fix: <rdar://problem/6945561> -[CIContext createCGLayerWithSize:info:] misinterpreted by clang scan-build by Ted Kremenek · 16 years ago
- 39d88b0 Fix: <rdar://problem/6961230> add knowledge of IOKit functions to retain/release checker by Ted Kremenek · 16 years ago
- 1b63e4f Sink the BuiltinInfo object from ASTContext into the by Chris Lattner · 16 years ago
- f0ec39a Stop tracking non-compound value for struct. It may be caused by imprecise cast by Zhongxing Xu · 16 years ago
- 53454dc use getAsPointerType() method. by Zhongxing Xu · 16 years ago
- b04cb59 Add summary lookup for IOServiceGetMatchingService. Convert tabs to spaces. by Ted Kremenek · 16 years ago
- fc63aa3 Refactor some function name -> summary lookup using a switch statement. by Ted Kremenek · 16 years ago
- 3f6978a Bind the mistakenly generated nonloc::SymbolVal to struct correctly. See the by Zhongxing Xu · 16 years ago
- b7507d1 Use more robust getAsRecordType() method. by Zhongxing Xu · 16 years ago
- 547d495 Fix: by Ted Kremenek · 16 years ago
- b9d8db8 Enhance attribute cf_returns_retained to also work (in the analyzer) by Ted Kremenek · 16 years ago
- 767d649 Add special cases to retain checker for 'create' methods in QCView, QCRenderer, and CIContext (Apple APIs). by Ted Kremenek · 16 years ago
- 9184412 Treat AllocaRegion as SymbolicRegion in RegionStore::Retrieve(). by Zhongxing Xu · 16 years ago
- 262fd03 * API change: we need to pass GRState to GRExprEngine::EvalBinOp() because by Zhongxing Xu · 16 years ago
- ba67f6a Fix PR 4230: Don't flag leaks of NSAutoreleasePools until we know that we aren' at the top-most scope of autorelease pools. by Ted Kremenek · 16 years ago
- 4e60900 Silence a Release-Asserts warning. by Daniel Dunbar · 16 years ago
- fae664a Fix: <rdar://problem/6893565> False positive: don't flag leaks for return types that cannot be determined to be CF types by Ted Kremenek · 16 years ago
- 938332c Fix another bug in BugReporter where we wouldn't always select the bug report in a bug equivalence class with the shortest path. by Ted Kremenek · 16 years ago
- 7db1604 Fix crash when deriving the enclosing summary of a method whose first selector slot has a null IdentifierInfo*. This happens when analyzing Growl. by Ted Kremenek · 16 years ago
- daec145 Remove extra whitespace character in string literal. Purely cosmetic. by Ted Kremenek · 16 years ago
- 725b747 Use dyn_cast instead of cast to allow our assumptions to be safely wrong. by Ted Kremenek · 16 years ago
- 85ac934 Cleanup internal checks bug reporting, allowing intermediate diagnostics to be generated for bad argument warnings, bad branches, etc. by Ted Kremenek · 16 years ago
- 07c015c BugReporter (extensive diagnostics): Do not include the range of target '}' by Ted Kremenek · 16 years ago
- 1e63c29 PathDiagnosticLocation::asRange(): for a PathDiagnosticLocation, the range of a DeclStmt is only the decl, not by Ted Kremenek · 16 years ago
- ddb7bab BugReporter (extensive diagnostics): Add control-flow piece to '}' in by Ted Kremenek · 16 years ago
- 3043766 Fix <rdar://problem/6859457> [NSData dataWithBytesNoCopy] does not return a retained object. by Ted Kremenek · 16 years ago
- 0c31317 Enhance diagnostics value tracking logic for null dereferences and uninitialized values. by Ted Kremenek · 16 years ago
- 70b6a83 Fix crasher reported in PR 4209 caused by an invalid summary by Ted Kremenek · 16 years ago
- 2033a95 Fix crasher in CFRefCount.cpp reported by Nikita Zhuk due to recently added autorelease tracking. by Ted Kremenek · 16 years ago
- 78a35a3 Fix: <rdar://problem/6320065> false positive - init method returns an object owned by caller by Ted Kremenek · 16 years ago
- 264e937 Add logic for invalidating array region to CFRefCount.cpp. When invalidating by Zhongxing Xu · 16 years ago
- 6738b73 Fix <rdar://problem/6877235> Classes typedef-ed to CF objects should get the same treatment as CF objects by Ted Kremenek · 16 years ago
- 3ef538d BugReport::getEndPath() - Only add a Stmt's range to the constructed PathDiagnosticEventPiece if the BugReport contained no explicit ranges. by Ted Kremenek · 16 years ago
- 109bf47 When stripping element regions for invalidating region values, treat FieldRegions and ObjCIvarRegions as "base" regions in addition to VarRegions. by Ted Kremenek · 16 years ago
- e88a170 EdgeBuilder: DeclStmts and BinaryOperators are not the enclosing location context when they are used as initialization code for loops. by Ted Kremenek · 16 years ago
- 9650cf3 EdgeBuilder::cleanUpLocation() should used the PathDiagnosticLocation constructor for a single point, not a range. by Ted Kremenek · 16 years ago
- 8c8b0ad BugReporter (extensive diagnostics): Add EdgeBuilder::cleanUpLocation for canonicalization locations and use this in both popLocation and rawAddEdge. by Ted Kremenek · 16 years ago
- ebd5a2d Fix regression reported in <rdar://problem/6866843>. The analyzer should extend the lifetime of an object stored to a container. by Ted Kremenek · 16 years ago
- 95d3b90 Fix a bug found by Thomas Clement where 'return [[[NSString alloc] init] autorelease]' would emit a false 'too many overreleases' error. by Ted Kremenek · 16 years ago
- 2e7c678 TypedRegion is a too general assumption. Usually we only want to invalidate by Zhongxing Xu · 16 years ago
- c87d5fb When retrieving an ElementRegion, if its super region is a StringRegion, by Zhongxing Xu · 16 years ago
- 2ee5214 Fix a bug that leads to infinite loop. Set the correct element type to by Zhongxing Xu · 16 years ago
- 82f2be5 Add special warning about returning a retained object where a GC'ed object is expected. by Ted Kremenek · 16 years ago
- e8720ce retain/release checker: Flag a warning for non-owned objects returned by Ted Kremenek · 16 years ago
- eaedfea analyzer: by Ted Kremenek · 16 years ago
- 5bf3287 When casting VarRegion, if the var type is aggregate type and the cast-to by Zhongxing Xu · 16 years ago