1. 692416c Added more assertions and checks in transfer function logic to check for by Ted Kremenek · 17 years ago
  2. f0c8ef0 Temporary solution to push analysis through to analyzing PCRE. by Ted Kremenek · 17 years ago
  3. 7df3d71 A couple of msvc compile fixes from the ml; I haven't tested with msvc, by Eli Friedman · 17 years ago
  4. c6fbdcd Refactored code for transfer functions for binary operators involving two LValues. by Ted Kremenek · 17 years ago
  5. b640b3b Added boilerplate transfer function support for pointer arithmetic operations. by Ted Kremenek · 17 years ago
  6. d55fe52 Added --grsimple-view option to clang driver; this is the same as by Ted Kremenek · 17 years ago
  7. 546bded Don't analyze functions when we have parse errors. by Ted Kremenek · 17 years ago
  8. e01c987 Renamed GRConstants => GRSimpleVals. by Ted Kremenek · 17 years ago
  9. 6cb0b54 Migrated transfer functions for binary operators for simple value tracking by Ted Kremenek · 17 years ago
  10. c3f261d Migrated transfer functions for unary "~" and "-" to GRTransferFuncs/GRSimpleVals. by Ted Kremenek · 17 years ago
  11. d59cccc Started partitioning of transfer function logic (and thus the policy behind by Ted Kremenek · 17 years ago