Fix file endings + small optimization for the case that the taint analysis has only imprecise points-to-info

fabianbs96 · fabianbs96 · commit b0d7b9b49f29 · 2021-12-01T12:30:03.000+01:00
diff --git a/include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/ExtendedTaintAnalysis/AbstractMemoryLocation.h b/include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/ExtendedTaintAnalysis/AbstractMemoryLocation.h
@@ -242,4 +242,4 @@ template <> struct hash<psr::AbstractMemoryLocation> {
 
 } // namespace std
 
-#endif // PHASAR_PHASARLLVM_IFDSIDE_PROBLEMS_EXTENDEDTAINTANALYSIS_ABSTRACTMEMORYLOCATION_H_
+#endif // PHASAR_PHASARLLVM_IFDSIDE_PROBLEMS_EXTENDEDTAINTANALYSIS_ABSTRACTMEMORYLOCATION_H_
diff --git a/include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/ExtendedTaintAnalysis/AbstractMemoryLocationFactory.h b/include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/ExtendedTaintAnalysis/AbstractMemoryLocationFactory.h
@@ -208,4 +208,4 @@ class AbstractMemoryLocationFactory<AbstractMemoryLocation>
 
 } // namespace psr
 
-#endif // PHASAR_PHASARLLVM_IFDSIDE_PROBLEMS_EXTENDEDTAINTANALYSIS_ABSTRACTMEMORYLOCATIONFACTORY_H_
+#endif // PHASAR_PHASARLLVM_IFDSIDE_PROBLEMS_EXTENDEDTAINTANALYSIS_ABSTRACTMEMORYLOCATIONFACTORY_H_
diff --git a/include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/ExtendedTaintAnalysis/ComposeEdgeFunction.h b/include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/ExtendedTaintAnalysis/ComposeEdgeFunction.h
@@ -34,4 +34,4 @@ class ComposeEdgeFunction : public EdgeFunctionBase {
 };
 } // namespace psr::XTaint
 
-#endif // PHASAR_PHASARLLVM_IFDSIDE_PROBLEMS_EXTENDEDTAINTANALYSIS_COMPOSEEDGEFUNCTION_H_
+#endif // PHASAR_PHASARLLVM_IFDSIDE_PROBLEMS_EXTENDEDTAINTANALYSIS_COMPOSEEDGEFUNCTION_H_
diff --git a/include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/ExtendedTaintAnalysis/DebugEdgeIdentity.h b/include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/ExtendedTaintAnalysis/DebugEdgeIdentity.h
@@ -39,4 +39,4 @@ class DebugEdgeIdentity
 };
 } // namespace psr::XTaint
 
-#endif // PHASAR_PHASARLLVM_IFDSIDE_PROBLEMS_EXTENDEDTAINTANALYSIS_DEBUGEDGEIDENTITY_H_
+#endif // PHASAR_PHASARLLVM_IFDSIDE_PROBLEMS_EXTENDEDTAINTANALYSIS_DEBUGEDGEIDENTITY_H_
diff --git a/include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/ExtendedTaintAnalysis/EdgeDomain.h b/include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/ExtendedTaintAnalysis/EdgeDomain.h
@@ -95,4 +95,4 @@ class EdgeDomain final {
 };
 } // namespace psr::XTaint
 
-#endif // PHASAR_PHASARLLVM_IFDSIDE_PROBLEMS_EXTENDEDTAINTANALYSIS_EDGEDOMAIN_H_
+#endif // PHASAR_PHASARLLVM_IFDSIDE_PROBLEMS_EXTENDEDTAINTANALYSIS_EDGEDOMAIN_H_
diff --git a/include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/ExtendedTaintAnalysis/GenEdgeFunction.h b/include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/ExtendedTaintAnalysis/GenEdgeFunction.h
@@ -43,4 +43,4 @@ class GenEdgeFunction : public EdgeFunctionBase {
 };
 } // namespace psr::XTaint
 
-#endif // PHASAR_PHASARLLVM_IFDSIDE_PROBLEMS_EXTENDEDTAINTANALYSIS_GENEDGEFUNCTION_H_
+#endif // PHASAR_PHASARLLVM_IFDSIDE_PROBLEMS_EXTENDEDTAINTANALYSIS_GENEDGEFUNCTION_H_
diff --git a/include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/ExtendedTaintAnalysis/Helpers.h b/include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/ExtendedTaintAnalysis/Helpers.h
@@ -64,4 +64,4 @@ inline std::shared_ptr<EdgeFunctionTy> makeEF(Args &&...args) {
 
 } // namespace psr::XTaint
 
