aboutsummaryrefslogtreecommitdiff
path: root/include/clang/Analysis
AgeCommit message (Expand)Author
2008-07-10Remove unused class AnnotatedPath.Ted Kremenek
2008-07-10Move some environment methods from ValueState/ValueStateManager to Environmen...Ted Kremenek
2008-07-09Remove getParentMap() from GRExprEngine.Ted Kremenek
2008-07-08Initial work on splitting the ValueState into an Environment, Store, andTed Kremenek
2008-07-03For the -dealloc checker, check the LangOptions to determine whether or not t...Ted Kremenek
2008-07-03Have BugReporter::getCFG and BugReporter::getLiveVariables returns pointers i...Ted Kremenek
2008-07-03Added static analysis check to see if a subclass of NSObject implements -deal...Ted Kremenek
2008-07-02Unify the code path for the Dead Stores checker to always use the BugReporter...Ted Kremenek
2008-07-02Refactored some of the BugReporter interface so that data such as the ASTCont...Ted Kremenek
2008-07-02GRExprEngine now expects the LiveVariables information to be provided by its ...Ted Kremenek
2008-07-02Added version of CheckDeadStores that accepts a client-provided LiveVariables...Ted Kremenek
2008-06-20Modified the dead stores checker to...Ted Kremenek
2008-06-18Added a new ProgramPoint: PostPurgeDeadSymbols. This new program point disti...Ted Kremenek
2008-06-17Change self/_cmd to be instances of ImplicitParamDecl instead of ParmVarDecl.Chris Lattner
2008-06-07Mark the right ctor explicit, patch by Cédric VenetChris Lattner
2008-05-29- Move ObjC Expresssion AST's from Expr.h => ExprObjC.hSteve Naroff
2008-05-23Unbreak build. Forget to check in this header file change with a previous co...Ted Kremenek
2008-05-16Partitioned BugTypeCachedLocation::isCached() into two methods: one that acce...Ted Kremenek
2008-05-09Rename IsPointerType to LVal::IsLValType, and update CFRefCount::EvalSummary ...Ted Kremenek
2008-05-06Added "DisplayHint" to PathDiagnosticPiece to provide a hint for theTed Kremenek
2008-05-06Fixed subtle bug in the an GRAuditor object could mark a node as a sinkTed Kremenek
2008-05-02Rename member variable.Ted Kremenek
2008-05-02When running the reference count checker twice (GC and non-GC mode), only emitTed Kremenek
2008-05-01Added line number diagnostics to indicate the allocation site of the leaked o...Ted Kremenek
2008-05-01Do not highlight bogus ranges for leaks.Ted Kremenek
2008-05-01Added temporary fix for Obj-C exception handling in the static analyzer: trea...Ted Kremenek
2008-05-01When processing "release", "retain", and "autorelease" messages return theTed Kremenek
2008-04-30added preliminary diagnostics in scan-build results to denote whetherTed Kremenek
2008-04-30Teach more of the static analyzer about ObjCQualifiedIdType.Ted Kremenek
2008-04-29Add lval::ArrayOffset, which represent the locations of entries in an array.Ted Kremenek
2008-04-29Added lval::FieldOffset, which represents symbolic lvalues for field offsets ...Ted Kremenek
2008-04-29Major rewrite/refactoring of static analysis engine. We now useTed Kremenek
2008-04-29Provide the option to run the CF-retain checker in GC enabled mode.Ted Kremenek
2008-04-26Make assertions for all addresses passed to ProgramPoint that they have at le...Argyrios Kyrtzidis
2008-04-25Do a better job at computing dead symbols.Ted Kremenek
2008-04-24More boilerplate for handling specialized-transfer function logic for dead sy...Ted Kremenek
2008-04-24Added initial boilerplate in GRExprEngine to allow checker-specific transferTed Kremenek
2008-04-23When building PathDiagnostics for bug reports, generate a trimmed ExplodedGra...Ted Kremenek
2008-04-23Fixed: <rdar://problem/5881148>Ted Kremenek
2008-04-22Rewrote VisitDeclStmt to properly handle initializers that can do anything.Ted Kremenek
2008-04-22Added lval type (and tracking) for StringLiterals.Ted Kremenek
2008-04-22Added "nonlval::LValAsInteger" to represent abstract LVals casted to integers...Ted Kremenek
2008-04-22PathDiagnosticClients now retain ownership of passed PathDiagnostics, requiringTed Kremenek
2008-04-22Add VisitArraySubscriptExpr.Ted Kremenek
2008-04-21Added support for detected bad dereferences involving MemberExprs, e.g. x->f ...Ted Kremenek
2008-04-18Generalize caching mechanism for bugs reports. Now individual BugTypesTed Kremenek
2008-04-18Fixed more caching bugs related to the one fixed in r49914. SilenceTed Kremenek
2008-04-18Fixed elusive caching bug that led to false positives.Ted Kremenek
2008-04-18Added "GetErrorNodes()" to BugType so that -trim-egraph can recognize errorsTed Kremenek
2008-04-18Added "EvalAssume" virtual method to GRTransferFuncs; this is for evaluatingTed Kremenek