1. c57bc59 add test case. by Zhongxing Xu · 16 years ago
  2. 3450a55 add test case. by Zhongxing Xu · 16 years ago
  3. 9457a80 Update several tests to explicitly use BasicConstraintManager as well as to use RangeConstraintManager with RegionStoreManager. by Ted Kremenek · 16 years ago
  4. be1fe1e Static Analyzer driver/options (partial) cleanup: by Ted Kremenek · 16 years ago
  5. 562c4d9 Implement retrieval of the default value of element and field regions. by Zhongxing Xu · 16 years ago
  6. b61f49c Add a test case for init expr of array and struct type. by Zhongxing Xu · 16 years ago
  7. a7ac944 Fix RegionStore::getLValueElement() to handle the case when the base region is not an ElementRegion (also do some cleanups of its core logic). by Ted Kremenek · 16 years ago
  8. d427023 Add -analyze action to run static analyzer, instead of inferring from by Daniel Dunbar · 16 years ago
  9. 5834ed6 Add KillStruct to region store. by Zhongxing Xu · 16 years ago
  10. 6eddeb1 MemRegion: by Ted Kremenek · 16 years ago
  11. 34a8347 remove a test case that causes compiler warning. by Zhongxing Xu · 16 years ago
  12. 27cae9e Add test for initializing array with string literal. by Zhongxing Xu · 16 years ago
  13. 661fc39 Add documentation for test. by Zhongxing Xu · 16 years ago
  14. 33d7cbf Add no-warning to test case. by Zhongxing Xu · 16 years ago
  15. ea06544 Improve test case. by Zhongxing Xu · 16 years ago
  16. 617ff31 Add test cast for struct array. by Zhongxing Xu · 16 years ago
  17. 512cdb5 Re-enable array-struct test. by Zhongxing Xu · 16 years ago
  18. 82bd99f - Revert r59229 and r59232: AllocRegion should be immutable. by Ted Kremenek · 17 years ago
  19. 26134a1 Add test for unsigned array index. by Zhongxing Xu · 17 years ago
  20. fb75b25 Add test for incomplete struct pointer. by Zhongxing Xu · 17 years ago
  21. b670133 Add a test case for alloca(). by Zhongxing Xu · 17 years ago
  22. 7b2d21e Append the test runs with '&&'. by Argyrios Kyrtzidis · 17 years ago
  23. 04b90bc Add function side-effect test cast. by Zhongxing Xu · 17 years ago
  24. df2aa1e Add test code for array initialization. by Zhongxing Xu · 17 years ago
  25. 234a7d2 Add test for SCA region store. by Zhongxing Xu · 17 years ago
  26. 2e97120 Add StringLiteral test code. by Zhongxing Xu · 17 years ago
  27. 72e1682 Add random array and struct test code for SCA. by Zhongxing Xu · 17 years ago
  28. ef8b28e Add test case for array and struct variable lvalue evaluation. by Zhongxing Xu · 17 years ago