-#endif // PHASAR_PHASARLLVM_IFDSIDE_PROBLEMS_EXTENDEDTAINTANALYSIS_HELPERS_H_
+#endif // PHASAR_PHASARLLVM_IFDSIDE_PROBLEMS_EXTENDEDTAINTANALYSIS_HELPERS_H_
diff --git a/include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/ExtendedTaintAnalysis/JoinConstEdgeFunction.h b/include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/ExtendedTaintAnalysis/JoinConstEdgeFunction.h
@@ -41,4 +41,4 @@ class JoinConstEdgeFunction : public EdgeFunctionBase {
 };
 } // namespace psr::XTaint
 
-#endif // PHASAR_PHASARLLVM_IFDSIDE_PROBLEMS_EXTENDEDTAINTANALYSIS_JOINCONSTEDGEFUNCTION_H_
+#endif // PHASAR_PHASARLLVM_IFDSIDE_PROBLEMS_EXTENDEDTAINTANALYSIS_JOINCONSTEDGEFUNCTION_H_
diff --git a/include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/ExtendedTaintAnalysis/JoinEdgeFunction.h b/include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/ExtendedTaintAnalysis/JoinEdgeFunction.h
@@ -93,4 +93,4 @@ class JoinEdgeFunction : public EdgeFunctionBase {
 };
 } // namespace psr::XTaint
 
-#endif // PHASAR_PHASARLLVM_IFDSIDE_PROBLEMS_EXTENDEDTAINTANALYSIS_JOINEDGEFUNCTION_H_
+#endif // PHASAR_PHASARLLVM_IFDSIDE_PROBLEMS_EXTENDEDTAINTANALYSIS_JOINEDGEFUNCTION_H_
diff --git a/include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/ExtendedTaintAnalysis/KillIfSanitizedEdgeFunction.h b/include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/ExtendedTaintAnalysis/KillIfSanitizedEdgeFunction.h
@@ -45,4 +45,4 @@ makeKillIfSanitizedEdgeFunction(BasicBlockOrdering &BBO,
 
 } // namespace psr::XTaint
 
-#endif // PHASAR_PHASARLLVM_IFDSIDE_PROBLEMS_EXTENDEDTAINTANALYSIS_KILLIFSANITIZEDEDGEFUNCTION_H_
+#endif // PHASAR_PHASARLLVM_IFDSIDE_PROBLEMS_EXTENDEDTAINTANALYSIS_KILLIFSANITIZEDEDGEFUNCTION_H_
diff --git a/include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/ExtendedTaintAnalysis/TransferEdgeFunction.h b/include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/ExtendedTaintAnalysis/TransferEdgeFunction.h
@@ -31,4 +31,4 @@ class TransferEdgeFunction : public EdgeFunctionBase {
 };
 } // namespace psr::XTaint
 
-#endif // PHASAR_PHASARLLVM_IFDSIDE_PROBLEMS_EXTENDEDTAINTANALYSIS_TRANSFEREDGEFUNCTION_H_
+#endif // PHASAR_PHASARLLVM_IFDSIDE_PROBLEMS_EXTENDEDTAINTANALYSIS_TRANSFEREDGEFUNCTION_H_
diff --git a/include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/ExtendedTaintAnalysis/XTaintAnalysisBase.h b/include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/ExtendedTaintAnalysis/XTaintAnalysisBase.h
@@ -54,4 +54,4 @@ class AnalysisBase {
 };
 } // namespace psr::XTaint
 
-#endif // PHASAR_PHASARLLVM_IFDSIDE_PROBLEMS_EXTENDEDTAINTANALYSIS_XTAINTANALYSISBASE_H_
+#endif // PHASAR_PHASARLLVM_IFDSIDE_PROBLEMS_EXTENDEDTAINTANALYSIS_XTAINTANALYSISBASE_H_
diff --git a/include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/ExtendedTaintAnalysis/XTaintEdgeFunctionBase.h b/include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/ExtendedTaintAnalysis/XTaintEdgeFunctionBase.h
@@ -48,4 +48,4 @@ class EdgeFunctionBase : public EdgeFunction<EdgeDomain>,
   virtual llvm::hash_code getHashCode() const = 0;
 };
 } // namespace psr::XTaint
-#endif // PHASAR_PHASARLLVM_IFDSIDE_PROBLEMS_EXTENDEDTAINTANALYSIS_XTAINTEDGEFUNCTIONBASE_H_
+#endif // PHASAR_PHASARLLVM_IFDSIDE_PROBLEMS_EXTENDEDTAINTANALYSIS_XTAINTEDGEFUNCTIONBASE_H_
diff --git a/include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/IDEExtendedTaintAnalysis.h b/include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/IDEExtendedTaintAnalysis.h
@@ -22,9 +22,11 @@
 
 #include "llvm/ADT/STLExtras.h"
 #include "llvm/ADT/SmallBitVector.h"
