Gitiles
Code Review Sign In
gerrit-public.fairphone.software / fp2-dev / platform / external / clang / ff6f66e33f234d4bba16c9149476d691e2c96ca9 / lib / Checker / ValueManager.cpp
  1. 14d2328 Since now we store the cast type with an ElementRegion, there is by Zhongxing Xu · 14 years ago
  2. 1309f9a Split libAnalysis into two libraries: libAnalysis and libChecker. by Ted Kremenek · 15 years ago[Renamed (97%) from lib/Analysis/ValueManager.cpp]
  3. 67d1287 Add analysis support for blocks. This includes a few key changes: by Ted Kremenek · 15 years ago
  4. b48ad64 constify MemRegion* returned by MemRegionManager::getXXXRegion() methods. by Ted Kremenek · 15 years ago
  5. 0a8112a Refine MemRegions for blocks. Add a new region called by Ted Kremenek · 15 years ago
  6. eb1c7a0 Split CodeTextRegion into FunctionTextRegion and BlockTextRegion. This a precursor to having basic static analysis support for blocks. by Ted Kremenek · 15 years ago
  7. 8780679 Fix: by Ted Kremenek · 15 years ago
  8. 5b9bd21 Introduce "DefinedOrUnknownSVal" into the SVal class hierarchy, providing a way by Ted Kremenek · 15 years ago
  9. 1eb4433 Remove tabs, and whitespace cleanups. by Mike Stump · 15 years ago
  10. abd46e1 Use SymbolicRegion instead of CodeTextRegion for symbolic function by Ted Kremenek · 15 years ago
  11. 19e1f0b This is a fairly large patch, which resulted from a cascade of changes by Ted Kremenek · 15 years ago
  12. 32c3fa4 Fix PR 4594 by refactoring almost all casting logic from GRExprEngine::VisitCast by Ted Kremenek · 15 years ago
  13. 675bef6 Return CodeTextRegions for BlockPointerTypes in addition to FunctionPointerTypes. by Ted Kremenek · 15 years ago
  14. 06669c8 Two changes: by Ted Kremenek · 15 years ago
  15. fb91c70 Introduced the notion of a "derived symbol" using the class SymbolDerived. by Ted Kremenek · 15 years ago
  16. d91ee27 Move all factory methods from SVal to ValueManager. API cleanup! by Zhongxing Xu · 15 years ago
  17. 2ace5cd Split ValueManager method definitions into its own source file. by Zhongxing Xu · 15 years ago