summaryrefslogtreecommitdiffstats
path: root/clang/lib/Analysis
Commit message (Expand)AuthorAgeFilesLines
* Tweak handling of BlockDataRegions in RegionStoreManager::RemoveDeadBindings(...Ted Kremenek2009-12-031-4/+6
* Add security syntactic checker for mktemp.Zhongxing Xu2009-12-031-1/+41
* Update CMake for CallGraph.cpp move.Daniel Dunbar2009-12-031-1/+0
* Add value invalidation logic for block-captured variables. Conceptually invo...Ted Kremenek2009-12-032-2/+23
* Make BlockDataRegion::referenced_vars_iterator an actual class that enforces ...Ted Kremenek2009-12-031-2/+4
* Fix layering violation by moving Analysis/CallGraph to IndexDaniel Dunbar2009-12-031-150/+0
* Add batch version of 'StoreManager::InvalidateRegion()' for invalidating mult...Ted Kremenek2009-12-033-28/+64
* Add a heuristic to the dead stores checker to prune dead stores for variables...Ted Kremenek2009-12-031-1/+2
* Hard bifurcate the state into nil receiver and non-nil receiver, so thatZhongxing Xu2009-12-023-83/+73
* Provide the correct vector size for referenced variables.Ted Kremenek2009-12-011-1/+1
* Fix early-return logic in scanReachableSymbols() to match the rest of the rec...Ted Kremenek2009-12-011-6/+6
* Eliminate another VISIBILITY_HIDDENDouglas Gregor2009-11-301-4/+1
* Adapt to the DOTGraphTraits changes in LLVM.Tobias Grosser2009-11-303-4/+11
* Port BugReporter and BugType to StringRef.Benjamin Kramer2009-11-298-23/+20
* Kill some unnecessary calls to c_str().Benjamin Kramer2009-11-293-5/+4
* Fix null dereference in UndefResultChecker identified by running the analyzer...Ted Kremenek2009-11-291-2/+3
* Cleanup includes and forward decls.Benjamin Kramer2009-11-282-0/+2
* Remove unneeded includes.Benjamin Kramer2009-11-281-10/+2
* lib/Analysis: Remove VISIBILITY_HIDDEN from definitions in anonymous namespaceKovarththanan Rajaratnam2009-11-2841-119/+104
* Improve diagnostics in ReturnStackAddressChecker for returning a stack-alloca...Ted Kremenek2009-11-261-0/+8
* Add a PostVisitBlockExpr() method to RetainReleaseChecker to query forTed Kremenek2009-11-261-1/+27
* Teach RegionStoreManager::RemoveDeadBindings() about BlockDataRegions. Any V...Ted Kremenek2009-11-261-4/+17
* Add iterators to BlockDataRegion that allow clients to iterate over the VarRe...Ted Kremenek2009-11-261-1/+61
* Added batch versions of GRState::scanReachableSymbols() so that clients can s...Ted Kremenek2009-11-261-0/+21
* Enhance LiveVariables to understand that blocks can extend the liveness of a ...Ted Kremenek2009-11-262-15/+92
* Add missing case in switch statement.Ted Kremenek2009-11-251-1/+2
* Refine MemRegions for blocks. Add a new region calledTed Kremenek2009-11-255-7/+43
* Remove recently added FIXME. The appropriate FIXME is already in MemRegionMa...Ted Kremenek2009-11-251-2/+0
* Add FIXME.Ted Kremenek2009-11-251-0/+2
* Add post-visit Checker support in GRExprEngine for BlockExpr.Ted Kremenek2009-11-251-1/+7
* Add a new RetainReleaseChecker class (that subclasses CheckerVisitor) to exte...Ted Kremenek2009-11-251-0/+22
* Move RegisterChecks() to the end of the file. No functionality change.Ted Kremenek2009-11-251-57/+59
* Make RegisterInternalChecks() part of GRExprEngine's private implementation b...Ted Kremenek2009-11-251-30/+32
* Register internal checks with GRExprEngine when it is constructed, not manual...Ted Kremenek2009-11-251-1/+5
* When dispatching to Checker objects in GRExprEngine::CheckerVisit(),Ted Kremenek2009-11-251-4/+12
* Add really basic support for blocks in the retain/release checker. For now, ...Ted Kremenek2009-11-251-3/+14
* Allow building of CFGs for ASTs that contain BlockExprs.Ted Kremenek2009-11-251-3/+6
* Add transfer function support for BlockExpr.Ted Kremenek2009-11-251-0/+12
* Split CodeTextRegion into FunctionTextRegion and BlockTextRegion. This a pre...Ted Kremenek2009-11-256-16/+49
* For the nil-receiver checker, take into account the behavioral changes that g...Ted Kremenek2009-11-241-6/+19
* Cleanups and fixes to the nil-receiver checker, some of it fallout theTed Kremenek2009-11-242-114/+129
* We can remove this file now.Zhongxing Xu2009-11-242-31/+0
* Refactor undefined result checker. This is the last one.Zhongxing Xu2009-11-245-154/+122
* Refactor NilReceiverStructRet and NilReceiverLargerThanVoidPtrRet into Zhongxing Xu2009-11-244-157/+134
* rename UndefinedArgChecker to CallAndMessageChecker.Zhongxing Xu2009-11-243-16/+16
* Rename: UndefinedArgChecker.cpp => CallAndMessageChecker.cppZhongxing Xu2009-11-242-1/+1
* Enhance null dereference diagnostics by indicating what variable (if any) was...Ted Kremenek2009-11-242-4/+27
* After performing a bounds check in ArrayBoundChecker, record the fact that a ...Ted Kremenek2009-11-231-0/+6
* Clean up the Checker API a little more, resolving some hidden bugsTed Kremenek2009-11-2319-49/+55
* Provide out-of-line definition for destructor of Checker.Ted Kremenek2009-11-232-0/+19
OpenPOWER on IntegriCloud