aboutsummaryrefslogtreecommitdiff
path: root/lib/StaticAnalyzer/Core
AgeCommit message (Expand)Author
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-23Remove the CFGElement "Invalid" state.David Blaikie
2013-02-22[analyzer] Don't canonicalize the RecordDecl used in CXXBaseObjectRegion.Jordan Rose
2013-02-22[analyzer] Implement "Loop executed 0 times" diagnostic correctly.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-22Fix regression in modeling assignments of an address of a variable to itself....Ted Kremenek
2013-02-22[analyzer] Fix buildbot by not reusing a variable name.Jordan Rose
2013-02-21[analyzer] Make sure a temporary object region matches its initial bindings.Jordan Rose
2013-02-21Simplify code to use castAs rather than getAs + assert.David Blaikie
2013-02-21Replace ProgramPoint llvm::cast support to be well-defined.David Blaikie
2013-02-21Replace CFGElement llvm::cast support to be well-defined.David Blaikie
2013-02-21StaticAnalyzer/Core: Suppress warnings. [-Wunused-variable, -Wunused-function]NAKAMURA Takumi
2013-02-21Whitespace.NAKAMURA Takumi
2013-02-21[analyzer] Record whether a base object region represents a virtual base.Jordan Rose
2013-02-21[analyzer] Tidy up a few uses of Optional in RegionStore.Jordan Rose
2013-02-21Use None rather than Optional<T>() where possible.David Blaikie
2013-02-21[analyzer] Tighten up safety in the use of lazy bindings.Jordan Rose
2013-02-20Include llvm::Optional in clang/Basic/LLVM.hDavid Blaikie
2013-02-20Use op-> directly rather than via Optional<T>::getPointer.David Blaikie
2013-02-20Replace SVal llvm::cast support to be well-defined.David Blaikie
2013-02-20[analyzer] Account for the "interesting values" hash table resizing.Jordan Rose
2013-02-19[analyzer] Don't accidentally strip off base object regions for lazy bindings.Jordan Rose
2013-02-15[analyzer] Don't assert when mixing reinterpret_cast and derived-to-base casts.Jordan Rose
2013-02-15Re-apply "[analyzer] Model trivial copy/move ctors with an aggregate bind."Jordan Rose
2013-02-15[analyzer] Cache the bindings accessible through a LazyCompoundVal.Jordan Rose
2013-02-15[analyzer] Scan the correct store when finding symbols in a LazyCompoundVal.Jordan Rose
2013-02-15[analyzer] Tweak LazyCompoundVal reuse check to ignore qualifiers.Jordan Rose
2013-02-15[analyzer] Use collectSubRegionKeys to make removeDeadBindings faster.Jordan Rose
2013-02-15[analyzer] Refactor RegionStore's sub-region bindings traversal.Jordan Rose
2013-02-14[analyzer] Try constant-evaluation for all variables, not just globals.Jordan Rose
2013-02-13[analyzer] Use Clang's evaluation for global constants and default arguments.Jordan Rose
2013-02-13[analyzer] Use makeZeroVal in RegionStore's lazy evaluation of statics.Jordan Rose
2013-02-09clang/lib/StaticAnalyzer/Core/BugReporter.cpp: Appease old msvc in std::pair(...NAKAMURA Takumi
2013-02-08Teach BugReporter (extensive diagnostics) to emit a diagnostic when a loop bo...Ted Kremenek
2013-02-08Remove stale instance variable.Ted Kremenek
2013-02-07[analyzer] Remove redundant check as per Jordan's feedback.Anna Zaks
2013-02-07[analyzer] Add pointer escape type param to checkPointerEscape callbackAnna Zaks
2013-02-07[analyzer] Don't reinitialize static globals more than once along a pathAnna Zaks
2013-02-06[analyzer]Revert part of r161511; suppresses leak false positives in C++Anna Zaks
2013-02-05Change subexpressions to be visited in the CFG from left-to-right.Ted Kremenek
2013-02-05[analyzer] Teach the analyzer to use a symbol for p when evaluatingAnna Zaks
2013-02-02Revert "[analyzer] Model trivial copy/move ctors with an aggregate bind."Jordan Rose
2013-02-02[analyzer] Always inline functions with bodies generated by BodyFarm.Anna Zaks
2013-02-02[analyzer] Fix typo.Anna Zaks
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-31[analyzer] If a lazy binding is undefined, pretend that it's unknown instead.Jordan Rose