aboutsummaryrefslogtreecommitdiff
path: root/lib/Analysis
AgeCommit message (Expand)Author
2008-12-21Use utility method.Zhongxing Xu
2008-12-21Use utility methods. No functional change.Zhongxing Xu
2008-12-21Remove unused function.Zhongxing Xu
2008-12-20Add support for member references (E1.E2, E1->E2) with C++ semantics,Douglas Gregor
2008-12-20Lazy bingding for region-store manager.Zhongxing Xu
2008-12-20Fix <rdar://problem/6454568>: BugReporter should correctly handle switch stat...Ted Kremenek
2008-12-18Fix regression when invalidating reference-counts for objects passed-by-refer...Ted Kremenek
2008-12-17CF-retain/release checker:Ted Kremenek
2008-12-17Fix <rdar://problem/6451816>:Ted Kremenek
2008-12-17Add pretty-printing for AnonTypedRegion.Ted Kremenek
2008-12-16Add new GRWorkList class that uses two queues:Ted Kremenek
2008-12-16ProgramPoint:Ted Kremenek
2008-12-16Implement RegionStoreManager::Remove().Zhongxing Xu
2008-12-15Fix regression in handling sizeof(void) in the static analyzer.Ted Kremenek
2008-12-14I think we should getRValueType here. The lvaluetype of an array region is 'p...Zhongxing Xu
2008-12-13MemRegion:Ted Kremenek
2008-12-13A series of cleanups/fixes motivated by <rdar://problem/6442306>:Ted Kremenek
2008-12-11Address some comments on the name lookup/DeclContext patch from ChrisDouglas Gregor
2008-12-11Unifies the name-lookup mechanisms used in various parts of the ASTDouglas Gregor
2008-12-11Identify AnonPointeeRegion by the symbol that is concretized.Zhongxing Xu
2008-12-11AnonPointeeRegions are now identified by the MemRegion of the pointer pointingZhongxing Xu
2008-12-09Fix to BasicStoreManager::getElementLValue: If the base region is a symbol, l...Ted Kremenek
2008-12-09Have BasicStoreManager::getLValueElement() have logic similar to BasicStoreMa...Ted Kremenek
2008-12-09In GRExprEngine treat @throw as an 'abort' that ends the current path. This ...Ted Kremenek
2008-12-09Add utility method. Remove an unused method.Zhongxing Xu
2008-12-09[static analyzer] Extend VLA size checking to look for undefined sizes.Ted Kremenek
2008-12-09Fixed LiveVariables bug where we didn't consider block-level expressions that...Ted Kremenek
2008-12-08Add checking for zero-sized VLAs.Ted Kremenek
2008-12-08'self.myIvar = nil' (properties) only releases myIvar when the property has k...Ted Kremenek
2008-12-06Add bandaid transfer function support for assignments involving ObjCKVCRefExpr.Ted Kremenek
2008-12-05Add SymbolRef::print() and have SymbolicRegion::print() use this method inste...Ted Kremenek
2008-12-05Use trait-based profiling of SymbolRefs, avoiding calling getNumber() (which ...Ted Kremenek
2008-12-05Rename SymbolID to SymbolRef. This is a precursor to some overhauling of the...Ted Kremenek
2008-12-05Remove SymbolDataContentsOf (unused).Ted Kremenek
2008-12-05StoreManager::Retrieve and StoreManager::RemoveDeadBindings now take a GRStat...Ted Kremenek
2008-12-04Revamp RegionStoreManager::RemoveDeadBindings. This method now does a comple...Ted Kremenek
2008-12-04Update comment.Ted Kremenek
2008-12-04Add comments.Zhongxing Xu
2008-12-03BasicConstraintManager:Ted Kremenek
2008-12-03BasicConstraintManager:Ted Kremenek
2008-12-02Make RegionStoreManager::InitializeArray safe against array sizes that don't ...Sebastian Redl
2008-12-02Add FIXME.Ted Kremenek
2008-11-30Add support for initializing array with string literal.Zhongxing Xu
2008-11-29To be consistent, make the index of the ElementRegion always signed.Zhongxing Xu
2008-11-28Fix a serious bug.Zhongxing Xu
2008-11-28Code cleanup. No functional change.Zhongxing Xu
2008-11-28Use std::make_pair instead of std::pair's ctor.Zhongxing Xu
2008-11-27Factory objects should not be temporary. It caches all objects in the set.Zhongxing Xu
2008-11-27RegionViewMap factory is actually not used. All GDMs should use factories fromZhongxing Xu
2008-11-27Add comments.Zhongxing Xu
generated by cgit v1.2.3-18-g5258 (git 2.32.0) at 2025-08-05 16:38:33 +0000