aboutsummaryrefslogtreecommitdiff
path: root/lib/Analysis/CMakeLists.txt
AgeCommit message (Expand)Author
2012-09-21Implement faux-body-synthesis of well-known functions in the static analyzer ...Ted Kremenek
2012-09-13Refactor logic in ExprEngine for detecting 'noreturn' methodsTed Kremenek
2012-07-27clang/lib: [CMake] Update tblgen'd dependencies.NAKAMURA Takumi
2012-07-27clang/lib: [CMake] Reformat, alphabetize lists.NAKAMURA Takumi
2012-07-06Implement AST classes for comments, a real parser for Doxygen comments and aDmitri Gribenko
2012-06-21Remove a goofy CMake hack and use the standard CMake facilities toChandler Carruth
2012-04-13Remove the unused, unmaintained, incomplete 'Index' library.Douglas Gregor
2012-03-08Add a basic CallGraph to Analysis.Anna Zaks
2011-12-20Update the CMake build for r146959's new files.Chandler Carruth
2011-12-05[analyzer] Rely on LLVM Dominators in Clang dominator computation.Anna Zaks
2011-10-25Add source-level dominators analysis. Patch by Guoping Long!Ted Kremenek
2011-10-24Rename AnalysisContext to AnalysisDeclContext. Not only is this name more ac...Ted Kremenek
2011-10-22Pull TopologicallySortedCFG out of LiveVariables into its own analysis: PostO...Ted Kremenek
2011-09-09Thread Safety: Moving the analysis to a new fileCaitlin Sadowski
2011-08-12[analyzer] change "tag" in ProgramPoint from "void*" to a ProgramPointTag*.Ted Kremenek
2011-03-15Rename UninitializedValuesV2 to UninitializedValues.Ted Kremenek
2011-03-15Remove old UninitializedValues analysis.Ted Kremenek
2011-02-23Migrate CFGReachabilityAnalysis out of the IdempotentOperationsChecker and in...Ted Kremenek
2011-02-10CMake: LLVM_NO_RTTI must be obsolete now!NAKAMURA Takumi
2011-01-15Add initial prototype for implementation ofTed Kremenek
2010-12-17Move CocoaConventions.[h,cpp] from libCheckerTed Kremenek
2010-09-13Revert "CMake: Update to use standard CMake dependency tracking facilities in...Michael J. Spencer
2010-09-10CMake: Update to use standard CMake dependency tracking facilities insteadMichael J. Spencer
2010-09-09Clean up CMake dependenciesDouglas Gregor
2010-08-23Several small changes to PseudoConstantAnalysis and the way IdempotentOperati...Tom Care
2010-08-18Added psuedo-constant analysis and integrated it into the false positive redu...Tom Care
2010-08-04Add CFGStmtMap, which defines a mapping from Stmt* to CFGBlock*. The immedia...Ted Kremenek
2010-07-16Add most of the boilerplate support for scanf format string checking. This i...Ted Kremenek
2010-06-17Update CMake build for new attribute changes.Sean Hunt
2010-05-30Convert DeclNodes to use TableGen.Sean Hunt
2010-05-05Unbreak CMake build.Douglas Gregor
2010-02-23Start moving some of the logic for the unreachable code analysis out of libSemaTed Kremenek
2010-01-27Add skeleton for a more structured way to analyzing pring formatTed Kremenek
2010-01-25Split libAnalysis into two libraries: libAnalysis and libChecker.Ted Kremenek
2009-12-09Refactor OSAtomic evaluation logic into OSAtomicChecker.Zhongxing Xu
2009-12-08Refactor builtin function evaluation into a checker.Zhongxing Xu
2009-12-07Add EvalCallExpr interface to checker, and migrate the no-return functionZhongxing Xu
2009-12-03Update CMake for CallGraph.cpp move.Daniel Dunbar
2009-11-24We can remove this file now.Zhongxing Xu
2009-11-24Refactor undefined result checker. This is the last one.Zhongxing Xu
2009-11-24Rename: UndefinedArgChecker.cpp => CallAndMessageChecker.cppZhongxing Xu
2009-11-23Provide out-of-line definition for destructor of Checker.Ted Kremenek
2009-11-23Fix CMake buildDouglas Gregor
2009-11-21Pull BadCallChecker int UndefinedArgChecker, and have UndefinedArgChecker als...Ted Kremenek
2009-11-13Add clang-cc option "-analyzer-experimental-checks" to enable experimental pa...Ted Kremenek
2009-11-12update CMakefileZhongxing Xu
2009-11-12Add most of the boilerplate logic for a simple pthread_mutux_lock() -> pthrea...Ted Kremenek
2009-11-11Move the ManagerRegistry to the Analysis library to resolve the layering viol...Chandler Carruth
2009-11-11Add undefined array subscript checker.Zhongxing Xu
2009-11-11Reimplement out-of-bound array access checker with the new checker interface.Zhongxing Xu