Gitiles
Code Review Sign In
gerrit-public.fairphone.software / platform / external / clang / a769c004a2874504c17ea8afccbc4ad35fc33c9f / lib / Analysis / BasicConstraintManager.cpp
  1. 2dabd43 Rename SymbolID to SymbolRef. This is a precursor to some overhauling of the representation of symbolic values. by Ted Kremenek · 17 years ago
  2. d7ff487 BasicConstraintManager: by Ted Kremenek · 17 years ago
  3. 73abd13 BasicConstraintManager: by Ted Kremenek · 17 years ago
  4. f0bc50e Factory objects should not be temporary. It caches all objects in the set. by Zhongxing Xu · 17 years ago
  5. 8fd9b35 Add comments. by Zhongxing Xu · 17 years ago
  6. e95db4f Fix crash of array bounds checking under 64-bit. by Sebastian Redl · 17 years ago
  7. e8a964b Initial support for checking out of bound memory access. Only support by Zhongxing Xu · 17 years ago
  8. 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 · 17 years ago
  9. 197fa58 Remove loc::StringLiteralVal. Now we allocate regions for string literals in the Store. by Zhongxing Xu · 17 years ago
  10. 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 · 17 years ago
  11. 1c96b24 This patch did the following renaming. There should be no functional changes. by Zhongxing Xu · 17 years ago
  12. d9bc33e Remove lval::FieldOffset, lval::ArrayOffset. These will be replaced with regions. by Ted Kremenek · 17 years ago
  13. 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 · 17 years ago
  14. 0a41e5a Fixed logic error in BasicConstraintManager pointed out by Zhongxing Xu. by Ted Kremenek · 17 years ago
  15. 94b8312 Add an omitted case for AssumeSymInt. by Zhongxing Xu · 17 years ago
  16. 8c3e7fb Minor pass-sensitivity improvement: by Ted Kremenek · 17 years ago
  17. 0e194dd Add newline at end of file. by Daniel Dunbar · 17 years ago
  18. d19e21b Added LLVM comment header. by Zhongxing Xu · 17 years ago
  19. 39cfed3 Migrate the rest symbolic analysis stuff to BasicConstraintManager. by Zhongxing Xu · 17 years ago
  20. 30ad167 Refactor Assume logic into a separate class ConstraintManager. by Zhongxing Xu · 17 years ago