+#include "llvm/IR/GlobalVariable.h"
 #include "llvm/IR/InstIterator.h"
 #include "llvm/IR/IntrinsicInst.h"
 #include "llvm/IR/Value.h"
+#include "llvm/Support/Casting.h"
 
 #include "phasar/PhasarLLVM/DataFlowSolver/IfdsIde/FlowFunctions.h"
 #include "phasar/PhasarLLVM/DataFlowSolver/IfdsIde/IDETabulationProblem.h"
@@ -135,11 +137,21 @@ class IDEExtendedTaintAnalysis
     if (!HasPrecisePointsToInfo) {
       auto OfFF = makeFlowFact(Of);
       for (const auto *Alias : *PTS) {
+        if (const auto *AliasGlob = llvm::dyn_cast<llvm::GlobalVariable>(Alias);
+            AliasGlob && AliasGlob->isConstant()) {
+          // Assume, data can never flow into the constant data section
+          // Note: If a global constant is marked as source, it keeps being
+          // propagated. We never assume, that the Of value is part of its
+          // alias-set
+          continue;
+        }
+
         auto AliasFF = makeFlowFact(Alias);
 
         if (AliasFF->base() == OfFF->base() && AliasFF != OfFF) {
           continue;
         }
+
         std::invoke(CB, Alias);
       }
     } else {
@@ -342,4 +354,4 @@ class IDEExtendedTaintAnalysis : public XTaint::IDEExtendedTaintAnalysis {
 
 } // namespace psr
 
-#endif // PHASAR_PHASARLLVM_IFDSIDE_PROBLEMS_IDEEXTENDEDTAINTANALYSIS_H_
+#endif // PHASAR_PHASARLLVM_IFDSIDE_PROBLEMS_IDEEXTENDEDTAINTANALYSIS_H_
diff --git a/include/phasar/Utils/DebugOutput.h b/include/phasar/Utils/DebugOutput.h
@@ -56,33 +56,34 @@ template <typename OS_t, typename T> void printHelper(OS_t &OS, const T &Data) {
       Data->print(SOS);
       OS << SOS.str();
     }
-  } else if constexpr (is_llvm_printable<ElemTy>::value) {
+  } else if constexpr (is_printable_v<ElemTy, OS_t>) {
     OS << Data;
-  } else if constexpr (is_pair<ElemTy>::value) {
+  } else if constexpr (is_pair_v<ElemTy>) {
     OS << "(";
     printHelper(OS, Data.first);
     OS << ", ";
     printHelper(OS, Data.second);
     OS << ")";
-  } else if constexpr (is_tuple<ElemTy>::value) {
+  } else if constexpr (is_tuple_v<ElemTy>) {
     printTuple(OS, Data, std::make_index_sequence<std::tuple_size_v<ElemTy>>());
-  } else if constexpr (is_iterable<ElemTy>::value) {
+  } else if constexpr (has_str_v<ElemTy>) {
+    OS << Data.str();
+  } else if constexpr (is_iterable_v<ElemTy>) {
     OS << "{ ";
-    bool frst = true;
+    bool Frst = true;
     size_t Cnt = 0;
     for (auto &&Elem : Data) {
       ++Cnt;
-      if (frst)
-        frst = false;
-      else
+      if (Frst) {
+        Frst = false;
+      } else {
         OS << ", ";
+      }
 
       printHelper(OS, Elem);
     }
 
-    OS << (frst ? "}" : " }");
-  } else if constexpr (has_str<ElemTy>::value) {
-    OS << Data.str();
+    OS << (Frst ? "}" : " }");
   } else {
     static_assert(!std::is_same_v<std::decay_t<T>, ElemTy>,
                   "Cannot print elements of the specified type");
diff --git a/lib/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/ExtendedTaintAnalysis/AbstractMemoryLocation.cpp b/lib/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/ExtendedTaintAnalysis/AbstractMemoryLocation.cpp
@@ -217,4 +217,4 @@ llvm::hash_code hash_value(psr::AbstractMemoryLocation Val) {
       Val->base(), Val->lifetime() == 0,
       llvm::hash_combine_range(Val->offsets().begin(), Val->offsets().end()));
 }
