summaryrefslogtreecommitdiffstats
path: root/clang/lib/Analysis
Commit message (Expand)AuthorAgeFilesLines
* Remove stale comment.Ted Kremenek2009-10-141-3/+1
* Now StoreManager::CastRegion() takes a MemRegion, returns a MemRegion.Zhongxing Xu2009-10-142-36/+27
* Remove dead code.Zhongxing Xu2009-10-141-13/+0
* * Remove unused GRState* parameterZhongxing Xu2009-10-143-50/+34
* retain/release checker: Recognize that calls toTed Kremenek2009-10-141-3/+26
* retain/release checker: retained objects passed to pthread_create (asTed Kremenek2009-10-131-1/+7
* Now we can call into another function with the CallInliner transfer function.Zhongxing Xu2009-10-131-1/+35
* Add an initial implementation of EnterStackFrame() to the StoreManager.Zhongxing Xu2009-10-131-0/+22
* Use a BumpPtrAllocator to allocate all aspects of CFG, including CFGBlocks, s...Ted Kremenek2009-10-121-63/+72
* Introduces a new BindingVal which combines direct andZhongxing Xu2009-10-111-190/+165
* Make the behavior explicit by not using the method call.Zhongxing Xu2009-10-091-2/+2
* Remove unused code.Zhongxing Xu2009-10-091-7/+0
* Installation of Clang libraries and headers, from Axel Naumann!Douglas Gregor2009-10-081-3/+0
* Change ExplodedNode to have its NodeGroups all BumpPtrAllocated, avoiding mal...Ted Kremenek2009-10-073-44/+35
* Fix 'clang-cc -analyzer-display-progress' by flushing standard error after pr...Ted Kremenek2009-10-061-3/+3
* Fix crash introduced by r83358 where a symbol could be eagerlyTed Kremenek2009-10-061-2/+7
* Fix: <rdar://problem/7275774> Static analyzer warns about NULL pointer whenTed Kremenek2009-10-064-16/+47
* Fix bad grammar in static analyzer diagnostic. Reported by Robert Purves!Ted Kremenek2009-10-011-2/+2
* Desugaring optimizations. Add single-step desugaring methods to allJohn McCall2009-09-291-1/+1
* Modify ASTLocation and apart from being a Decl or Stmt, allow it to also be:Argyrios Kyrtzidis2009-09-291-4/+1
* Add more const-goodness to ASTLocation.Argyrios Kyrtzidis2009-09-291-1/+1
* Fix: <rdar://problem/7261075> [RegionStore] crash when handling load: '*((uns...Ted Kremenek2009-09-291-1/+8
* Fix really insidious bug in RegionStoreManager::RemoveDeadBindings()Ted Kremenek2009-09-291-155/+161
* Reapply most of r82939, but add a guard that FieldRegions and friendsTed Kremenek2009-09-291-4/+9
* Revert r82939. We can only not special case FieldRegions when the super regi...Ted Kremenek2009-09-291-9/+5
* Specially handle fields, elements, and ivars inTed Kremenek2009-09-271-5/+9
* Add FIXME comment.Ted Kremenek2009-09-271-0/+4
* Fix:Ted Kremenek2009-09-275-62/+95
* Fix checking for a null pointer constant when the expression itself isDouglas Gregor2009-09-251-2/+4
* Fix <rdar://problem/7249327> by allowing silent conversions between signed an...Ted Kremenek2009-09-252-2/+22
* When building CFGs, no longer reverse the statements in the CFGBlock. InsteadTed Kremenek2009-09-241-16/+8
* Fix crash in RegionStoreManager::Bind() by using 'getAs<PointerType>()' inste...Ted Kremenek2009-09-241-1/+1
* Fix: <rdar://problem/7249340> [RegionStore] model stores to symbolic paramete...Ted Kremenek2009-09-241-6/+22
* Shorten the static analyzer diagnostic for 'use of garbage value'.Ted Kremenek2009-09-241-2/+2
* Fix PR 4988 by removing an invalid assertion (a function can be referenced inTed Kremenek2009-09-231-1/+1
* Fix: <rdar://problem/7242006> [RegionStore] compound literal assignment with ...Ted Kremenek2009-09-222-4/+6
* Fix: <rdar://problem/7242015> [RegionStore] variable passed-by-reference (via...Ted Kremenek2009-09-221-8/+9
* Change all the Type::getAsFoo() methods to specializations of Type::getAs().John McCall2009-09-215-12/+12
* Provide intermediate solution to handling assignments to structs via anTed Kremenek2009-09-211-0/+4
* Re-introduce diagnostic caching in BugReporter that was originally added inTed Kremenek2009-09-181-0/+47
* Reintroduce FoldingSet profiling for PathDiagnostics.Ted Kremenek2009-09-181-0/+62
* Revert most of r82198, which was causing a large number of crashesTed Kremenek2009-09-182-109/+0
* Introduce caching of diagnostics in BugReporter. This provides extraTed Kremenek2009-09-182-0/+109
* Have divide-by-zero checker not handled undefined denominators. This is hand...Ted Kremenek2009-09-161-26/+18
* Remove ImplicitBadDivides/ExplicitBadDivides node sets. This checking is now...Ted Kremenek2009-09-161-6/+0
* Fix static analyzer regression when emitting undefined value warningsTed Kremenek2009-09-151-9/+16
* Per feedback from Eli, recognize in the transfer function logic forTed Kremenek2009-09-151-6/+12
* Fix typo in comment.Ted Kremenek2009-09-151-1/+1
* Add static analyzer transfer function support for __builtin_offsetof.Ted Kremenek2009-09-151-3/+8
* Fix: <rdar://problem/5905851> do not report a leak when post-dominated by a callTed Kremenek2009-09-142-11/+112
OpenPOWER on IntegriCloud