- a43df95 Implement faux-body-synthesis of well-known functions in the static analyzer when by Ted Kremenek · 12 years ago
- 4ef1920 Refactor logic in ExprEngine for detecting 'noreturn' methods by Ted Kremenek · 12 years ago
- 11abf2a clang/lib: [CMake] Update tblgen'd dependencies. by NAKAMURA Takumi · 12 years ago
- 866abce clang/lib: [CMake] Reformat, alphabetize lists. by NAKAMURA Takumi · 12 years ago
- 8d3ba23 Implement AST classes for comments, a real parser for Doxygen comments and a by Dmitri Gribenko · 12 years ago
- b0d8671 Remove a goofy CMake hack and use the standard CMake facilities to by Chandler Carruth · 12 years ago
- 87e154c Remove the unused, unmaintained, incomplete 'Index' library. by Douglas Gregor · 12 years ago
- 196b8cf Add a basic CallGraph to Analysis. by Anna Zaks · 12 years ago
- 3ff53b3 Update the CMake build for r146959's new files. by Chandler Carruth · 13 years ago
- 02f34c5 [analyzer] Rely on LLVM Dominators in Clang dominator computation. by Anna Zaks · 13 years ago
- 58f6f1e Add source-level dominators analysis. Patch by Guoping Long! by Ted Kremenek · 13 years ago
- 1d26f48 Rename AnalysisContext to AnalysisDeclContext. Not only is this name more accurate, but it frees up the name AnalysisContext for other uses. by Ted Kremenek · 13 years ago
- edb1863 Pull TopologicallySortedCFG out of LiveVariables into its own analysis: PostOrderCFGView. by Ted Kremenek · 13 years ago
- 402aa06 Thread Safety: Moving the analysis to a new file by Caitlin Sadowski · 13 years ago
- ca80453 [analyzer] change "tag" in ProgramPoint from "void*" to a ProgramPointTag*. by Ted Kremenek · 13 years ago
- 6f34213 Rename UninitializedValuesV2 to UninitializedValues. by Ted Kremenek · 13 years ago
- f3f5379 Remove old UninitializedValues analysis. by Ted Kremenek · 13 years ago
- 42461ee Migrate CFGReachabilityAnalysis out of the IdempotentOperationsChecker and into its own analysis file. by Ted Kremenek · 13 years ago
- 886e160 CMake: LLVM_NO_RTTI must be obsolete now! by NAKAMURA Takumi · 13 years ago
- 610068c Add initial prototype for implementation of by Ted Kremenek · 14 years ago
- bb8fef3 Move CocoaConventions.[h,cpp] from libChecker by Ted Kremenek · 14 years ago
- 560a921 Revert "CMake: Update to use standard CMake dependency tracking facilities instead" by Michael J. Spencer · 14 years ago
- 5a7f349 CMake: Update to use standard CMake dependency tracking facilities instead by Michael J. Spencer · 14 years ago
- ec9bf47 Clean up CMake dependencies by Douglas Gregor · 14 years ago
- db34ab7 Several small changes to PseudoConstantAnalysis and the way IdempotentOperationChecker uses it. by Tom Care · 14 years ago
- 245adab Added psuedo-constant analysis and integrated it into the false positive reduction stage in IdempotentOperationChecker. by Tom Care · 14 years ago
- a6d6930 Add CFGStmtMap, which defines a mapping from Stmt* to CFGBlock*. The immediate intended use is in the unreachable code analysis. by Ted Kremenek · 14 years ago
- 826a345 Add most of the boilerplate support for scanf format string checking. This includes by Ted Kremenek · 14 years ago
- ee6e4b4 Update CMake build for new attribute changes. by Sean Hunt · 14 years ago
- 9a55591 Convert DeclNodes to use TableGen. by Sean Hunt · 14 years ago
- 71b1d0e Unbreak CMake build. by Douglas Gregor · 14 years ago
- 3d2eed8 Start moving some of the logic for the unreachable code analysis out of libSema by Ted Kremenek · 14 years ago
- 8f0a1c7 Add skeleton for a more structured way to analyzing pring format by Ted Kremenek · 15 years ago
- 1309f9a Split libAnalysis into two libraries: libAnalysis and libChecker. by Ted Kremenek · 15 years ago
- 1ec4e97 Refactor OSAtomic evaluation logic into OSAtomicChecker. by Zhongxing Xu · 15 years ago
- 7c9624b Refactor builtin function evaluation into a checker. by Zhongxing Xu · 15 years ago
- 935ef90 Add EvalCallExpr interface to checker, and migrate the no-return function by Zhongxing Xu · 15 years ago
- 459cc23 Update CMake for CallGraph.cpp move. by Daniel Dunbar · 15 years ago
- 6d901e3 We can remove this file now. by Zhongxing Xu · 15 years ago
- 668399b Refactor undefined result checker. This is the last one. by Zhongxing Xu · 15 years ago
- f253aa7 Rename: UndefinedArgChecker.cpp => CallAndMessageChecker.cpp by Zhongxing Xu · 15 years ago
- c6e11ff Provide out-of-line definition for destructor of Checker. by Ted Kremenek · 15 years ago
- 3e0c098 Fix CMake build by Douglas Gregor · 15 years ago
- c79d7d4 Pull BadCallChecker int UndefinedArgChecker, and have UndefinedArgChecker also handled undefined receivers in message expressions. by Ted Kremenek · 15 years ago
- eb94113 Add clang-cc option "-analyzer-experimental-checks" to enable experimental path-sensitive checks. The idea is to separate "barely working" or "skunkworks" checks from ones that should always run. Later we need more fine-grain checker control. by Ted Kremenek · 15 years ago
- d430786 update CMakefile by Zhongxing Xu · 15 years ago
- ac9bea8 Add most of the boilerplate logic for a simple pthread_mutux_lock() -> pthread_mutex_unlock() checker. We need to add a visitor method to Checker for handling dead symbols in order to detect locks that are not unlocked. by Ted Kremenek · 15 years ago
- f465e85 Move the ManagerRegistry to the Analysis library to resolve the layering violation. by Chandler Carruth · 15 years ago
- d694485 Add undefined array subscript checker. by Zhongxing Xu · 15 years ago
- 58e689f Reimplement out-of-bound array access checker with the new checker interface. by Zhongxing Xu · 15 years ago
- ead2a5e Update CMake. by Daniel Dunbar · 15 years ago
- ede7eb2 Add check for pointer arithmetic on non-array variables. by Zhongxing Xu · 15 years ago
- b23c869 remove redundant file name in CMakeLists.txt. by Zhongxing Xu · 15 years ago
- 483bfaa update CMakeList.txt by Zhongxing Xu · 15 years ago
- 671b9e2 Update CMake by Daniel Dunbar · 15 years ago
- 2900ca3 Update CMake by Daniel Dunbar · 15 years ago
- 7033d61 Update CMake file. by Benjamin Kramer · 15 years ago
- ceeb02d Add a checker for CWE-466: Return of Pointer Value Outside of Expected Range. by Zhongxing Xu · 15 years ago
- 1053d24 static analyzer: refactor checking logic for returning the address of a stack variable or a garbage by Ted Kremenek · 15 years ago
- 29d63fc Update CMake. by Daniel Dunbar · 15 years ago
- 05a2338 Merge ZeroSizedVLAChecker and UndefSizedVLAChecker. by Zhongxing Xu · 15 years ago
- dc998c1 Merge NullDerefChecker.[h,cpp] and UndefDerefChecker.[h,cpp]. They are essentially two parts of the same check. by Ted Kremenek · 15 years ago
- 9d645b3 Update CMakeLists. by Benjamin Kramer · 15 years ago
- 54cb7cc Implement: <rdar://problem/6250216> Warn against using -[NSAutoreleasePool release] in GC mode by Ted Kremenek · 15 years ago
- 94943b6 Pull AttrNonNullChecker into its own files. by Zhongxing Xu · 15 years ago
- df5fd83 Update CMake file. by Zhongxing Xu · 15 years ago
- 29e0ef2 Rename NSErrorCheck to NSErrorChecker. by Ted Kremenek · 15 years ago
- ddceb0a Update CMake file. by Ted Kremenek · 15 years ago
- 7e36e95 Update CMake file. by Benjamin Kramer · 15 years ago
- bc3a021 Move all logic for the null dereference checker from GRExprEngineInternalChecks.cpp to a separate .cpp file. by Ted Kremenek · 15 years ago
- ea19b2f Update CMakeLists. by Benjamin Kramer · 15 years ago
- a29e52e fix cmake build by Benjamin Kramer · 15 years ago
- a0a2c7d Update CMakeLists.txt by Daniel Dunbar · 15 years ago
- dbfb5f8 Add initial implementation of checking for uses of floating point as a loop counter. by Ted Kremenek · 15 years ago
- 5350066 Move bug reporter "visitors" to their own file and make them part of the public by Ted Kremenek · 15 years ago
- 32c3fa4 Fix PR 4594 by refactoring almost all casting logic from GRExprEngine::VisitCast by Ted Kremenek · 15 years ago
- e41611a Move the source-level CFG from libAST to libAnalysis. by Ted Kremenek · 15 years ago
- b8f96f6 Update CMake file. by Ted Kremenek · 15 years ago
- b3b7364 Lexically order files in CMakeLists.txt files. by Ted Kremenek · 15 years ago
- 6c07bdb Introduce a new concept to the static analyzer: SValuator. by Ted Kremenek · 15 years ago
- cfb361b Update CMake file. by Ted Kremenek · 15 years ago
- 7cb1bb3 Update CMake file. by Ted Kremenek · 15 years ago
- a393e9e Build system changes to use TableGen to generate the various by Douglas Gregor · 15 years ago
- 488d4b7 add some files to fix the cmake build, patch by Piotr Rak! by Chris Lattner · 15 years ago
- d2f4e5e CMake: Builds and installs clang binary and libs (no docs yet). It by Oscar Fuentes · 16 years ago