add target subjects

Author: pdschubert

lib/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/IDEInstInteractionAnalysis.cpp

@@ -0,0 +1,89 @@
+/******************************************************************************
+ * Copyright (c) 2019 Philipp Schubert, Richard Leer, and Florian Sattler.
+ * All rights reserved. This program and the accompanying materials are made
+ * available under the terms of LICENSE.txt.
+ *
+ * Contributors:
+ *     Philipp Schubert and others
+ *****************************************************************************/
+
+#include "phasar/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/IDEInstInteractionAnalysis.h"
+
+#include "llvm/IR/Instructions.h"
+#include "llvm/IR/Value.h"
+#include "llvm/Support/Casting.h"
+#include "llvm/Support/ErrorHandling.h"
+
+#include <memory>
+#include <tuple>
+
+using namespace psr;
+
+IDEIIAFlowFact::IDEIIAFlowFact(const llvm::Value *BaseVal) : Base(BaseVal) {}
+
+IDEIIAFlowFact::IDEIIAFlowFact(
+    const llvm::Value *BaseVal,
+    llvm::SmallVector<const llvm::GetElementPtrInst *, Depth> FieldDesc)
+    : Base(BaseVal), Field(std::move(FieldDesc)) {}
+
+IDEIIAFlowFact IDEIIAFlowFact::create(const llvm::Value *BaseVal) {
+  if (const auto *Alloca = llvm::dyn_cast<llvm::AllocaInst>(BaseVal)) {
+    return {BaseVal};
+  }
+  if (const auto *Gep = llvm::dyn_cast<llvm::GetElementPtrInst>(BaseVal)) {
+    llvm::SmallVector<const llvm::GetElementPtrInst *, Depth> Field;
+    Field.push_back(Gep);
+    const llvm::Value *Base = Gep->getPointerOperand();
+    while (const auto *NextGep = llvm::dyn_cast<llvm::GetElementPtrInst>(Base)
+                                     ->getPointerOperand()) {
+      Field.push_back(NextGep);
+      Base = NextGep;
+    }
+    return {Base, Field};
+  }
+  llvm::report_fatal_error("Unexpected instruction!");
+}
+
+bool IDEIIAFlowFact::flowFactEqual(const IDEIIAFlowFact &Other) const {
+  return false;
+}
+
+void IDEIIAFlowFact::print(llvm::raw_ostream &OS, bool IsForDebug) const {
+  OS << "IDEIIAFlowFact { " << *Base;
+  if (Field.empty()) {
+    OS << " }";
+  } else {
+    OS << ", [";
+    for (const auto *Gep : Field) {
+      OS << *Gep;
+      if (Gep != Field.back()) {
+        OS << ", ";
+      }
+    }
+    OS << "] }";
+  }
+}
+
+bool IDEIIAFlowFact::operator==(const IDEIIAFlowFact &Other) const {
+  if (Base != Other.Base) {
+    return false;
+  }
+  for (unsigned Idx = 0; Idx < Field.size(); ++Idx) {
+    if (Field[Idx] != Other.Field[Idx]) {
+      return false;
+    }
+  }
+  return true;
+}
+
+bool IDEIIAFlowFact::operator!=(const IDEIIAFlowFact &Other) const {
+  return !(*this == Other);
+}
+
+bool IDEIIAFlowFact::operator<(const IDEIIAFlowFact &Other) const {
+  return std::tie(Base, Field) < std::tie(Other.Base, Other.Field);
+}
+
+bool IDEIIAFlowFact::operator==(const llvm::Value *V) const {
+  return Base == V;
+}

test/llvm_test_code/inst_interaction/array_01.cpp

@@ -0,0 +1,11 @@
+int main() {
+  int i = 13;
+  int j = 42;
+  int buffer[16] = {0};
+  buffer[0] = i;
+  buffer[10] = j;
+  int x = buffer[0];
+  int y = buffer[10];
+  int z = buffer[1];
+  return 0;
+}

test/llvm_test_code/inst_interaction/array_02.cpp

@@ -0,0 +1,6 @@
+int main() {
+  int buffer[10][10];
+  buffer[0][0] = 1;
+  int i = buffer[0][0];
+  return i;
+}

test/llvm_test_code/inst_interaction/struct_02.cpp

@@ -0,0 +1,18 @@
+
+struct X {
+  int i;
+};
+
+struct Y {
+  X x;
+  int j;
+};
+
+int main() {
+  Y b;
+  b.x.i = 1000;
+  b.j = 2000;
+  int k = b.x.i;
+  int l = b.j;
+  return 0;
+}

unittests/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/IDEInstInteractionAnalysisTest.cpp

@@ -208,6 +208,26 @@ class IDEInstInteractionAnalysisTest : public ::testing::Test {
 // }
 
 /* ============== BASIC TESTS ============== */
+TEST_F(IDEInstInteractionAnalysisTest, HandleArrayFieldSensTest_01) {
+  std::set<IIACompactResult_t> GroundTruth;
+  doAnalysisAndCompareResults("array_01_cpp.ll", GroundTruth, true);
+}
+
+TEST_F(IDEInstInteractionAnalysisTest, HandleArrayFieldSensTest_02) {
+  std::set<IIACompactResult_t> GroundTruth;
+  doAnalysisAndCompareResults("array_02_cpp.ll", GroundTruth, true);
+}
+
+TEST_F(IDEInstInteractionAnalysisTest, HandleStructFieldSensTest_01) {
+  std::set<IIACompactResult_t> GroundTruth;
+  doAnalysisAndCompareResults("struct_01_cpp.ll", GroundTruth, true);
+}
+
+TEST_F(IDEInstInteractionAnalysisTest, HandleStructFieldSensTest_02) {
+  std::set<IIACompactResult_t> GroundTruth;
+  doAnalysisAndCompareResults("struct_02_cpp.ll", GroundTruth, true);
+}
+
 TEST_F(IDEInstInteractionAnalysisTest, HandleBasicTest_01) {
   std::set<IIACompactResult_t> GroundTruth;
   GroundTruth.emplace(