llvm-project/clang/lib/Analysis/CMakeLists.txt

add_clang_library(clangAnalysis
  AnalysisDeclContext.cpp
  BodyFarm.cpp
  CFG.cpp
  CFGReachabilityAnalysis.cpp
  CFGStmtMap.cpp
  CallGraph.cpp
  CocoaConventions.cpp
  Consumed.cpp
  Dominators.cpp
  FormatString.cpp
  LiveVariables.cpp
  ObjCNoReturn.cpp
  PostOrderCFGView.cpp
  PrintfFormatString.cpp
  ProgramPoint.cpp
  PseudoConstantAnalysis.cpp
  ReachableCode.cpp
  ScanfFormatString.cpp
  ThreadSafety.cpp
  UninitializedValues.cpp
  )

add_dependencies(clangAnalysis
  ClangAttrClasses
  ClangAttrList
  ClangCommentNodes
  ClangDiagnosticCommon
  ClangDeclNodes
  ClangDiagnosticAnalysis
  ClangStmtNodes
  )

target_link_libraries(clangAnalysis
  clangBasic
  clangAST
  )
CMake: Builds and installs clang binary and libs (no docs yet). It must be under the `tools' subdirectory of the LLVM source tree. llvm-svn: 58180 2008-10-26 08:56:18 +08:00			`add_clang_library(clangAnalysis`
Rename AnalysisContext to AnalysisDeclContext. Not only is this name more accurate, but it frees up the name AnalysisContext for other uses. llvm-svn: 142782 2011-10-24 09:32:45 +08:00			`AnalysisDeclContext.cpp`
Implement faux-body-synthesis of well-known functions in the static analyzer when their implementations are unavailable. Start by simulating dispatch_sync(). This change is largely a bunch of plumbing around something very simple. We use AnalysisDeclContext to conjure up a fake function body (using the current ASTContext) when one does not exist. This is controlled under the analyzer-config option "faux-bodies", which is off by default. The plumbing in this patch is largely to pass the necessary machinery around. CallEvent needs the AnalysisDeclContextManager to get the function definition, as one may get conjured up lazily. BugReporter and PathDiagnosticLocation needed to be relaxed to handle invalid locations, as the conjured body has no real source locations. We do some primitive recovery in diagnostic generation to generate some reasonable locations (for arrows and events), but it can be improved. llvm-svn: 164339 2012-09-21 08:09:11 +08:00			`BodyFarm.cpp`
Move the source-level CFG from libAST to libAnalysis. llvm-svn: 76092 2009-07-17 02:13:04 +08:00			`CFG.cpp`
Migrate CFGReachabilityAnalysis out of the IdempotentOperationsChecker and into its own analysis file. llvm-svn: 126289 2011-02-23 09:51:59 +08:00			`CFGReachabilityAnalysis.cpp`
Add CFGStmtMap, which defines a mapping from Stmt* to CFGBlock*. The immediate intended use is in the unreachable code analysis. llvm-svn: 110230 2010-08-05 02:23:15 +08:00			`CFGStmtMap.cpp`
Refactor logic in ExprEngine for detecting 'noreturn' methods in NSException to a helper object in libAnalysis that can also be used by Sema. Not sure if the predicate name 'isImplicitNoReturn' is the best one, but we can massage that later. No functionality change. llvm-svn: 163759 2012-09-13 08:21:31 +08:00			`CallGraph.cpp`
Move CocoaConventions.[h,cpp] from libChecker to libAnalysis. Similar to Format (format string checking), CocoaConventions has the potential to serve clients other than the static analyzer. llvm-svn: 122040 2010-12-17 13:21:58 +08:00			`CocoaConventions.cpp`
Patch by Chris Wailes <chris.wailes@gmail.com>. Reviewed by delesley, dblaikie. Add the annotations and code needed to support a basic 'consumed' analysis. Summary: This new analysis is based on academic literature on linear types. It tracks the state of a value, either as unconsumed, consumed, or unknown. Methods are then annotated as CallableWhenUnconsumed, and when an annotated method is called while the value is in the 'consumed' state a warning is issued. A value may be tested in the conditional statement of an if-statement; when this occurs we know the state of the value in the different branches, and this information is added to our analysis. The code is still highly experimental, and the names of annotations or the algorithm may be subject to change. llvm-svn: 188206 2013-08-13 05:20:55 +08:00			`Consumed.cpp`
Update the CMake build for r146959's new files. llvm-svn: 146967 2011-12-20 16:42:15 +08:00			`Dominators.cpp`
Add most of the boilerplate support for scanf format string checking. This includes handling the parsing of scanf format strings and hooking the checking into Sema. Most of this checking logic piggybacks on what was already there for checking printf format strings, but the checking logic has been refactored to support both. What is left to be done is to support argument type checking in format strings and of course fix the usual tail of bugs that will follow. llvm-svn: 108500 2010-07-16 10:11:22 +08:00			`FormatString.cpp`
CMake: Builds and installs clang binary and libs (no docs yet). It must be under the `tools' subdirectory of the LLVM source tree. llvm-svn: 58180 2008-10-26 08:56:18 +08:00			`LiveVariables.cpp`
Refactor logic in ExprEngine for detecting 'noreturn' methods in NSException to a helper object in libAnalysis that can also be used by Sema. Not sure if the predicate name 'isImplicitNoReturn' is the best one, but we can massage that later. No functionality change. llvm-svn: 163759 2012-09-13 08:21:31 +08:00			`ObjCNoReturn.cpp`
Pull TopologicallySortedCFG out of LiveVariables into its own analysis: PostOrderCFGView. llvm-svn: 142713 2011-10-22 10:14:23 +08:00			`PostOrderCFGView.cpp`
Add skeleton for a more structured way to analyzing pring format strings than what we currently have in Sema. This is both an experiment and a WIP. The idea is simple: parse the format string incrementally, constructing a well-structure representation of each format specifier. Each format specifier is then handed back one-by-one to a client via a callback. Malformed format strings are also handled with callbacks. The idea is to separate the parsing of the format string from the emission of diagnostics. Currently what we have in Sema for handling format strings is a mongrel of both that is hard to follow and difficult to modify (I can apply this label since I'm the original author of that code). This is in libAnalysis as it is reasonable generic and can potentially be used both by libSema and libChecker. Comments welcome. llvm-svn: 94702 2010-01-28 07:43:25 +08:00			`PrintfFormatString.cpp`
[analyzer] change "tag" in ProgramPoint from "void" to a ProgramPointTag. Having a notion of an actual ProgramPointTag will aid in introspection of the analyzer's behavior. For example, the GraphViz output of the analyzer will pretty-print the tags in a useful manner. llvm-svn: 137529 2011-08-13 07:04:46 +08:00			`ProgramPoint.cpp`
Several small changes to PseudoConstantAnalysis and the way IdempotentOperationChecker uses it. - Psuedo -> Pseudo (doh...) - C++ reference support - Added pseudoconstant test case for __block vars - Separated out static local checking from pseudoconstant analysis and generalized to non-local checking - Added missing test cases for storage false positives llvm-svn: 111832 2010-08-24 03:51:57 +08:00			`PseudoConstantAnalysis.cpp`
Start moving some of the logic for the unreachable code analysis out of libSema and into libAnalysis. llvm-svn: 96872 2010-02-23 10:39:16 +08:00			`ReachableCode.cpp`
Add most of the boilerplate support for scanf format string checking. This includes handling the parsing of scanf format strings and hooking the checking into Sema. Most of this checking logic piggybacks on what was already there for checking printf format strings, but the checking logic has been refactored to support both. What is left to be done is to support argument type checking in format strings and of course fix the usual tail of bugs that will follow. llvm-svn: 108500 2010-07-16 10:11:22 +08:00			`ScanfFormatString.cpp`
Thread Safety: Moving the analysis to a new file llvm-svn: 139369 2011-09-10 00:11:56 +08:00			`ThreadSafety.cpp`
Rename UninitializedValuesV2 to UninitializedValues. llvm-svn: 127657 2011-03-15 11:17:07 +08:00			`UninitializedValues.cpp`
CMake: Builds and installs clang binary and libs (no docs yet). It must be under the `tools' subdirectory of the LLVM source tree. llvm-svn: 58180 2008-10-26 08:56:18 +08:00			`)`
Build system changes to use TableGen to generate the various diagnostics. This builds on the patch that Sebastian committed and then revert. Major differences are: - We don't remove or use the current ".def" files. Instead, for now, we just make sure that we're building the ".inc" files. - Fixed CMake makefiles to run TableGen and build the ".inc" files when needed. Tested with both the Xcode and Makefile generators provided by CMake, so it should be solid. - Fixed normal makefiles to handle out-of-source builds that involve the ".inc" files. I'll send a separate patch to the list with Sebastian's changes that eliminate the use of the .def files. llvm-svn: 67058 2009-03-17 07:06:59 +08:00
Remove a goofy CMake hack and use the standard CMake facilities to express library-level dependencies within Clang. This is no more verbose really, and plays nicer with the rest of the CMake facilities. It should also have no change in functionality. llvm-svn: 158888 2012-06-21 09:30:21 +08:00			`add_dependencies(clangAnalysis`
			`ClangAttrClasses`
			`ClangAttrList`
Implement AST classes for comments, a real parser for Doxygen comments and a very simple semantic analysis that just builds the AST; minor changes for lexer to pick up source locations I didn't think about before. Comments AST is modelled along the ideas of HTML AST: block and inline content. * Block content is a paragraph or a command that has a paragraph as an argument or verbatim command. * Inline content is placed within some block. Inline content includes plain text, inline commands and HTML as tag soup. llvm-svn: 159790 2012-07-06 08:28:32 +08:00			`ClangCommentNodes`
clang/lib: [CMake] Update tblgen'd dependencies. llvm-svn: 160851 2012-07-27 14:18:33 +08:00			`ClangDiagnosticCommon`
Remove a goofy CMake hack and use the standard CMake facilities to express library-level dependencies within Clang. This is no more verbose really, and plays nicer with the rest of the CMake facilities. It should also have no change in functionality. llvm-svn: 158888 2012-06-21 09:30:21 +08:00			`ClangDeclNodes`
clang/lib: [CMake] Reformat, alphabetize lists. llvm-svn: 160850 2012-07-27 14:18:12 +08:00			`ClangDiagnosticAnalysis`
Remove a goofy CMake hack and use the standard CMake facilities to express library-level dependencies within Clang. This is no more verbose really, and plays nicer with the rest of the CMake facilities. It should also have no change in functionality. llvm-svn: 158888 2012-06-21 09:30:21 +08:00			`ClangStmtNodes`
			`)`

			`target_link_libraries(clangAnalysis`
			`clangBasic`
			`clangAST`
			`)`