[PATCH] D28445: [Analyzer] Extend taint propagation and checking

Anna Zaks via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Mon Jan 9 12:27:50 PST 2017


zaks.anna added a comment.

Thanks for working on this!



================
Comment at: lib/StaticAnalyzer/Checkers/GenericTaintChecker.cpp:443
+  if (auto LCV = Val.getAs<nonloc::LazyCompoundVal>())
+    return C.getSymbolManager().getRegionValueSymbol(LCV->getRegion());
+
----------------
This might create a new symbol. Is this what we want?


================
Comment at: lib/StaticAnalyzer/Core/ProgramState.cpp:694
+  if (const TypedValueRegion *TVR = dyn_cast<TypedValueRegion>(Reg)) {
+    SymbolRef Sym = getSymbolManager().getRegionValueSymbol(TVR);
+
----------------
This might create a new symbol as well. Is this what we want here?



https://reviews.llvm.org/D28445





More information about the cfe-commits mailing list