-} // namespace psr
+} // namespace psr
diff --git a/lib/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/ExtendedTaintAnalysis/AbstractMemoryLocationFactory.cpp b/lib/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/ExtendedTaintAnalysis/AbstractMemoryLocationFactory.cpp
@@ -461,4 +461,4 @@ AbstractMemoryLocationFactoryBase::withTransferFromImpl(
 
   return Ret;
 }
-} // namespace psr::detail
+} // namespace psr::detail
diff --git a/lib/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/ExtendedTaintAnalysis/ComposeEdgeFunction.cpp b/lib/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/ExtendedTaintAnalysis/ComposeEdgeFunction.cpp
@@ -43,4 +43,4 @@ void ComposeEdgeFunction::print(std::ostream &OS,
                                 [[maybe_unused]] bool IsForDebug) const {
   OS << "COMP[" << this << "| " << F->str() << " , " << G->str() << " ]";
 }
-} // namespace psr::XTaint
+} // namespace psr::XTaint
diff --git a/lib/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/ExtendedTaintAnalysis/DebugEdgeIdentity.cpp b/lib/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/ExtendedTaintAnalysis/DebugEdgeIdentity.cpp
@@ -56,4 +56,4 @@ void DebugEdgeIdentity::print(std::ostream &OS,
                               [[maybe_unused]] bool IsForDebug) const {
   OS << "EdgeId[" << llvmIRToShortString(Inst) << "]";
 }
-} // namespace psr::XTaint
+} // namespace psr::XTaint
diff --git a/lib/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/ExtendedTaintAnalysis/EdgeDomain.cpp b/lib/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/ExtendedTaintAnalysis/EdgeDomain.cpp
@@ -125,4 +125,4 @@ EdgeDomain EdgeDomain::join(const EdgeDomain &Other,
   return nullptr;
 }
 
-} // namespace psr::XTaint
+} // namespace psr::XTaint
diff --git a/lib/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/ExtendedTaintAnalysis/GenEdgeFunction.cpp b/lib/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/ExtendedTaintAnalysis/GenEdgeFunction.cpp
@@ -130,4 +130,4 @@ void GenEdgeFunction::print(std::ostream &OS,
   OS << "GenEF[" << (Sani ? llvmIRToString(Sani) : "null") << "]";
 }
 
-} // namespace psr::XTaint
+} // namespace psr::XTaint
diff --git a/lib/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/ExtendedTaintAnalysis/Helpers.cpp b/lib/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/ExtendedTaintAnalysis/Helpers.cpp
@@ -122,4 +122,4 @@ EdgeFunction<EdgeDomain>::EdgeFunctionPtrType getAllSanitized() {
   static AllSanitized::EdgeFunctionPtrType SaniEF = makeEF<AllSanitized>();
   return SaniEF;
 }
-} // namespace psr::XTaint
+} // namespace psr::XTaint
diff --git a/lib/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/ExtendedTaintAnalysis/JoinConstEdgeFunction.cpp b/lib/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/ExtendedTaintAnalysis/JoinConstEdgeFunction.cpp
@@ -79,4 +79,4 @@ void JoinConstEdgeFunction::print(std::ostream &OS,
      << llvmIRToShortString(OtherConst) << " ]";
 }
 
-} // namespace psr::XTaint
+} // namespace psr::XTaint
diff --git a/lib/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/ExtendedTaintAnalysis/JoinEdgeFunction.cpp b/lib/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/ExtendedTaintAnalysis/JoinEdgeFunction.cpp
@@ -176,4 +176,4 @@ void JoinEdgeFunction::print(std::ostream &OS, bool IsForDebug) const {
   OS << "]";
 }
 
-} // namespace psr::XTaint
+} // namespace psr::XTaint
diff --git a/lib/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/ExtendedTaintAnalysis/TransferEdgeFunction.cpp b/lib/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/ExtendedTaintAnalysis/TransferEdgeFunction.cpp
@@ -51,4 +51,4 @@ void TransferEdgeFunction::print(std::ostream &OS,
                                  [[maybe_unused]] bool IsForDebug) const {
   OS << "Transfer[To: " << llvmIRToShortString(To) << "]";
 }
-} // namespace psr::XTaint
+} // namespace psr::XTaint
diff --git a/lib/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/ExtendedTaintAnalysis/XTaintAnalysisBase.cpp b/lib/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/ExtendedTaintAnalysis/XTaintAnalysisBase.cpp
@@ -65,4 +65,4 @@ bool AnalysisBase::isSink(const llvm::Value *SinkCandidate,
 
   return false;
 }
