1. 48af2a9 Add experimental logic in GRExprEngine::EvalEagerlyAssume() to handle by Ted Kremenek · 16 years ago
  2. 9f4ecb3 Make 'RangeConstraintManager' the default ConstraintManager. by Ted Kremenek · 16 years ago
  3. be1fe1e Static Analyzer driver/options (partial) cleanup: by Ted Kremenek · 16 years ago
  4. f06e9c5 RangeConstraintManager is not on by default. by Ted Kremenek · 16 years ago
  5. 4502195 Patch by Ben Laurie: by Ted Kremenek · 16 years ago
  6. 4d53a53 AnalysisConsumer: Explicitly destroy the PathDiagnosticClient at the end of HandleTranslationUnit to ensure that the client's destructor is called even with --disable-free. by Ted Kremenek · 16 years ago
  7. cf118d4 Overhaul BugReporter interface and implementation. The new interface cleans up by Ted Kremenek · 16 years ago
  8. 81922f0 AnalysisConsumer: by Ted Kremenek · 16 years ago
  9. b9c3f96 Introduce a new PresumedLoc class to represent the concept of a location by Chris Lattner · 16 years ago
  10. 491918e Added clang option '--analyzer-display-progress' to indicate that the analyzer should output 'ANALYZE:' messages to display its progress on a source file. by Ted Kremenek · 16 years ago
  11. c472d79 When using -analyzer-output-plist always output a plist file even if it contains no error reports. by Ted Kremenek · 16 years ago
  12. ff944a8 Add an option to make 'RemoveDeadBindings' a configurable behavior. This enables by Zhongxing Xu · 16 years ago
  13. ca9bab0 Update Driver to new interface for LiveVariables. by Ted Kremenek · 16 years ago
  14. 22438a8 Add support for pluggable components of static analyzer. by Zhongxing Xu · 16 years ago
  15. 8ffc8a5 Display the function we are analyzing before running LiveVariables. by Ted Kremenek · 16 years ago
  16. 077bf5e Rename Selector::getName() to Selector::getAsString(), and add by Chris Lattner · 16 years ago
  17. a88fcef Output 'ANALYZE' messages to standard error. This should address the intermixing of 'ANALYZE' and the other diagnostics the clang driver emits to standard error. by Ted Kremenek · 16 years ago
  18. 26fb272 [LLVM up] Update for raw_fd_ostream change. This fixes a FIXME that by Daniel Dunbar · 16 years ago
  19. daac634 Patch by Nikita Zhuk: Add TranslationUnitActions to AnalysisConsumer. by Ted Kremenek · 16 years ago
  20. f304ddc AnalysisManager can now be used to for analyses over TranslationUnits. by Ted Kremenek · 16 years ago
  21. 4fc82c8 Hook up the Plist diagnostic client to the driver. Fix Plist output. by Ted Kremenek · 16 years ago
  22. ad99dbf Rename 'HTMLDiagnostics.h' to 'PathDiagnosticClients.h' by Ted Kremenek · 16 years ago
  23. 3702af5 Adjust code format. by Zhongxing Xu · 16 years ago
  24. 95c7b00 Make the analyzer store (memory model) a command line option. by Ted Kremenek · 16 years ago
  25. cfdf9b4 Change implementation of NSError** coding-style check to be invoked at the end of the retain/release analysis. by Ted Kremenek · 16 years ago
  26. f45d18c Implemented one of the checks requested in PR 2600: by Ted Kremenek · 16 years ago
  27. 628a42e Output "ANALYZE:" diagnostics to STDOUT instead of STDERR. by Ted Kremenek · 16 years ago
  28. 932680e Add newline to end of file. by Daniel Dunbar · 16 years ago
  29. 45479c8 Always print out the function we're analyzing. by Ted Kremenek · 16 years ago
  30. 56b9871 Ubigraph visualization: represent cached nodes with a different style. by Ted Kremenek · 16 years ago
  31. 710ad93 Automatically execute ubiviz. by Ted Kremenek · 16 years ago
  32. d128932 Ubigraph-rendered ExplodedGraphs now have arrows and are oriented downward. by Ted Kremenek · 16 years ago
  33. f8ce699 Added Ubigraph visualization for the static analyzer (this is pretty alpha quality). by Ted Kremenek · 16 years ago
  34. 8148839 Moved HTMLDiagnostics to lib/Driver. by Zhongxing Xu · 16 years ago
  35. 4f4e7e4 Fix regression when invoking the MissingDealloc analysis: disable this check when in -fobjc-gc-only mode. by Ted Kremenek · 16 years ago
  36. 395aaf2 Add prototype implementation of unused ivar check. by Ted Kremenek · 16 years ago
  37. 78d4624 Moved registration of basic path-sensitive checks from GRSimpleVals.cpp to GRExprEngineInternalChecks.cpp. by Ted Kremenek · 16 years ago
  38. f7f3c20 Provide an "Analysis Scope" for Analyses so checks can either be run on code declarations (bodies) or Objective-C @implementation blocks. by Ted Kremenek · 16 years ago
  39. fb9a48c Break off declaration of Analysis enum into Analyses.def. The driver options in by Ted Kremenek · 16 years ago
  40. 0d8019e Add new check: -check-objc-methodsigs. This check scans methods in by Ted Kremenek · 16 years ago
  41. 3cd483c For the -dealloc checker, check the LangOptions to determine whether or not the code is compiled with GC. by Ted Kremenek · 16 years ago
  42. 7032f46 Have BugReporter::getCFG and BugReporter::getLiveVariables returns pointers instead of references, because they can both fail by Ted Kremenek · 16 years ago
  43. db09a4d Added static analysis check to see if a subclass of NSObject implements -dealloc, and whether or not that implementation calls [super dealloc]. by Ted Kremenek · 16 years ago
  44. e207558 Unify the code path for the Dead Stores checker to always use the BugReporter interface. by Ted Kremenek · 16 years ago
  45. c095997 Refactored some of the BugReporter interface so that data such as the ASTContext&, PathDiagnosticClient*, can be provided by an external source. by Ted Kremenek · 16 years ago
  46. 8b23361 GRExprEngine now expects the LiveVariables information to be provided by its creator. by Ted Kremenek · 16 years ago
  47. 17fdf95 Added version of CheckDeadStores that accepts a client-provided LiveVariables object. by Ted Kremenek · 16 years ago
  48. 902141f Moved logic for -dump-cfg and -view-cfg into AnalysisConsumer. by Ted Kremenek · 16 years ago
  49. 235e031 Move -dump-live-variables logic to AnalysisConsumer. by Ted Kremenek · 16 years ago
  50. 34d7734 Migrate CheckerConsumer diagnostics to the new AnalysisConsumer interface. by Ted Kremenek · 16 years ago
  51. bc46f34 Move logic for "-checker-simple" to the new AnalysisConsumer interface. by Ted Kremenek · 16 years ago
  52. b35a74a Migrated driver logic for running the CF retain/release checker over to the new AnalysisConsumer interface. by Ted Kremenek · 16 years ago
  53. f4381fd Added AnalysisConsumer, a meta-level ASTConsumer class to drive various by Ted Kremenek · 16 years ago