- 66847a2 Start to add a new transfer function that inlines callee. To be continued. by Zhongxing Xu · 16 years ago
- b317f8f Make AnalysisManager stateless. Now other analyzer components only depends on by Zhongxing Xu · 16 years ago
- 1eb4433 Remove tabs, and whitespace cleanups. by Mike Stump · 16 years ago
- b044c47 Update clang for raw_fd_ostream no longer requiring F_Force. by Dan Gohman · 16 years ago
- 5032ffe Remove CodeDecl and CFG from GRExprEngine and GRStateManager. by Zhongxing Xu · 16 years ago
- d57a7ef API changes to match llvm ToT. by Chris Lattner · 16 years ago
- 6cb7c1a Replace cerr with errs(). by Benjamin Kramer · 16 years ago
- 92bcc27 adjust for raw_fd_ostream api change. by Chris Lattner · 16 years ago
- 5ab128b Tie the local check NSErrorCheck to a Decl to pave the way by Zhongxing Xu · 16 years ago
- 25e695b Extend the ProgramPoint to include the context information LocationContext, by Zhongxing Xu · 16 years ago
- c5619d9 As GRState seems general enough, it is time to merge some template classes by Zhongxing Xu · 16 years ago
- d07a0d0 now we can let AnalysisManager to own the PathDiagnosticClient. by Zhongxing Xu · 16 years ago
- c471e7b Create only one AnalysisManager for each translation unit. In HandleCode(), by Zhongxing Xu · 16 years ago
- 690a7f4 Fix regression caused by recent refactoring where HTML and plist files would not get flushed out when using '-disable-free'. by Ted Kremenek · 16 years ago
- 82ec2e9 Fix use-after-release bug introduced in r77585 where the PathDiagnosticClient by Ted Kremenek · 16 years ago
- 17edea8 Initialize an otherwise-wild pointer. Fixes a crashy analyzer by Douglas Gregor · 16 years ago
- 7d49c71 simple fixes. by Zhongxing Xu · 16 years ago
- fda7832 Make AnalysisManager into its own source file and a pure data management class. by Zhongxing Xu · 16 years ago
- 97ab394 This patch collects all analysis context data into a new class AnalysisContext. by Zhongxing Xu · 16 years ago
- f755606 (1) Enable PlistDiagnostics to take an option "PathDiagnosticClientFactory" by Ted Kremenek · 16 years ago
- dbfb5f8 Add initial implementation of checking for uses of floating point as a loop counter. by Ted Kremenek · 16 years ago
- e5af3ce Add yet more analysis for CFGs involving conditionals that are actually constant. by Mike Stump · 16 years ago
- e41611a Move the source-level CFG from libAST to libAnalysis. by Ted Kremenek · 16 years ago
- 92db284 Update for raw_fd_ostream API changes. raw_fd_ostream now has a by Dan Gohman · 16 years ago
- 17945a0 De-ASTContext-ify DeclContext. by Argyrios Kyrtzidis · 16 years ago
- 6fb0aee Remove the ASTContext parameter from the getBody() methods of Decl and subclasses. by Argyrios Kyrtzidis · 16 years ago
- e4f2142 Key decisions about 'bool' vs '_Bool' to be based on a new flag in langoptions. by Chris Lattner · 16 years ago
- 6c07bdb Introduce a new concept to the static analyzer: SValuator. by Ted Kremenek · 16 years ago
- 4df2c42 Build fixes for r72135. by Eli Friedman · 16 years ago
- 0ec78fa Move AnalysisConsumer.h and Analyses.def from tools/clang-cc to by Eli Friedman · 16 years ago[Renamed (99%) from tools/clang-cc/AnalysisConsumer.cpp]
- e71b85f Move analysis command-line options out of AnalysisConsumer.cpp into by Eli Friedman · 16 years ago
- e1718af Move CreateAnalysisConsumer into a separate header AnalysisConsumer.h. by Eli Friedman · 16 years ago
- 4908d36 Move AnalysisConsumer out of ASTConsumers.h in preparation for moving by Eli Friedman · 16 years ago
- 2c4036e Fix <rdar://problem/6848739>. When using -analyze, -Werror has no effect. by Ted Kremenek · 16 years ago
- 7297134 FunctionDecl::getBody() is getting an ASTContext argument for use in by Douglas Gregor · 16 years ago
- 6ab3524 Propagate the ASTContext to various AST traversal and lookup functions. by Douglas Gregor · 16 years ago
- 682bf92 Push DeclGroup much farther throughout the compiler. Now the various by Chris Lattner · 16 years ago
- 1266eca remove TranslationUnit. by Chris Lattner · 16 years ago
- dacbc5d change HandleTranslationUnit to take an ASTContext instead of TranslationUnit by Chris Lattner · 16 years ago
- 678dc3b remove dead ivar. by Chris Lattner · 16 years ago
- e907787 don't poke at TranslationUnit directly by Chris Lattner · 16 years ago
- 073777f Move <root>/Driver into <root>/tools/clang-cc. by Daniel Dunbar · 16 years ago[Renamed from Driver/AnalysisConsumer.cpp]
- 3df6421 Display the exploded graph before calling BugReporter.FlushReports(). The latter by Ted Kremenek · 16 years ago
- e1bd4e6 Rename lib/Driver (etc) to lib/Frontend in prep for the *actual* by Daniel Dunbar · 16 years ago
- 48af2a9 Add experimental logic in GRExprEngine::EvalEagerlyAssume() to handle by Ted Kremenek · 16 years ago
- 9f4ecb3 Make 'RangeConstraintManager' the default ConstraintManager. by Ted Kremenek · 16 years ago
- be1fe1e Static Analyzer driver/options (partial) cleanup: by Ted Kremenek · 16 years ago
- f06e9c5 RangeConstraintManager is not on by default. by Ted Kremenek · 16 years ago
- 4502195 Patch by Ben Laurie: by Ted Kremenek · 16 years ago
- 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
- cf118d4 Overhaul BugReporter interface and implementation. The new interface cleans up by Ted Kremenek · 17 years ago
- 81922f0 AnalysisConsumer: by Ted Kremenek · 17 years ago
- b9c3f96 Introduce a new PresumedLoc class to represent the concept of a location by Chris Lattner · 17 years ago
- 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 · 17 years ago
- c472d79 When using -analyzer-output-plist always output a plist file even if it contains no error reports. by Ted Kremenek · 17 years ago
- ff944a8 Add an option to make 'RemoveDeadBindings' a configurable behavior. This enables by Zhongxing Xu · 17 years ago
- ca9bab0 Update Driver to new interface for LiveVariables. by Ted Kremenek · 17 years ago
- 22438a8 Add support for pluggable components of static analyzer. by Zhongxing Xu · 17 years ago
- 8ffc8a5 Display the function we are analyzing before running LiveVariables. by Ted Kremenek · 17 years ago
- 077bf5e Rename Selector::getName() to Selector::getAsString(), and add by Chris Lattner · 17 years ago
- 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 · 17 years ago
- 26fb272 [LLVM up] Update for raw_fd_ostream change. This fixes a FIXME that by Daniel Dunbar · 17 years ago
- daac634 Patch by Nikita Zhuk: Add TranslationUnitActions to AnalysisConsumer. by Ted Kremenek · 17 years ago
- f304ddc AnalysisManager can now be used to for analyses over TranslationUnits. by Ted Kremenek · 17 years ago
- 4fc82c8 Hook up the Plist diagnostic client to the driver. Fix Plist output. by Ted Kremenek · 17 years ago
- ad99dbf Rename 'HTMLDiagnostics.h' to 'PathDiagnosticClients.h' by Ted Kremenek · 17 years ago
- 3702af5 Adjust code format. by Zhongxing Xu · 17 years ago
- 95c7b00 Make the analyzer store (memory model) a command line option. by Ted Kremenek · 17 years ago
- cfdf9b4 Change implementation of NSError** coding-style check to be invoked at the end of the retain/release analysis. by Ted Kremenek · 17 years ago
- f45d18c Implemented one of the checks requested in PR 2600: by Ted Kremenek · 17 years ago
- 628a42e Output "ANALYZE:" diagnostics to STDOUT instead of STDERR. by Ted Kremenek · 17 years ago
- 932680e Add newline to end of file. by Daniel Dunbar · 17 years ago
- 45479c8 Always print out the function we're analyzing. by Ted Kremenek · 17 years ago
- 56b9871 Ubigraph visualization: represent cached nodes with a different style. by Ted Kremenek · 17 years ago
- 710ad93 Automatically execute ubiviz. by Ted Kremenek · 17 years ago
- d128932 Ubigraph-rendered ExplodedGraphs now have arrows and are oriented downward. by Ted Kremenek · 17 years ago
- f8ce699 Added Ubigraph visualization for the static analyzer (this is pretty alpha quality). by Ted Kremenek · 17 years ago
- 8148839 Moved HTMLDiagnostics to lib/Driver. by Zhongxing Xu · 17 years ago
- 4f4e7e4 Fix regression when invoking the MissingDealloc analysis: disable this check when in -fobjc-gc-only mode. by Ted Kremenek · 17 years ago
- 395aaf2 Add prototype implementation of unused ivar check. by Ted Kremenek · 17 years ago
- 78d4624 Moved registration of basic path-sensitive checks from GRSimpleVals.cpp to GRExprEngineInternalChecks.cpp. by Ted Kremenek · 17 years ago
- 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 · 17 years ago
- fb9a48c Break off declaration of Analysis enum into Analyses.def. The driver options in by Ted Kremenek · 17 years ago
- 0d8019e Add new check: -check-objc-methodsigs. This check scans methods in by Ted Kremenek · 17 years ago
- 3cd483c For the -dealloc checker, check the LangOptions to determine whether or not the code is compiled with GC. by Ted Kremenek · 17 years ago
- 7032f46 Have BugReporter::getCFG and BugReporter::getLiveVariables returns pointers instead of references, because they can both fail by Ted Kremenek · 17 years ago
- 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 · 17 years ago
- e207558 Unify the code path for the Dead Stores checker to always use the BugReporter interface. by Ted Kremenek · 17 years ago
- 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 · 17 years ago
- 8b23361 GRExprEngine now expects the LiveVariables information to be provided by its creator. by Ted Kremenek · 17 years ago
- 17fdf95 Added version of CheckDeadStores that accepts a client-provided LiveVariables object. by Ted Kremenek · 17 years ago
- 902141f Moved logic for -dump-cfg and -view-cfg into AnalysisConsumer. by Ted Kremenek · 17 years ago
- 235e031 Move -dump-live-variables logic to AnalysisConsumer. by Ted Kremenek · 17 years ago
- 34d7734 Migrate CheckerConsumer diagnostics to the new AnalysisConsumer interface. by Ted Kremenek · 17 years ago
- bc46f34 Move logic for "-checker-simple" to the new AnalysisConsumer interface. by Ted Kremenek · 17 years ago
- b35a74a Migrated driver logic for running the CF retain/release checker over to the new AnalysisConsumer interface. by Ted Kremenek · 17 years ago
- f4381fd Added AnalysisConsumer, a meta-level ASTConsumer class to drive various by Ted Kremenek · 17 years ago