-} // namespace psr::XTaint
+} // namespace psr::XTaint
diff --git a/lib/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/ExtendedTaintAnalysis/XTaintEdgeFunctionBase.cpp b/lib/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/ExtendedTaintAnalysis/XTaintEdgeFunctionBase.cpp
@@ -68,4 +68,4 @@ EdgeFunctionBase::joinWith(EdgeFunctionPtrType OtherFunction) {
 
   return JoinEdgeFunction::create(BBO, shared_from_this(), OtherFunction);
 }
-} // namespace psr::XTaint
+} // namespace psr::XTaint
diff --git a/lib/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/IDEExtendedTaintAnalysis.cpp b/lib/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/IDEExtendedTaintAnalysis.cpp
@@ -35,21 +35,6 @@
 
 namespace psr::XTaint {
 
-// IDEExtendedTaintAnalysis::IDEExtendedTaintAnalysis(
-//     const ProjectIRDB *IRDB, const LLVMTypeHierarchy *TH,
-//     const LLVMBasedICFG *ICF, LLVMPointsToInfo *PT, const TaintConfig *TSF,
-//     std::set<std::string> EntryPoints, unsigned Bound,
-//     bool DisableStrongUpdates)
-//     : base_t(IRDB, TH, ICF, PT, std::move(EntryPoints)), AnalysisBase(TSF),
-//       FactFactory(IRDB->getNumInstructions()),
-//       DL((*IRDB->getAllModules().begin())->getDataLayout()), Bound(Bound),
-//       PostProcessed(DisableStrongUpdates),
-//       DisableStrongUpdates(DisableStrongUpdates) {
-//   base_t::ZeroValue = createZeroValue();
-
-//   FactFactory.setDataLayout(DL);
-// }
-
 InitialSeeds<IDEExtendedTaintAnalysis::n_t, IDEExtendedTaintAnalysis::d_t,
              IDEExtendedTaintAnalysis::l_t>
 IDEExtendedTaintAnalysis::initialSeeds() {

Original file line number	Diff line number	Diff line change
`@@ -242,4 +242,4 @@ template <> struct hash<psr::AbstractMemoryLocation> {`
`242`	`242`
`243`	`243`	`} // namespace std`
`244`	`244`
`245`		`-#endif // PHASAR_PHASARLLVM_IFDSIDE_PROBLEMS_EXTENDEDTAINTANALYSIS_ABSTRACTMEMORYLOCATION_H_`
	`245`	`+#endif // PHASAR_PHASARLLVM_IFDSIDE_PROBLEMS_EXTENDEDTAINTANALYSIS_ABSTRACTMEMORYLOCATION_H_`
Original file line number	Diff line number	Diff line change
`@@ -208,4 +208,4 @@ class AbstractMemoryLocationFactory<AbstractMemoryLocation>`
`208`	`208`
`209`	`209`	`} // namespace psr`
`210`	`210`
`211`		`-#endif // PHASAR_PHASARLLVM_IFDSIDE_PROBLEMS_EXTENDEDTAINTANALYSIS_ABSTRACTMEMORYLOCATIONFACTORY_H_`
	`211`	`+#endif // PHASAR_PHASARLLVM_IFDSIDE_PROBLEMS_EXTENDEDTAINTANALYSIS_ABSTRACTMEMORYLOCATIONFACTORY_H_`
Original file line number	Diff line number	Diff line change
`@@ -64,4 +64,4 @@ inline std::shared_ptr<EdgeFunctionTy> makeEF(Args &&...args) {`
`64`	`64`
`65`	`65`	`} // namespace psr::XTaint`
`66`	`66`
`67`		`-#endif // PHASAR_PHASARLLVM_IFDSIDE_PROBLEMS_EXTENDEDTAINTANALYSIS_HELPERS_H_`
	`67`	`+#endif // PHASAR_PHASARLLVM_IFDSIDE_PROBLEMS_EXTENDEDTAINTANALYSIS_HELPERS_H_`
Original file line number	Diff line number	Diff line change
`@@ -45,4 +45,4 @@ makeKillIfSanitizedEdgeFunction(BasicBlockOrdering &BBO,`
`45`	`45`
`46`	`46`	`} // namespace psr::XTaint`
`47`	`47`
`48`		`-#endif // PHASAR_PHASARLLVM_IFDSIDE_PROBLEMS_EXTENDEDTAINTANALYSIS_KILLIFSANITIZEDEDGEFUNCTION_H_`
	`48`	`+#endif // PHASAR_PHASARLLVM_IFDSIDE_PROBLEMS_EXTENDEDTAINTANALYSIS_KILLIFSANITIZEDEDGEFUNCTION_H_`