Merge pull request #588 from secure-software-engineering/f-lca_swift_tests

F lca swift tests

Author: janniclas

include/phasar/PhasarLLVM/Utils/LLVMShorthands.h

@@ -48,6 +48,14 @@ class LLVMProjectIRDB;
  */
 bool isFunctionPointer(const llvm::Value *V) noexcept;
 
+/**
+ * @brief Checks if the given LLVM Type is a integer like struct.
+ * @param V LLVM Type.
+ * @return True, if given LLVM Type is a struct like this %TSi = type <{ i64 }>.
+ * False, otherwise.
+ */
+bool isIntegerLikeType(const llvm::Type *T) noexcept;
+
 /**
  * @brief Checks if the given LLVM Value is either a alloca instruction or a
  * heap allocation function, e.g. new, new[], malloc, realloc or calloc.

lib/PhasarLLVM/DataFlow/IfdsIde/Problems/IDELinearConstantAnalysis.cpp

@@ -287,10 +287,12 @@ IDELinearConstantAnalysis::~IDELinearConstantAnalysis() {
 IDELinearConstantAnalysis::FlowFunctionPtrType
 IDELinearConstantAnalysis::getNormalFlowFunction(n_t Curr, n_t /*Succ*/) {
   if (const auto *Alloca = llvm::dyn_cast<llvm::AllocaInst>(Curr)) {
-    if (Alloca->getAllocatedType()->isIntegerTy()) {
+    auto *AT = Alloca->getAllocatedType();
+    if (AT->isIntegerTy() || isIntegerLikeType(AT)) {
       return generateFromZero(Alloca);
     }
   }
+
   // Check store instructions. Store instructions override previous value
   // of their pointer operand, i.e., kills previous fact (= pointer operand).
   if (const auto *Store = llvm::dyn_cast<llvm::StoreInst>(Curr)) {
@@ -487,7 +489,8 @@ IDELinearConstantAnalysis::getNormalEdgeFunction(n_t Curr, d_t CurrNode,
   if (const auto *Store = llvm::dyn_cast<llvm::StoreInst>(Curr)) {
     d_t PointerOperand = Store->getPointerOperand();
     d_t ValueOperand = Store->getValueOperand();
-    if (PointerOperand == SuccNode) {
+    if (PointerOperand == SuccNode ||
+        PointerOperand->stripPointerCasts() == SuccNode) {
       // Case I: Storing a constant integer.
       if (isZeroValue(CurrNode) && llvm::isa<llvm::ConstantInt>(ValueOperand)) {
         PHASAR_LOG_LEVEL(DEBUG, "Case: Storing constant integer.");

lib/PhasarLLVM/Utils/LLVMShorthands.cpp

@@ -64,6 +64,14 @@ bool isFunctionPointer(const llvm::Value *V) noexcept {
   return false;
 }
 
+bool isIntegerLikeType(const llvm::Type *T) noexcept {
+  if (const auto *StructType = llvm::dyn_cast<llvm::StructType>(T)) {
+    return StructType->isPacked() && StructType->elements().size() == 1 &&
+           StructType->getElementType(0)->isIntegerTy();
+  }
+  return false;
+}
+
 bool isAllocaInstOrHeapAllocaFunction(const llvm::Value *V) noexcept {
   if (V) {
     if (llvm::isa<llvm::AllocaInst>(V)) {

test/llvm_swift_test_code/linear_constant/basic_01.swift

@@ -0,0 +1,6 @@
+@main
+struct MyMain {
+    static func main() {
+        var i = 13
+    }
+}

test/llvm_swift_test_code/linear_constant/basic_02.swift

@@ -0,0 +1,7 @@
+@main
+struct MyMain {
+    static func main() {
+        var i = 13
+        i = 17
+    }
+}

test/llvm_swift_test_code/linear_constant/basic_03.swift

@@ -0,0 +1,8 @@
+@main
+struct MyMain {
+    static func main() {
+        var i = 10
+        var j = 14
+        i = j
+    }
+}

test/llvm_swift_test_code/linear_constant/basic_04.swift

@@ -0,0 +1,13 @@
+@main
+struct MyMain {
+    static func main() {
+        var _ = addWrapper(14)
+    }
+
+    static func addWrapper(_ x: Int) -> Int {
+        var i = x
+        var j = 20
+        var k = i + j
+        return k
+    }
+}

test/llvm_swift_test_code/linear_constant/basic_05.swift

@@ -0,0 +1,12 @@
+@main
+struct MyMain {
+    static func main() {
+        var _ = wrapper(3)
+    }
+
+    static func wrapper(_ x: Int) -> Int {
+        var i = x
+        var j = 4 * i + 2
+        return j
+    }
+}

test/llvm_swift_test_code/linear_constant/basic_06.swift

@@ -0,0 +1,12 @@
+@main
+struct MyMain {
+    static func main() {
+        var _ = wrapper(4)
+    }
+
+    static func wrapper(_ x: Int) -> Int {
+        var i = x
+        i += 3 * 4
+        return i
+    }
+}

test/llvm_swift_test_code/linear_constant/basic_07.swift

@@ -0,0 +1,13 @@
+@main
+struct MyMain {
+    static func main() {
+        var _ = wrapper(4)
+    }
+
+    static func wrapper(_ x: Int) -> Int {
+        var i = x
+        var j = 3
+        i += j * 4
+        return i
+    }
+}