Gitiles
Code Review Sign In
gerrit-public.fairphone.software / toolchain / llvm-project / f96ae684c4be9c08901bde63b0df8ef5210e6aff / clang / lib / StaticAnalyzer / BasicConstraintManager.cpp
  1. d99bd55 Chris Lattner has strong opinions about directory layout. :) by Ted Kremenek · 15 years ago[Renamed (98%) from clang/lib/EntoSA/BasicConstraintManager.cpp]
  2. ef33f09 Rename headers: 'clang/GR' 'clang/EntoSA' and update Makefile. by Ted Kremenek · 15 years ago[Renamed (98%) from clang/lib/GR/BasicConstraintManager.cpp]
  3. 98857c9 Rename static analyzer namespace 'GR' to 'ento'. by Ted Kremenek · 15 years ago
  4. 1696f50 [analyzer] Refactoring: Drop the 'GR' prefix. by Argyrios Kyrtzidis · 15 years ago
  5. ca08fba [analyzer] Refactoring: Move stuff into namespace 'GR'. by Argyrios Kyrtzidis · 15 years ago
  6. 2ff5ab1 [analyzer] Refactoring: lib/Checker -> lib/GR and libclangChecker -> libclangGRCore by Argyrios Kyrtzidis · 15 years ago[Renamed from clang/lib/Checker/BasicConstraintManager.cpp]
  7. 8d602a8 [analyzer] Refactoring: include/clang/Checker -> include/clang/GR by Argyrios Kyrtzidis · 15 years ago
  8. c5bea1e Rename all 'AssumeXXX' methods in libChecker to 'assumeXXX'. by Ted Kremenek · 15 years ago
  9. b3b56c6 Adjust method calls to reflect name changes in by Ted Kremenek · 15 years ago
  10. c0fe842 Fold additive constants, and support comparsions of the form $sym+const1 <> const2 by Jordy Rose · 15 years ago
  11. d6b8708 Split libAnalysis into two libraries: libAnalysis and libChecker. by Ted Kremenek · 16 years ago[Renamed (98%) from clang/lib/Analysis/BasicConstraintManager.cpp]
  12. de8e744 Remove references to 'Checker' and 'GRTransferFuncs' from by Ted Kremenek · 16 years ago
  13. 65c6566 lib/Analysis: Remove VISIBILITY_HIDDEN from definitions in anonymous namespace by Kovarththanan Rajaratnam · 16 years ago
  14. 11289f4 Remove tabs, and whitespace cleanups. by Mike Stump · 16 years ago
  15. 799bb6e Remove uses of std::ostream from libAnalysis. by Ted Kremenek · 16 years ago
  16. 4c6a367 Remove GRStateManager& field from SimpleConstraintManager. by Ted Kremenek · 16 years ago
  17. f990684 libAnalysis: by Ted Kremenek · 16 years ago
  18. b35e2ca Remove more uses of GRStateRef. by Ted Kremenek · 16 years ago
  19. 7efe43d Patch by Ben Laurie: by Ted Kremenek · 17 years ago
  20. 9103df1 Make SymbolicRegion subclass TypedRegion, for symbols usually have types, so by Zhongxing Xu · 17 years ago
  21. 34beb04 update for change in API. by Chris Lattner · 17 years ago
  22. 2e561dd Remove method 'AddNE' from the public interface of ConstraintManager. by Ted Kremenek · 17 years ago
  23. e919328 Use tag classes instead of typedefs for GDM entries 'ConstNotEq' and 'ConstEq'. This avoids collisions in the GDM. by Ted Kremenek · 17 years ago
  24. 7404083 Static analyzer: Remove a bunch of outdated SymbolData objects and by Ted Kremenek · 17 years ago
  25. 16fbfe6 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 · 17 years ago
  26. 62d4c12 CF-retain/release checker: by Ted Kremenek · 17 years ago
  27. d8242f1 Rename SymbolID to SymbolRef. This is a precursor to some overhauling of the representation of symbolic values. by Ted Kremenek · 17 years ago
  28. fff9f4a BasicConstraintManager: by Ted Kremenek · 17 years ago
  29. f935cfe BasicConstraintManager: by Ted Kremenek · 17 years ago
  30. 59e2d41 Factory objects should not be temporary. It caches all objects in the set. by Zhongxing Xu · 17 years ago
  31. b94f440 Add comments. by Zhongxing Xu · 17 years ago
  32. 81c1e13 Fix crash of array bounds checking under 64-bit. by Sebastian Redl · 17 years ago
  33. 4d45b34 Initial support for checking out of bound memory access. Only support by Zhongxing Xu · 17 years ago
  34. 1c31dbe 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 · 17 years ago
  35. 60de6c6 Remove loc::StringLiteralVal. Now we allocate regions for string literals in the Store. by Zhongxing Xu · 17 years ago
  36. 1416a52 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 · 17 years ago
  37. 27f1742 This patch did the following renaming. There should be no functional changes. by Zhongxing Xu · 17 years ago
  38. 3ad391d Remove lval::FieldOffset, lval::ArrayOffset. These will be replaced with regions. by Ted Kremenek · 17 years ago
  39. 5ca90a2 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 · 17 years ago
  40. 34bfd8a Fixed logic error in BasicConstraintManager pointed out by Zhongxing Xu. by Ted Kremenek · 17 years ago
  41. a8e88ec Add an omitted case for AssumeSymInt. by Zhongxing Xu · 17 years ago
  42. 8782716 Minor pass-sensitivity improvement: by Ted Kremenek · 17 years ago
  43. c62cf79 Add newline at end of file. by Daniel Dunbar · 17 years ago
  44. 4c23963 Added LLVM comment header. by Zhongxing Xu · 17 years ago
  45. c1bd3a5 Migrate the rest symbolic analysis stuff to BasicConstraintManager. by Zhongxing Xu · 17 years ago
  46. f71b5f3 Refactor Assume logic into a separate class ConstraintManager. by Zhongxing Xu · 17 years ago