llvm-project

AnalysisContext.cpp

Add an unreachable code checker.

2010-01-13 02:59:54 +00:00

ArrayBoundChecker.cpp

lib/Analysis: Remove VISIBILITY_HIDDEN from definitions in anonymous namespace

2009-11-28 06:07:30 +00:00

AttrNonNullChecker.cpp

lib/Analysis: Remove VISIBILITY_HIDDEN from definitions in anonymous namespace

2009-11-28 06:07:30 +00:00

BasicConstraintManager.cpp

Remove references to 'Checker' and 'GRTransferFuncs' from

2010-01-05 00:15:18 +00:00

BasicObjCFoundationChecks.cpp

move a few more symbols to .rodata/.data.rel.ro

2009-12-23 17:49:57 +00:00

BasicObjCFoundationChecks.h

Remove unneeded includes.

2009-11-28 09:41:31 +00:00

BasicStore.cpp

Completely remove ObjCObjectRegion (tests pass this time).

2009-12-16 23:53:37 +00:00

BasicValueFactory.cpp

Remove tabs, and whitespace cleanups.

2009-09-09 15:08:12 +00:00

BugReporter.cpp

Teach 'ExecutionContinues' (part of BugReporter's diagnostic generation) about BlockDecls.

2009-12-04 20:34:31 +00:00

BugReporterVisitors.cpp

lib/Analysis: Remove VISIBILITY_HIDDEN from definitions in anonymous namespace

2009-11-28 06:07:30 +00:00

BuiltinFunctionChecker.cpp

Refactor builtin function evaluation into a checker.

2009-12-08 09:07:59 +00:00

CallAndMessageChecker.cpp

Hard bifurcate the state into nil receiver and non-nil receiver, so that

2009-12-02 05:49:12 +00:00

CallInliner.cpp

2009-12-24 03:34:38 +00:00

CastToStructChecker.cpp

lib/Analysis: Remove VISIBILITY_HIDDEN from definitions in anonymous namespace

2009-11-28 06:07:30 +00:00

CFG.cpp

Add CFG support for the initializer of the condition variable of a ForStmt.

2009-12-24 01:49:06 +00:00

CFRefCount.cpp

Fix pasto.

2010-01-11 20:15:06 +00:00

CheckDeadStores.cpp

Suppress dead store warnings involving objects initialized with CXXExprTemporaries.

2009-12-23 04:11:44 +00:00

Checker.cpp

Rename instance variable to avoid name conflict with parameters, and modify addTransition() to compare the correct state values.

2009-12-04 06:57:49 +00:00

CheckObjCDealloc.cpp

Port BugReporter and BugType to StringRef.

2009-11-29 18:27:55 +00:00

CheckObjCInstMethSignature.cpp

Port BugReporter and BugType to StringRef.

2009-11-29 18:27:55 +00:00

CheckObjCUnusedIVars.cpp

Port BugReporter and BugType to StringRef.

2009-11-29 18:27:55 +00:00

CheckSecuritySyntaxOnly.cpp

Add security syntactic checker for mktemp.

2009-12-03 09:15:23 +00:00

CheckSizeofPointer.cpp

lib/Analysis: Remove VISIBILITY_HIDDEN from definitions in anonymous namespace

2009-11-28 06:07:30 +00:00

CMakeLists.txt

Refactor OSAtomic evaluation logic into OSAtomicChecker.

2009-12-09 12:23:28 +00:00

DereferenceChecker.cpp

lib/Analysis: Remove VISIBILITY_HIDDEN from definitions in anonymous namespace

2009-11-28 06:07:30 +00:00

DivZeroChecker.cpp

lib/Analysis: Remove VISIBILITY_HIDDEN from definitions in anonymous namespace

2009-11-28 06:07:30 +00:00

Environment.cpp

When binding an rvalue to a reference, create a temporary object. Use

2010-01-09 09:16:47 +00:00

ExplodedGraph.cpp

Fix clang's use of DenseMap iterators after r86636 fixed their constness.

2009-11-10 01:17:45 +00:00

FixedAddressChecker.cpp

lib/Analysis: Remove VISIBILITY_HIDDEN from definitions in anonymous namespace

2009-11-28 06:07:30 +00:00

GRBlockCounter.cpp

Remove tabs, and whitespace cleanups.

2009-09-09 15:08:12 +00:00

GRCoreEngine.cpp

For inter-procedural analysis, predecessor node may be in another function.

2009-12-23 08:54:57 +00:00

GRExprEngine.cpp

Roll out ASTContext::getTypeSizeInChars(), replacing instances of

2010-01-11 17:06:35 +00:00

GRExprEngineExperimentalChecks.cpp

Make FixedAddressChecker and experimental check; it currently produces a ton of false positives when analyzing some projects (e.g., Wine).

2009-11-21 17:55:24 +00:00

GRExprEngineExperimentalChecks.h

Hook up Malloc checker.

2009-11-13 07:25:27 +00:00

GRExprEngineInternalChecks.h

Refactor OSAtomic evaluation logic into OSAtomicChecker.

2009-12-09 12:23:28 +00:00

GRState.cpp

Enhance ScanReachableSymbols::scan(). Now another OSAtomic test case passes.

2010-01-11 07:40:00 +00:00

LiveVariables.cpp

Simplify code by using an equivalent template class.

2009-12-30 06:38:20 +00:00

Makefile

Installation of Clang libraries and headers, from Axel Naumann!

2009-10-08 22:15:31 +00:00

MallocChecker.cpp

Let constraint manager inform checkers that some assumption logic has happend.

2009-12-31 06:13:07 +00:00

ManagerRegistry.cpp

After drinking caffeine, add the two files missing from the previous submit.

2009-11-11 19:43:37 +00:00

MemRegion.cpp

Roll out ASTContext::getTypeSizeInChars(), replacing instances of

2010-01-11 17:06:35 +00:00

NoReturnFunctionChecker.cpp

Teach NoReturnFunctionChecker that FunctionDecl::getIdentifier() is not guaranteed to return a non-null IdentifierInfo*.

2009-12-16 05:58:28 +00:00

NSAutoreleasePoolChecker.cpp

lib/Analysis: Remove VISIBILITY_HIDDEN from definitions in anonymous namespace

2009-11-28 06:07:30 +00:00

NSErrorChecker.cpp

Port BugReporter and BugType to StringRef.

2009-11-29 18:27:55 +00:00

OSAtomicChecker.cpp

Switch RegionStore over to using <BaseRegion+raw offset> to store

2010-01-11 02:33:26 +00:00

PathDiagnostic.cpp

Switch PathDiagnostic to StringRef.

2009-12-11 21:09:27 +00:00

PointerArithChecker.cpp

lib/Analysis: Remove VISIBILITY_HIDDEN from definitions in anonymous namespace

2009-11-28 06:07:30 +00:00

PointerSubChecker.cpp

lib/Analysis: Remove VISIBILITY_HIDDEN from definitions in anonymous namespace

2009-11-28 06:07:30 +00:00

PthreadLockChecker.cpp

lib/Analysis: Remove VISIBILITY_HIDDEN from definitions in anonymous namespace

2009-11-28 06:07:30 +00:00

RangeConstraintManager.cpp

Remove references to 'Checker' and 'GRTransferFuncs' from

2010-01-05 00:15:18 +00:00

RegionStore.cpp

Switch RegionStore over to using <BaseRegion+raw offset> to store

2010-01-11 02:33:26 +00:00

ReturnPointerRangeChecker.cpp

lib/Analysis: Remove VISIBILITY_HIDDEN from definitions in anonymous namespace

2009-11-28 06:07:30 +00:00

ReturnStackAddressChecker.cpp

Fix broken diagnostic when returning the address of a stack-allocated array.

2010-01-09 20:05:00 +00:00

ReturnUndefChecker.cpp

lib/Analysis: Remove VISIBILITY_HIDDEN from definitions in anonymous namespace

2009-11-28 06:07:30 +00:00

SimpleConstraintManager.cpp

Remove references to 'Checker' and 'GRTransferFuncs' from

2010-01-05 00:15:18 +00:00

SimpleConstraintManager.h

Remove references to 'Checker' and 'GRTransferFuncs' from

2010-01-05 00:15:18 +00:00

SimpleSValuator.cpp

Switch RegionStore over to using <BaseRegion+raw offset> to store

2010-01-11 02:33:26 +00:00

Store.cpp

Roll out ASTContext::getTypeSizeInChars(), replacing instances of

2010-01-11 17:06:35 +00:00

SVals.cpp

Enhance SVals::getAsRegion: get the region that is converted to an integer.

2010-01-11 06:52:53 +00:00

SValuator.cpp

Revert r92318. Instead fix the analyzer: do not call

2010-01-05 09:27:03 +00:00

SymbolManager.cpp

Fix: <rdar://problem/7468209> SymbolManager::isLive() should not crash on captured block variables that are passed by reference

2009-12-14 22:15:06 +00:00

UndefBranchChecker.cpp

lib/Analysis: Remove VISIBILITY_HIDDEN from definitions in anonymous namespace

2009-11-28 06:07:30 +00:00

UndefinedArraySubscriptChecker.cpp

lib/Analysis: Remove VISIBILITY_HIDDEN from definitions in anonymous namespace

2009-11-28 06:07:30 +00:00

UndefinedAssignmentChecker.cpp

lib/Analysis: Remove VISIBILITY_HIDDEN from definitions in anonymous namespace

2009-11-28 06:07:30 +00:00

UndefResultChecker.cpp

Kill some unnecessary calls to c_str().

2009-11-29 18:03:28 +00:00

UninitializedValues.cpp

lib/Analysis: Remove VISIBILITY_HIDDEN from definitions in anonymous namespace

2009-11-28 06:07:30 +00:00

ValueManager.cpp

Add analysis support for blocks. This includes a few key changes:

2009-12-07 22:05:27 +00:00

VLASizeChecker.cpp

lib/Analysis: Remove VISIBILITY_HIDDEN from definitions in anonymous namespace

2009-11-28 06:07:30 +00:00