aboutsummaryrefslogtreecommitdiff
path: root/include/clang/Analysis/PathSensitive/SVals.h
AgeCommit message (Expand)Author
2010-01-25Split libAnalysis into two libraries: libAnalysis and libChecker.Ted Kremenek
2009-12-19Remove ';' after method definition. Noticed by clang++, which one would thinkDaniel Dunbar
2009-12-16Add (initial?) static analyzer support for handling C++ references.Ted Kremenek
2009-11-10Rename: StripCasts describes what it does better. Zhongxing Xu
2009-11-09Add checker for CWE-587: Assignment of a Fixed Address to a Pointer.Zhongxing Xu
2009-09-11Introduce "DefinedOrUnknownSVal" into the SVal class hierarchy, providing a wayTed Kremenek
2009-09-09Remove tabs, and whitespace cleanups.Mike Stump
2009-08-24ConstraintManager::AssumeDual now accepts a 'DefinedSVal' instead of 'SVal' forTed Kremenek
2009-08-24Introduce 'DefinedSVal', an intermediate parent class between Loc/NonLoc andTed Kremenek
2009-08-06Refactor RegionStoreManager::RemoveDeadBindings to also scan the bindings of ...Ted Kremenek
2009-08-06Implement lazy "copying" of structures and arrays in RegionStore. WhileTed Kremenek
2009-07-29Add 'MemRegion::getBaseRegion()', a utility method to strip ElementRegions withTed Kremenek
2009-07-14Introduce Type::isAnyPointerType() and convert all clients (suggested by Chris).Steve Naroff
2009-07-13Tidy pretty-printing for SVals, using 'dump()' instead of 'printStdErr()', an...Ted Kremenek
2009-07-10This patch includes a conceptually simple, but very intrusive/pervasive change. Steve Naroff
2009-06-30add utility method.Zhongxing Xu
2009-06-26Introduce a new concept to the static analyzer: SValuator.Ted Kremenek
2009-06-24Remove uses of std::ostream from libAnalysis.Ted Kremenek
2009-06-23Move all factory methods from SVal to ValueManager. API cleanup!Zhongxing Xu
2009-06-18Move clients over from using GRStateManager::BindXXX and friends toTed Kremenek
2009-05-12Add logic for invalidating array region to CFRefCount.cpp. When invalidatingZhongxing Xu
2009-04-20Remove loc::FuncVal.Zhongxing Xu
2009-04-20get a CodeTextRegion when visiting FunctionDecl reference.Zhongxing Xu
2009-04-10Move a few more NonLoc static functions to ValueManager.Ted Kremenek
2009-04-10Finally nuke loc::SymbolVal.Zhongxing Xu
2009-04-09- Move ownership of MemRegionManager into ValueManager.Ted Kremenek
2009-04-09Remove SVal::MakeZero and replace it with ValueManager::makeZeroVal.Ted Kremenek
2009-04-09stop using loc::SymbolVal and clean up code with new API.Zhongxing Xu
2009-04-09Add a new method because sometimes the type of the conjured symbol is not theZhongxing Xu
2009-04-09Create a symbolic region instead of a loc::SymbolVal. This is a continued stepZhongxing Xu
2009-04-08Enhance analyzer reasoning about sending messages to nil. A nil receiver ret...Ted Kremenek
2009-04-03This is the first step to gradually remove the use of loc::SymbolVal. NowZhongxing Xu
2009-03-30Remove dead code.Ted Kremenek
2009-03-26analyzer infrastructure: make a bunch of changes to symbolic expressions thatTed Kremenek
2009-03-25This patch adds two more SymbolData subclasses: SymIntExpr and SymSymExpr, forZhongxing Xu
2009-03-20GRExprEngine:Ted Kremenek
2009-03-03Rework use of loc::SymbolVal in the retain/release checker to use the new methodTed Kremenek
2009-01-30Fix a couple bugs:Ted Kremenek
2009-01-22Static analyzer: Remove a bunch of outdated SymbolData objects andTed Kremenek
2008-12-20Lazy bingding for region-store manager.Zhongxing Xu
2008-12-09Add utility method. Remove an unused method.Zhongxing Xu
2008-12-05Change the implementation of symbol_iterator to not use a union and rely on a...Ted Kremenek
2008-12-05Rename SymbolID to SymbolRef. This is a precursor to some overhauling of the...Ted Kremenek
2008-11-24Add utility methods.Zhongxing Xu
2008-11-24Add getSize() support for StringRegion.Zhongxing Xu
2008-11-22Initial support for checking out of bound memory access. Only support Zhongxing Xu
2008-11-19Add SymbolData for array elements and struct fields.Zhongxing Xu
2008-10-30Pretty-printing for SVals now mainly uses llvm::raw_ostream. We have an adap...Ted Kremenek
2008-10-30Added iterators to nonloc::CompoundSVal.Ted Kremenek
2008-10-30CompoundVal now uses an ImmutableList<SVal> to store its set of SVals. This ...Ted Kremenek
generated by cgit v1.2.3-18-g5258 (git 2.32.0) at 2025-08-03 12:44:09 +0000