Gitiles
Code Review Sign In
gerrit-public.fairphone.software / fp2-dev / platform / external / clang / 3baf672378f105602d2b12f03f00277ae1936fe9 / lib / Checker / BasicConstraintManager.cpp
  1. 3baf672 Adjust method calls to reflect name changes in by Ted Kremenek · 14 years ago
  2. ba0f61c Fold additive constants, and support comparsions of the form $sym+const1 <> const2 by Jordy Rose · 14 years ago
  3. 1309f9a Split libAnalysis into two libraries: libAnalysis and libChecker. by Ted Kremenek · 15 years ago[Renamed (98%) from lib/Analysis/BasicConstraintManager.cpp]
  4. 32a5808 Remove references to 'Checker' and 'GRTransferFuncs' from by Ted Kremenek · 15 years ago
  5. ba5fb5a lib/Analysis: Remove VISIBILITY_HIDDEN from definitions in anonymous namespace by Kovarththanan Rajaratnam · 15 years ago
  6. 1eb4433 Remove tabs, and whitespace cleanups. by Mike Stump · 15 years ago
  7. 53ba0b6 Remove uses of std::ostream from libAnalysis. by Ted Kremenek · 15 years ago
  8. f1b8227 Remove GRStateManager& field from SimpleConstraintManager. by Ted Kremenek · 15 years ago
  9. a591bc0 libAnalysis: by Ted Kremenek · 15 years ago
  10. c878138 Remove more uses of GRStateRef. by Ted Kremenek · 15 years ago
  11. 4502195 Patch by Ben Laurie: by Ted Kremenek · 16 years ago
  12. 026c663 Make SymbolicRegion subclass TypedRegion, for symbols usually have types, so by Zhongxing Xu · 16 years ago
  13. 071e04e update for change in API. by Chris Lattner · 16 years ago
  14. b2bf7cd Remove method 'AddNE' from the public interface of ConstraintManager. by Ted Kremenek · 16 years ago
  15. 8ee74d5 Use tag classes instead of typedefs for GDM entries 'ConstNotEq' and 'ConstEq'. This avoids collisions in the GDM. by Ted Kremenek · 16 years ago
  16. 9ab6b9c Static analyzer: Remove a bunch of outdated SymbolData objects and by Ted Kremenek · 16 years ago
  17. 241677a Static Analyzer: Replace LiveSymbols/DeadSymbols sets with a new object called "SymbolReaper". Right now it just consolidates the two and cleans up some client code, but shortly it will be used to enable "lazy computation" of live symbols for use with RegionStore. by Ted Kremenek · 16 years ago
  18. 2fb78a7 CF-retain/release checker: by Ted Kremenek · 16 years ago
  19. 2dabd43 Rename SymbolID to SymbolRef. This is a precursor to some overhauling of the representation of symbolic values. by Ted Kremenek · 16 years ago
  20. d7ff487 BasicConstraintManager: by Ted Kremenek · 16 years ago
  21. 73abd13 BasicConstraintManager: by Ted Kremenek · 16 years ago
  22. f0bc50e Factory objects should not be temporary. It caches all objects in the set. by Zhongxing Xu · 16 years ago
  23. 8fd9b35 Add comments. by Zhongxing Xu · 16 years ago
  24. e95db4f Fix crash of array bounds checking under 64-bit. by Sebastian Redl · 16 years ago
  25. e8a964b Initial support for checking out of bound memory access. Only support by Zhongxing Xu · 16 years ago
  26. 7d94e26 Print integer value instead of raw pointer. This is a hack to be fixed by migrating the output in analyzer to llvm::raw_ostream. by Zhongxing Xu · 16 years ago
  27. 197fa58 Remove loc::StringLiteralVal. Now we allocate regions for string literals in the Store. by Zhongxing Xu · 16 years ago
  28. c523471 Enhance "Assumption" logic in BasicConstraintManager when reasoning about regions and symbolic regions. When assuming whether or not a location is non-null, walk up the region hierarchy until we hit a symbolic region (and test it for null). This may not be the end all solution, as the notion of what a "symbolic region" is really belongs in the specific subclass of StoreManager. by Ted Kremenek · 16 years ago
  29. 1c96b24 This patch did the following renaming. There should be no functional changes. by Zhongxing Xu · 16 years ago
  30. d9bc33e Remove lval::FieldOffset, lval::ArrayOffset. These will be replaced with regions. by Ted Kremenek · 16 years ago
  31. 9e24049 This is a big patch, but the functionality change is small and the rest of the patch consists of deltas due to API changes. by Ted Kremenek · 16 years ago
  32. 0a41e5a Fixed logic error in BasicConstraintManager pointed out by Zhongxing Xu. by Ted Kremenek · 16 years ago
  33. 94b8312 Add an omitted case for AssumeSymInt. by Zhongxing Xu · 16 years ago
  34. 8c3e7fb Minor pass-sensitivity improvement: by Ted Kremenek · 16 years ago
  35. 0e194dd Add newline at end of file. by Daniel Dunbar · 16 years ago
  36. d19e21b Added LLVM comment header. by Zhongxing Xu · 16 years ago
  37. 39cfed3 Migrate the rest symbolic analysis stuff to BasicConstraintManager. by Zhongxing Xu · 16 years ago
  38. 30ad167 Refactor Assume logic into a separate class ConstraintManager. by Zhongxing Xu · 16 years ago