aboutsummaryrefslogtreecommitdiff
path: root/include/clang/Analysis/LocalCheckers.h
AgeCommit message (Expand)Author
2009-06-26Introduce a new concept to the static analyzer: SValuator.Ted Kremenek
2008-09-18Change implementation of NSError** coding-style check to be invoked at the en...Ted Kremenek
2008-09-18Implemented one of the checks requested in PR 2600:Ted Kremenek
2008-07-23Add prototype implementation of unused ivar check.Ted Kremenek
2008-07-22Moved registration of basic path-sensitive checks from GRSimpleVals.cpp to GR...Ted Kremenek
2008-07-11Add new check: -check-objc-methodsigs. This check scans methods inTed Kremenek
2008-07-03For the -dealloc checker, check the LangOptions to determine whether or not t...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-02Added version of CheckDeadStores that accepts a client-provided LiveVariables...Ted Kremenek
2008-06-20Modified the dead stores checker to...Ted Kremenek
2008-05-02When running the reference count checker twice (GC and non-GC mode), only emitTed Kremenek
2008-04-30added preliminary diagnostics in scan-build results to denote whetherTed Kremenek
2008-04-29Provide the option to run the CF-retain checker in GC enabled mode.Ted Kremenek
2008-04-14Hooked up the dead-store checker to the BugReporter interface. Now dead-storeTed Kremenek
2008-04-10Fix some bonehead bugs in summary generation in CFRefCount.Ted Kremenek
2008-04-10Refactored all logic to run the GRSimpleVals and CFRef checker into a commonTed Kremenek
2008-03-31Inlined clang/Analysis/Analyses/GRSimpleVals.h into LocalCheckers.h and removedTed Kremenek
2008-03-14Path-sensitive analyses no longer take a FunctionDecl, but any Decl representingTed Kremenek
2008-03-13The LiveVariables analysis no longer requires a FunctionDecl&; this allows itTed Kremenek
2008-03-06Added boilerplate to execute the CF reference count checker (which isn't yet ...Ted Kremenek
2008-01-29Modified LiveVariables to perform all of its base initialization in the ctor,Ted Kremenek
2007-12-29Don't attribute in file headers anymore. See llvmdev for theChris Lattner
2007-09-28Fixed several bugs in the propagation of "uninitialized value"Ted Kremenek
2007-09-25Further refactored DataflowSolver. Now most code for the solver is sharedTed Kremenek
2007-09-17More progress on UnitializedValues checker. We now have preliminary supportTed Kremenek
2007-09-15switch the various CFG-based stuff over to using ASTConsumer interface,Chris Lattner
2007-09-06Forgot to check in the actual "dead stores" checker in the last commit!Ted Kremenek