llvm-project/clang/lib/Analysis
Ted Kremenek ed47d79cc2 BugReporter: for extensive path diagnostics:
- When processing BlockEdges with terminators, using the condition as the
  control-flow point for terminators that are expressions (e.g., '&&', '?')
- When processing events, allow intra-compound statement "jumping"

llvm-svn: 68228
2009-04-01 18:48:52 +00:00
..
BasicConstraintManager.cpp Patch by Ben Laurie: 2009-02-14 17:08:39 +00:00
BasicObjCFoundationChecks.cpp Rename AnonTypedRegion to TypedViewRegion. 2009-03-01 05:44:08 +00:00
BasicObjCFoundationChecks.h Overhaul BugReporter interface and implementation. The new interface cleans up 2009-02-04 23:49:09 +00:00
BasicStore.cpp Simplify more code by using SVal::getAsSymbol(). 2009-03-30 19:53:37 +00:00
BasicValueFactory.cpp analyzer infrastructure: make a bunch of changes to symbolic expressions that 2009-03-26 03:35:11 +00:00
BugReporter.cpp BugReporter: for extensive path diagnostics: 2009-04-01 18:48:52 +00:00
CFRefCount.cpp - Changed PathDiagnosticPiece::getLocation() to return a PathDiagnosticLocation 2009-04-01 06:13:56 +00:00
CMakeLists.txt Build system changes to use TableGen to generate the various 2009-03-16 23:06:59 +00:00
CheckDeadStores.cpp Fix: <rdar://problem/6740387>. Sending nil to an object that returns a struct 2009-04-01 06:52:48 +00:00
CheckNSError.cpp Simplify more code by using SVal::getAsSymbol(). 2009-03-30 19:53:37 +00:00
CheckObjCDealloc.cpp Per PR 3187, disable the missing -dealloc check for classes that subclass SenTestCase. 2009-02-11 07:10:07 +00:00
CheckObjCInstMethSignature.cpp Rename NamedDecl::getName() to getNameAsString(). Replace a bunch of 2008-11-24 05:29:24 +00:00
CheckObjCUnusedIVars.cpp Rename NamedDecl::getName() to getNameAsString(). Replace a bunch of 2008-11-24 05:29:24 +00:00
Environment.cpp Add comments. 2009-03-12 07:54:17 +00:00
ExplodedGraph.cpp Use the correct data structures! 2009-03-12 23:41:59 +00:00
GRBlockCounter.cpp Updated clients of ImmutableMap::SlimFind to use ImmutableMap::lookup instead. 2008-07-07 16:21:19 +00:00
GRCoreEngine.cpp Added a new method to GRStmtNodeBuilder to build nodes using an arbitrary 2009-02-19 23:45:28 +00:00
GRExprEngine.cpp Fix: <rdar://problem/6740387>. Sending nil to an object that returns a struct 2009-04-01 06:52:48 +00:00
GRExprEngineInternalChecks.cpp Adjust wording of bug names. 2009-03-01 05:43:22 +00:00
GRSimpleVals.cpp Fix regression in pointer comparison with NULL (e.g., 0 != ptr). This fixes 2009-03-28 19:59:33 +00:00
GRSimpleVals.h analyzer infrastructure: make a bunch of changes to symbolic expressions that 2009-03-26 03:35:11 +00:00
GRState.cpp Simplify more code by using SVal::getAsSymbol() instead of 2009-03-30 18:45:36 +00:00
GRTransferFuncs.cpp analyzer infrastructure: make a bunch of changes to symbolic expressions that 2009-03-26 03:35:11 +00:00
LiveVariables.cpp rename some methods. 2009-03-28 06:33:19 +00:00
Makefile Build system changes to use TableGen to generate the various 2009-03-16 23:06:59 +00:00
MemRegion.cpp Re-apply 68028. The code had drifted enough that the tests would fail without 2009-03-30 22:20:54 +00:00
PathDiagnostic.cpp - Changed PathDiagnosticPiece::getLocation() to return a PathDiagnosticLocation 2009-04-01 06:13:56 +00:00
RangeConstraintManager.cpp Rename lib/Driver (etc) to lib/Frontend in prep for the *actual* 2009-03-02 06:16:29 +00:00
RegionStore.cpp Re-apply 68028. The code had drifted enough that the tests would fail without 2009-03-30 22:20:54 +00:00
SVals.cpp Remove dead code. 2009-03-30 21:27:41 +00:00
SimpleConstraintManager.cpp analyzer infrastructure: make a bunch of changes to symbolic expressions that 2009-03-26 03:35:11 +00:00
SimpleConstraintManager.h analyzer infrastructure: make a bunch of changes to symbolic expressions that 2009-03-26 03:35:11 +00:00
SymbolManager.cpp analyzer infrastructure: make a bunch of changes to symbolic expressions that 2009-03-26 03:35:11 +00:00
UninitializedValues.cpp rename some methods. 2009-03-28 06:33:19 +00:00