aboutsummaryrefslogtreecommitdiff
path: root/include/clang/StaticAnalyzer
AgeCommit message (Expand)Author
2011-07-20now that we have a centralized place to do so, add some using declarations forChris Lattner
2011-07-15Add 'Contains()' method to GRStateTrait for ImmutableList. Patch by Rui Paulo.Ted Kremenek
2011-05-25static analyzer: when conservatively evaluating functions, don't invalidate t...Ted Kremenek
2011-05-21A few more is(Un)signedIntegerType/is(Un)signedOrEnumerationType cleanups.Douglas Gregor
2011-05-05Add Checker callback for running a checker at the end of processing an entire...Ted Kremenek
2011-05-02Augment retain/release checker to not warn about tracked objects passed as ar...Ted Kremenek
2011-04-27Allow 'Environment::getSVal()' to allow an optional way for checkers to do a ...Ted Kremenek
2011-04-24Fix PathDiagnosticClients.h header guard. (Case error)Sebastian Redl
2011-04-23Remove unused STL header includes.Jay Foad
2011-04-15fix a bunch of comment typos found by codespell. Patch byChris Lattner
2011-04-12Teach GRState::getSValAsScalarOrLoc() about C++ references.Ted Kremenek
2011-04-11C++ static analysis: also invalidate fields of objects that are the callees i...Ted Kremenek
2011-04-04Fix PR 9626 (duplicated self-init warnings under -Wuninitialized) with numero...Ted Kremenek
2011-04-03static analyzer: Add a new ProgramPoint PostCondition to represent the post p...Ted Kremenek
2011-04-02[analyzer] Simplify CheckerFn template and use it more to reduce duplication....Argyrios Kyrtzidis
2011-04-02Remove a redundant method. We have a const version.Zhongxing Xu
2011-04-02Teach IdempotentOperationsChecker about paths aborted because ExprEngine didn...Ted Kremenek
2011-04-02static analyzer: Rename 'BlocksAborted' to 'BlocksExhausted' to reflect that ...Ted Kremenek
2011-03-30Begin reworking static analyzer support for C++ method calls. The current lo...Ted Kremenek
2011-03-29[analyzer] Checker Packages can now belong to a group. This requires llvm com...Argyrios Kyrtzidis
2011-03-14Incorporate source ranges for RangeBugReport when coelescing reports into equ...Ted Kremenek
2011-03-11Add support for the OpenCL vec_step operator, by generalising andPeter Collingbourne
2011-03-08static analyzer: Fix use-after-free bug in RegionStore involving LazyCompound...Ted Kremenek
2011-03-02Move some of the logic about classifying Objective-C methods intoJohn McCall
2011-03-01In preparation for fixing PR 6884, rework CFGElement to have getAs<> return p...Ted Kremenek
2011-03-01[analyzer] Remove SVal::getAsVarDecl() and reason about MemRegions, not Decls...Argyrios Kyrtzidis
2011-03-01[analyzer] Rename CheckerV2 -> Checker.Argyrios Kyrtzidis
2011-03-01[analyzer] Remove Checker V1.Argyrios Kyrtzidis
2011-03-01[analyzer] Remove checker V1 registration and running from ExprEngine.Argyrios Kyrtzidis
2011-03-01Improves the coding style in SValBuilder. This patch:Zhanyong Wan
2011-02-28[analyzer] Run the ExprEngine depending on the CheckerManager having path-sen...Argyrios Kyrtzidis
2011-02-28[analyzer] Migrate NSErrorChecker and DereferenceChecker to CheckerV2.Argyrios Kyrtzidis
2011-02-28[analyzer] Introduce "event" mechanism in CheckerManager.Argyrios Kyrtzidis
2011-02-28[analyzer] Introduce SVal::getAsVarDecl().Argyrios Kyrtzidis
2011-02-28[analyzer] Migrate UndefBranchChecker to CheckerV2.Argyrios Kyrtzidis
2011-02-28[analyzer] Remove '-analyzer-experimental-checks' flag.Argyrios Kyrtzidis
2011-02-28[analyzer] Migrate MallocChecker to CheckerV2.Argyrios Kyrtzidis
2011-02-28[analyzer] Have CheckerManager::registerChecker return a pointer to the check...Argyrios Kyrtzidis
2011-02-25Intoduce '-analyzer-checker-help' flag which outputs a list of all available ...Argyrios Kyrtzidis
2011-02-24[analyzer] Remove '-analyzer-experimental-internal-checks' flag, it doesn't h...Argyrios Kyrtzidis
2011-02-24[analyzer] Migrate ArrayBoundChecker to CheckerV2.Argyrios Kyrtzidis
2011-02-24[analyzer] Don't pass a GRState to CheckerManager::runCheckersForLocation, te...Argyrios Kyrtzidis
2011-02-24[analyzer] Remove unused functions from CheckerManager.Argyrios Kyrtzidis
2011-02-24[analyzer] Migrate CStringChecker to CheckerV2.Argyrios Kyrtzidis
2011-02-23[analyzer] Migrate StackAddrLeakChecker to CheckerV2.Argyrios Kyrtzidis
2011-02-23[analyzer] Refactor EndOfFunctionNodeBuilder.Argyrios Kyrtzidis
2011-02-23[analyzer] const goodness.Argyrios Kyrtzidis
2011-02-23[analyzer] Migrate ChrootChecker to CheckerV2.Argyrios Kyrtzidis
2011-02-23[analyzer] Migrate UnreachableCodeChecker to CheckerV2.Argyrios Kyrtzidis
2011-02-23[analyzer] Add LangOptions in CheckerManager.Argyrios Kyrtzidis
generated by cgit v1.2.3-18-g5258 (git 2.32.0) at 2024-11-22 22:25:54 +0000