aboutsummaryrefslogtreecommitdiff
path: root/lib/Analysis
AgeCommit message (Expand)Author
2009-11-17Add PreVisitReturn to Malloc checker. Now we can recognize returned memoryZhongxing Xu
2009-11-17Add EvalEndPath interface to Checker. Now we can check memory leaked at theZhongxing Xu
2009-11-17Clear the dest set.Zhongxing Xu
2009-11-16First part of changes to eliminate problems with cv-qualifiers andDouglas Gregor
2009-11-16* Do the same thing to the basicstore as in r84163.Zhongxing Xu
2009-11-16Remove an unused parameter.Zhongxing Xu
2009-11-14Change *BugReport constructors to take StringRefs.Benjamin Kramer
2009-11-14Move definition of GRExprEngine::ProcessEndPath() out-of-line.Ted Kremenek
2009-11-13Add clang-cc option "--analyzer-experimental-internal-checks". ThisTed Kremenek
2009-11-13Malloc checker basically works now.Zhongxing Xu
2009-11-13Hook up Malloc checker.Zhongxing Xu
2009-11-13Check in a new interface of Checker, which will soon be used.Zhongxing Xu
2009-11-13GRStateManager::CurrentStmt is not used. Remove it.Zhongxing Xu
2009-11-13Pull static variable within function (for slightly faster startup time).Ted Kremenek
2009-11-13retain/release checker: refactor some of the summary lookup logic for instanc...Ted Kremenek
2009-11-13Add clang-cc option "-analyzer-experimental-checks" to enable experimental pa...Ted Kremenek
2009-11-12Fix MSVC build.Benjamin Kramer
2009-11-12update CMakefileZhongxing Xu
2009-11-12Add boilerplate logic for a malloc/free checker.Zhongxing Xu
2009-11-12PthreadLockChecker doesn't need PreVisitCallExpr() yet. All the current logi...Ted Kremenek
2009-11-12Add most of the boilerplate logic for a simple pthread_mutux_lock() -> pthrea...Ted Kremenek
2009-11-12Remove obsolete 'struct NullDerefTag'.Ted Kremenek
2009-11-12Enhance Checker class (and GRExprEngine) to support PostVisitation for CallEx...Ted Kremenek
2009-11-12Remove GRExprEngine::EvalCall(). It had a single callsite in GRExprEngine, a...Ted Kremenek
2009-11-12Make StoreManager::getSizeInElements() always return DefinedOrUnknownSVal.Zhongxing Xu
2009-11-11Remove some stale ErrorNodes variables in GRExprEngine and the old buffer ove...Ted Kremenek
2009-11-11After drinking caffeine, add the two files missing from the previous submit.Chandler Carruth
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-11Remove the old out-of-bound checking code.Zhongxing Xu
2009-11-11Reimplement out-of-bound array access checker with the new checker interface.Zhongxing Xu
2009-11-11ReturnPointerRangeChecker: use StripCasts() instead of checking for zero indexZhongxing Xu
2009-11-11Update CMake.Daniel Dunbar
2009-11-11CastToStructChecker: use 'isStructureType()' instead of 'isRecordType()' to d...Ted Kremenek
2009-11-11Fix display of "ANALYZE" statements in AnalysisConsumer by correctly resettin...Ted Kremenek
2009-11-11Remove public headers for UndefinedArgChecker, AttrNonNullChecker, and BadCal...Ted Kremenek
2009-11-11Refactor DereferenceChecker to use only the new Checker API instead ofTed Kremenek
2009-11-10Ignore parentheses when check the type of the expr.Zhongxing Xu
2009-11-10SizeofPointerChecker: Many false positives have the form 'sizeof *p'. Zhongxing Xu
2009-11-10Now we can safely use the argument expression's source range.Zhongxing Xu
2009-11-10SizeofPointerChecker: If an explicit type specifier is used, do not issue war...Zhongxing Xu
2009-11-10Use the source range of the whole sizeof expression, otherwise it crashes whenZhongxing Xu
2009-11-10Refine PointerSubChecker: compare the base region instead of the original Zhongxing Xu
2009-11-10Rename: StripCasts describes what it does better. Zhongxing Xu
2009-11-10Fix clang's use of DenseMap iterators after r86636 fixed their constness.Jeffrey Yasskin
2009-11-09Make sure that Type::getAs<ArrayType>() (or Type::getAs<subclass ofDouglas Gregor
2009-11-09Remove stale FIXME.Ted Kremenek
2009-11-09Add check for pointer arithmetic on non-array variables.Zhongxing Xu
2009-11-09Add check for obsolete function call of getpw().Zhongxing Xu
2009-11-09remove redundant file name in CMakeLists.txt.Zhongxing Xu