aboutsummaryrefslogtreecommitdiff
path: root/include/clang/StaticAnalyzer/Core
AgeCommit message (Expand)Author
2013-02-28[analyzer] Mark the root SVal class as isPodLike.Jordan Rose
2013-02-25[analyzer] Address Jordan's code review of r175857.Anna Zaks
2013-02-25[analyzer] add the notion of an "interesting" lvalue expression for ExplodedN...Ted Kremenek
2013-02-24[analyzer] tracking stores/constraints now works for ObjC ivars or struct fie...Ted Kremenek
2013-02-24Add "KnownSVal" to represent SVals that cannot be UnknownSVal.Ted Kremenek
2013-02-22[analyzer] Place all inlining policy checks into one palceAnna Zaks
2013-02-22[analyzer] Make sure a materialized temporary matches its bindings.Jordan Rose
2013-02-21Replace ProgramPoint llvm::cast support to be well-defined.David Blaikie
2013-02-21[analyzer] Record whether a base object region represents a virtual base.Jordan Rose
2013-02-21Use None rather than Optional<T>() where possible.David Blaikie
2013-02-21Doxycomment SVal's getAs/castAs.David Blaikie
2013-02-20Include llvm::Optional in clang/Basic/LLVM.hDavid Blaikie
2013-02-20Rename SVal::isType functions to SVal::isKindDavid Blaikie
2013-02-20Replace SVal llvm::cast support to be well-defined.David Blaikie
2013-02-18Use LLVM_DELETED_FUNCTION rather than '// do not implement' comments.David Blaikie
2013-02-15Re-apply "[analyzer] Model trivial copy/move ctors with an aggregate bind."Jordan Rose
2013-02-08[analyzer] Move DefaultBool so that all checkers can share it.Anna Zaks
2013-02-07[analyzer] Add pointer escape type param to checkPointerEscape callbackAnna Zaks
2013-02-05Change subexpressions to be visited in the CFG from left-to-right.Ted Kremenek
2013-02-02Revert "[analyzer] Model trivial copy/move ctors with an aggregate bind."Jordan Rose
2013-02-01Re-apply "[analyzer] Model trivial copy/move ctors with an aggregate bind."Jordan Rose
2013-02-01[analyzer] Reuse a LazyCompoundVal if its type matches the new region.Jordan Rose
2013-01-31Revert "[analyzer] Model trivial copy/move ctors with an aggregate bind."Jordan Rose
2013-01-30[analyzer] Make shallow mode more shallow.Anna Zaks
2013-01-30[analyzer] Use analyzer config for max-inlinable-size option.Anna Zaks
2013-01-30[analyzer] Move report false positive suppression to report visitors.Anna Zaks
2013-01-30[analyzer] Model trivial copy/move ctors with an aggregate bind.Jordan Rose
2013-01-26[analyzer] bugreporter::getDerefExpr now takes a Stmt, not an ExplodedNode.Jordan Rose
2013-01-26[analyzer] Add 'prune-paths' config option to disable path pruning.Jordan Rose
2013-01-26[analyzer] Rename PruneNullReturnPaths to SuppressNullReturnPaths.Jordan Rose
2013-01-24[analyzer] Fixup for r173385 and r173386 - initialize the members.Anna Zaks
2013-01-24[analyzer] Add "-analyzer-config mode=[deep|shallow] ".Anna Zaks
2013-01-24[analyzer] Replace "-analyzer-ipa" with "-analyzer-config ipa".Anna Zaks
2013-01-24[analyzer] refactor: access IPAMode through the accessor.Anna Zaks
2013-01-19[analyzer] Suppress warnings coming out of macros defined in sys/queue.hAnna Zaks
2013-01-16[analyzer] Refactor: parameter rename.Anna Zaks
2013-01-14[analyzer] Add ProgramStatePartialTrait<const void *>.Jordan Rose
2013-01-14[analyzer] Fix cast-away-const warning by using const_cast.Jordan Rose
2013-01-12Remove useless 'llvm::' qualifier from names like StringRef and others that areDmitri Gribenko
2013-01-12Add missing includes and forward declarations so that headers don't depend onDmitri Gribenko
2013-01-08[analyzer] Bump down the max size of functions being analyzed.Anna Zaks
2013-01-08[analyzer] Include the bug uniqueing location in the issue_hash.Anna Zaks
2013-01-03[analyzer] Rename callback EndPath -> EndFunctionAnna Zaks
2012-12-21[analyzer] Don't perform an expensive assertion in release builds.Jordan Rose
2012-12-21[analyzer] Address Jordan's nitpicks as per code review of r170625.Anna Zaks
2012-12-20[analyzer] Add the pointer escaped callback.Anna Zaks
2012-12-19Pass AnalyzerOptions to PathDiagnosticConsumer to make analyzer options acces...Ted Kremenek
2012-12-17[analyzer] Implement "do not inline large functions many times"Anna Zaks
2012-12-07[analyzer] Rename the option help to reflect better what it does.Anna Zaks
2012-12-07[analyzer] Optimization heuristic: do not reanalyze every ObjC method asAnna Zaks