From 9226f3b2d25c1bf5e78d906ff0c367ef4d941f38 Mon Sep 17 00:00:00 2001 From: l-kent Date: Mon, 16 Sep 2024 12:44:20 +1000 Subject: [PATCH] remove unused dotExpected files --- src/test/analysis/dotExpected/arrays | 48 ------------------- .../analysis/dotExpected/basic_arrays_read | 8 ---- .../analysis/dotExpected/basic_arrays_write | 10 ---- src/test/analysis/dotExpected/basicfree | 24 ---------- src/test/analysis/dotExpected/ifglobal | 15 ------ src/test/analysis/dotExpected/iflocal | 13 ----- src/test/analysis/dotExpected/secret_write | 29 ----------- 7 files changed, 147 deletions(-) delete mode 100644 src/test/analysis/dotExpected/arrays delete mode 100644 src/test/analysis/dotExpected/basic_arrays_read delete mode 100644 src/test/analysis/dotExpected/basic_arrays_write delete mode 100644 src/test/analysis/dotExpected/basicfree delete mode 100644 src/test/analysis/dotExpected/ifglobal delete mode 100644 src/test/analysis/dotExpected/iflocal delete mode 100644 src/test/analysis/dotExpected/secret_write diff --git a/src/test/analysis/dotExpected/arrays b/src/test/analysis/dotExpected/arrays deleted file mode 100644 index 5daeeb99b..000000000 --- a/src/test/analysis/dotExpected/arrays +++ /dev/null @@ -1,48 +0,0 @@ -[Stmt] Variable(R1, bv64) := ZeroExtend(32, Variable(R0, bv64)[32:0]) -> Set(Stack(stack_1, 56bv64), Stack(stack_2, 28bv64), Stack(stack_3, 32bv64), ArrayAccess(stack_3, (bvor64(bvlshr64(Variable(R0, bv64), ZeroExtend(57, 62bv7)), bvshl64(Variable(R0, bv64), ZeroExtend(61, 2bv3)))[64:2] ++ 0bv2))) -[Stmt] Variable(#6, bv64) := bvadd64(Variable(R31, bv64), 18446744073709551552bv64) -> Set() -[Stmt] Variable(R0, bv64) := (bvor64(bvlshr64(Variable(R0, bv64), ZeroExtend(57, 62bv7)), bvshl64(Variable(R0, bv64), ZeroExtend(61, 2bv3)))[64:2] ++ 0bv2) -> Set(Stack(stack_1, 56bv64), Stack(stack_2, 28bv64), Stack(stack_3, 32bv64), ArrayAccess(stack_3, (bvor64(bvlshr64(Variable(R0, bv64), ZeroExtend(57, 62bv7)), bvshl64(Variable(R0, bv64), ZeroExtend(61, 2bv3)))[64:2] ++ 0bv2))) -[Stmt] Variable(R29, bv64) := Variable(R31, bv64) -> Set() -[Stmt] Variable(R1, bv64) := 0bv64 -> Set(Stack(stack_1, 56bv64)) -[FunctionExit] Procedure main at 2012 with 6 blocks and 5 in and 5 out parameters -> Set(Stack(stack_1, 56bv64), Stack(stack_2, 28bv64), Stack(stack_3, 32bv64), ArrayAccess(stack_3, (bvor64(bvlshr64(Variable(R0, bv64), ZeroExtend(57, 62bv7)), bvshl64(Variable(R0, bv64), ZeroExtend(61, 2bv3)))[64:2] ++ 0bv2))) -[Stmt] Variable(R3, bv64) := 0bv64 -> Set(Stack(stack_1, 56bv64), Stack(stack_2, 28bv64), Stack(stack_3, 32bv64), ArrayAccess(stack_3, (bvor64(bvlshr64(Variable(R0, bv64), ZeroExtend(57, 62bv7)), bvshl64(Variable(R0, bv64), ZeroExtend(61, 2bv3)))[64:2] ++ 0bv2))) -[Stmt] Variable(R1, bv64) := MemoryLoad(Memory(mem, 64, 8), Variable(R0, bv64), LittleEndian, 64) -> Set() -[Stmt] Memory(mem, 64, 8) := MemoryStore(Memory(mem, 64, 8), bvadd64(Variable(#6, bv64), 8bv64), Variable(R30, bv64), LittleEndian, 64) -> Set() -[Stmt] Variable(R3, bv64) := MemoryLoad(Memory(mem, 64, 8), Variable(R0, bv64), LittleEndian, 64) -> Set(Stack(stack_1, 56bv64), Stack(stack_2, 28bv64), Stack(stack_3, 32bv64), ArrayAccess(stack_3, (bvor64(bvlshr64(Variable(R0, bv64), ZeroExtend(57, 62bv7)), bvshl64(Variable(R0, bv64), ZeroExtend(61, 2bv3)))[64:2] ++ 0bv2))) -[Stmt] Variable(R1, bv64) := bvadd64(Variable(R31, bv64), 32bv64) -> Set(Stack(stack_1, 56bv64), Stack(stack_2, 28bv64), Stack(stack_3, 32bv64), ArrayAccess(stack_3, (bvor64(bvlshr64(Variable(R0, bv64), ZeroExtend(57, 62bv7)), bvshl64(Variable(R0, bv64), ZeroExtend(61, 2bv3)))[64:2] ++ 0bv2))) -[Stmt] Variable(R0, bv64) := 65536bv64 -> Set() -[Stmt] Variable(R0, bv64) := ZeroExtend(32, bvadd32(Variable(R0, bv64)[32:0], 1bv32)) -> Set(Stack(stack_1, 56bv64), Stack(stack_2, 28bv64), Stack(stack_3, 32bv64), ArrayAccess(stack_3, (bvor64(bvlshr64(Variable(R0, bv64), ZeroExtend(57, 62bv7)), bvshl64(Variable(R0, bv64), ZeroExtend(61, 2bv3)))[64:2] ++ 0bv2))) -[Stmt] Variable(R0, bv64) := MemoryLoad(Memory(mem, 64, 8), bvadd64(Variable(R0, bv64), 4048bv64), LittleEndian, 64) -> Set(Stack(stack_1, 56bv64), Stack(stack_2, 28bv64), Stack(stack_3, 32bv64), ArrayAccess(stack_3, (bvor64(bvlshr64(Variable(R0, bv64), ZeroExtend(57, 62bv7)), bvshl64(Variable(R0, bv64), ZeroExtend(61, 2bv3)))[64:2] ++ 0bv2))) -[Stmt] Memory(mem, 64, 8) := MemoryStore(Memory(mem, 64, 8), Variable(#6, bv64), Variable(R29, bv64), LittleEndian, 64) -> Set() -[Stmt] Variable(ZF, bv1) := bvcomp64(Variable(#9, bv64), 0bv64) -> Set(Stack(stack_1, 56bv64), Stack(stack_2, 28bv64), Stack(stack_3, 32bv64), ArrayAccess(stack_3, (bvor64(bvlshr64(Variable(R0, bv64), ZeroExtend(57, 62bv7)), bvshl64(Variable(R0, bv64), ZeroExtend(61, 2bv3)))[64:2] ++ 0bv2))) -[Stmt] Variable(#7, bv32) := bvadd32(Variable(R0, bv64)[32:0], 4294967292bv32) -> Set(Stack(stack_1, 56bv64), Stack(stack_2, 28bv64), Stack(stack_3, 32bv64), ArrayAccess(stack_3, (bvor64(bvlshr64(Variable(R0, bv64), ZeroExtend(57, 62bv7)), bvshl64(Variable(R0, bv64), ZeroExtend(61, 2bv3)))[64:2] ++ 0bv2))) -[Stmt] Variable(VF, bv1) := bvnot1(bvcomp33(SignExtend(1, Variable(#7, bv32)), bvadd33(SignExtend(1, Variable(R0, bv64)[32:0]), 8589934588bv33))) -> Set(Stack(stack_1, 56bv64), Stack(stack_2, 28bv64), Stack(stack_3, 32bv64), ArrayAccess(stack_3, (bvor64(bvlshr64(Variable(R0, bv64), ZeroExtend(57, 62bv7)), bvshl64(Variable(R0, bv64), ZeroExtend(61, 2bv3)))[64:2] ++ 0bv2))) -[Stmt] Variable(R29, bv64) := MemoryLoad(Memory(stack, 64, 8), Variable(R31, bv64), LittleEndian, 64) -> Set(Stack(stack_1, 56bv64), Stack(stack_2, 28bv64), Stack(stack_3, 32bv64), ArrayAccess(stack_3, (bvor64(bvlshr64(Variable(R0, bv64), ZeroExtend(57, 62bv7)), bvshl64(Variable(R0, bv64), ZeroExtend(61, 2bv3)))[64:2] ++ 0bv2))) -[Stmt] Variable(R0, bv64) := 0bv64 -> Set(Stack(stack_1, 56bv64), Stack(stack_2, 28bv64), Stack(stack_3, 32bv64), ArrayAccess(stack_3, (bvor64(bvlshr64(Variable(R0, bv64), ZeroExtend(57, 62bv7)), bvshl64(Variable(R0, bv64), ZeroExtend(61, 2bv3)))[64:2] ++ 0bv2))) -[Stmt] Variable(R30, bv64) := 2140bv64 -> Set(Stack(stack_1, 56bv64), Stack(stack_2, 28bv64), Stack(stack_3, 32bv64), ArrayAccess(stack_3, (bvor64(bvlshr64(Variable(R0, bv64), ZeroExtend(57, 62bv7)), bvshl64(Variable(R0, bv64), ZeroExtend(61, 2bv3)))[64:2] ++ 0bv2))) -[Stmt] Variable(R0, bv64) := ZeroExtend(32, MemoryLoad(Memory(stack, 64, 8), bvadd64(Variable(R31, bv64), 28bv64), LittleEndian, 32)) -> Set(Stack(stack_1, 56bv64), Stack(stack_2, 28bv64), Stack(stack_3, 32bv64), ArrayAccess(stack_3, (bvor64(bvlshr64(Variable(R0, bv64), ZeroExtend(57, 62bv7)), bvshl64(Variable(R0, bv64), ZeroExtend(61, 2bv3)))[64:2] ++ 0bv2))) -[Stmt] Variable(R2, bv64) := MemoryLoad(Memory(stack, 64, 8), bvadd64(Variable(R31, bv64), 56bv64), LittleEndian, 64) -> Set(Stack(stack_1, 56bv64), Stack(stack_2, 28bv64), Stack(stack_3, 32bv64), ArrayAccess(stack_3, (bvor64(bvlshr64(Variable(R0, bv64), ZeroExtend(57, 62bv7)), bvshl64(Variable(R0, bv64), ZeroExtend(61, 2bv3)))[64:2] ++ 0bv2))) -[Stmt] Variable(CF, bv1) := bvnot1(bvcomp33(ZeroExtend(1, Variable(#7, bv32)), bvadd33(ZeroExtend(1, Variable(R0, bv64)[32:0]), 4294967292bv33))) -> Set(Stack(stack_1, 56bv64), Stack(stack_2, 28bv64), Stack(stack_3, 32bv64), ArrayAccess(stack_3, (bvor64(bvlshr64(Variable(R0, bv64), ZeroExtend(57, 62bv7)), bvshl64(Variable(R0, bv64), ZeroExtend(61, 2bv3)))[64:2] ++ 0bv2))) -[Stmt] Memory(stack, 64, 8) := MemoryStore(Memory(stack, 64, 8), bvadd64(Variable(R31, bv64), 56bv64), Variable(R1, bv64), LittleEndian, 64) -> Set(Stack(stack_1, 56bv64)) -[Stmt] Variable(NF, bv1) := Variable(#9, bv64)[64:63] -> Set(Stack(stack_1, 56bv64), Stack(stack_2, 28bv64), Stack(stack_3, 32bv64), ArrayAccess(stack_3, (bvor64(bvlshr64(Variable(R0, bv64), ZeroExtend(57, 62bv7)), bvshl64(Variable(R0, bv64), ZeroExtend(61, 2bv3)))[64:2] ++ 0bv2))) -[Stmt] Variable(R30, bv64) := MemoryLoad(Memory(stack, 64, 8), bvadd64(Variable(R31, bv64), 8bv64), LittleEndian, 64) -> Set(Stack(stack_1, 56bv64), Stack(stack_2, 28bv64), Stack(stack_3, 32bv64), ArrayAccess(stack_3, (bvor64(bvlshr64(Variable(R0, bv64), ZeroExtend(57, 62bv7)), bvshl64(Variable(R0, bv64), ZeroExtend(61, 2bv3)))[64:2] ++ 0bv2))) -[Stmt] Variable(R2, bv64) := Variable(#9, bv64) -> Set(Stack(stack_1, 56bv64), Stack(stack_2, 28bv64), Stack(stack_3, 32bv64), ArrayAccess(stack_3, (bvor64(bvlshr64(Variable(R0, bv64), ZeroExtend(57, 62bv7)), bvshl64(Variable(R0, bv64), ZeroExtend(61, 2bv3)))[64:2] ++ 0bv2))) -[Stmt] Variable(#9, bv64) := bvadd64(bvadd64(Variable(R2, bv64), bvnot64(Variable(R3, bv64))), 1bv64) -> Set(Stack(stack_1, 56bv64), Stack(stack_2, 28bv64), Stack(stack_3, 32bv64), ArrayAccess(stack_3, (bvor64(bvlshr64(Variable(R0, bv64), ZeroExtend(57, 62bv7)), bvshl64(Variable(R0, bv64), ZeroExtend(61, 2bv3)))[64:2] ++ 0bv2))) -[Stmt] Variable(R0, bv64) := ZeroExtend(32, Variable(R1, bv64)[32:0]) -> Set(Stack(stack_1, 56bv64), Stack(stack_2, 28bv64), Stack(stack_3, 32bv64), ArrayAccess(stack_3, (bvor64(bvlshr64(Variable(R0, bv64), ZeroExtend(57, 62bv7)), bvshl64(Variable(R0, bv64), ZeroExtend(61, 2bv3)))[64:2] ++ 0bv2))) -[Stmt] Variable(R0, bv64) := MemoryLoad(Memory(mem, 64, 8), bvadd64(Variable(R0, bv64), 4064bv64), LittleEndian, 64) -> Set(Stack(stack_1, 56bv64), Stack(stack_2, 28bv64), Stack(stack_3, 32bv64), ArrayAccess(stack_3, (bvor64(bvlshr64(Variable(R0, bv64), ZeroExtend(57, 62bv7)), bvshl64(Variable(R0, bv64), ZeroExtend(61, 2bv3)))[64:2] ++ 0bv2))) -[Stmt] Memory(mem, 64, 8) := MemoryStore(Memory(mem, 64, 8), bvadd64(Variable(R1, bv64), Variable(R0, bv64)), Variable(R2, bv64)[32:0], LittleEndian, 32) -> Set(Stack(stack_1, 56bv64), Stack(stack_2, 28bv64), Stack(stack_3, 32bv64), ArrayAccess(stack_3, (bvor64(bvlshr64(Variable(R0, bv64), ZeroExtend(57, 62bv7)), bvshl64(Variable(R0, bv64), ZeroExtend(61, 2bv3)))[64:2] ++ 0bv2))) -[Stmt] Memory(stack, 64, 8) := MemoryStore(Memory(stack, 64, 8), bvadd64(Variable(R31, bv64), 28bv64), 0bv32, LittleEndian, 32) -> Set(Stack(stack_1, 56bv64), Stack(stack_2, 28bv64)) -[Stmt] Variable(ZF, bv1) := bvcomp32(Variable(#7, bv32), 0bv32) -> Set(Stack(stack_1, 56bv64), Stack(stack_2, 28bv64), Stack(stack_3, 32bv64), ArrayAccess(stack_3, (bvor64(bvlshr64(Variable(R0, bv64), ZeroExtend(57, 62bv7)), bvshl64(Variable(R0, bv64), ZeroExtend(61, 2bv3)))[64:2] ++ 0bv2))) -[Stmt] Variable(R31, bv64) := bvadd64(Variable(R31, bv64), 64bv64) -> Set(Stack(stack_1, 56bv64), Stack(stack_2, 28bv64), Stack(stack_3, 32bv64), ArrayAccess(stack_3, (bvor64(bvlshr64(Variable(R0, bv64), ZeroExtend(57, 62bv7)), bvshl64(Variable(R0, bv64), ZeroExtend(61, 2bv3)))[64:2] ++ 0bv2))) -[FunctionEntry] Procedure main at 2012 with 6 blocks and 5 in and 5 out parameters -> Set() -[Stmt] Variable(R31, bv64) := Variable(#6, bv64) -> Set() -[Stmt] Variable(VF, bv1) := bvnot1(bvcomp65(SignExtend(1, Variable(#9, bv64)), bvadd65(bvadd65(SignExtend(1, Variable(R2, bv64)), SignExtend(1, Variable(#8, bv64))), 1bv65))) -> Set(Stack(stack_1, 56bv64), Stack(stack_2, 28bv64), Stack(stack_3, 32bv64), ArrayAccess(stack_3, (bvor64(bvlshr64(Variable(R0, bv64), ZeroExtend(57, 62bv7)), bvshl64(Variable(R0, bv64), ZeroExtend(61, 2bv3)))[64:2] ++ 0bv2))) -[Stmt] Variable(R2, bv64) := ZeroExtend(32, MemoryLoad(Memory(stack, 64, 8), bvadd64(Variable(R31, bv64), 28bv64), LittleEndian, 32)) -> Set(Stack(stack_1, 56bv64), Stack(stack_2, 28bv64), Stack(stack_3, 32bv64), ArrayAccess(stack_3, (bvor64(bvlshr64(Variable(R0, bv64), ZeroExtend(57, 62bv7)), bvshl64(Variable(R0, bv64), ZeroExtend(61, 2bv3)))[64:2] ++ 0bv2))) -[Stmt] Variable(#8, bv64) := bvnot64(Variable(R3, bv64)) -> Set(Stack(stack_1, 56bv64), Stack(stack_2, 28bv64), Stack(stack_3, 32bv64), ArrayAccess(stack_3, (bvor64(bvlshr64(Variable(R0, bv64), ZeroExtend(57, 62bv7)), bvshl64(Variable(R0, bv64), ZeroExtend(61, 2bv3)))[64:2] ++ 0bv2))) -[Stmt] Memory(stack, 64, 8) := MemoryStore(Memory(stack, 64, 8), bvadd64(Variable(R31, bv64), 28bv64), Variable(R0, bv64)[32:0], LittleEndian, 32) -> Set(Stack(stack_1, 56bv64), Stack(stack_2, 28bv64), Stack(stack_3, 32bv64), ArrayAccess(stack_3, (bvor64(bvlshr64(Variable(R0, bv64), ZeroExtend(57, 62bv7)), bvshl64(Variable(R0, bv64), ZeroExtend(61, 2bv3)))[64:2] ++ 0bv2))) -[Stmt] Variable(R0, bv64) := 65536bv64 -> Set(Stack(stack_1, 56bv64), Stack(stack_2, 28bv64), Stack(stack_3, 32bv64), ArrayAccess(stack_3, (bvor64(bvlshr64(Variable(R0, bv64), ZeroExtend(57, 62bv7)), bvshl64(Variable(R0, bv64), ZeroExtend(61, 2bv3)))[64:2] ++ 0bv2))) -[Stmt] Variable(R0, bv64) := SignExtend(32, MemoryLoad(Memory(stack, 64, 8), bvadd64(Variable(R31, bv64), 28bv64), LittleEndian, 32)) -> Set(Stack(stack_1, 56bv64), Stack(stack_2, 28bv64), Stack(stack_3, 32bv64), ArrayAccess(stack_3, (bvor64(bvlshr64(Variable(R0, bv64), ZeroExtend(57, 62bv7)), bvshl64(Variable(R0, bv64), ZeroExtend(61, 2bv3)))[64:2] ++ 0bv2))) -[Stmt] Variable(CF, bv1) := bvnot1(bvcomp65(ZeroExtend(1, Variable(#9, bv64)), bvadd65(bvadd65(ZeroExtend(1, Variable(R2, bv64)), ZeroExtend(1, Variable(#8, bv64))), 1bv65))) -> Set(Stack(stack_1, 56bv64), Stack(stack_2, 28bv64), Stack(stack_3, 32bv64), ArrayAccess(stack_3, (bvor64(bvlshr64(Variable(R0, bv64), ZeroExtend(57, 62bv7)), bvshl64(Variable(R0, bv64), ZeroExtend(61, 2bv3)))[64:2] ++ 0bv2))) -[Stmt] Variable(R0, bv64) := MemoryLoad(Memory(mem, 64, 8), bvadd64(Variable(R0, bv64), 4064bv64), LittleEndian, 64) -> Set() -[Stmt] Variable(NF, bv1) := Variable(#7, bv32)[32:31] -> Set(Stack(stack_1, 56bv64), Stack(stack_2, 28bv64), Stack(stack_3, 32bv64), ArrayAccess(stack_3, (bvor64(bvlshr64(Variable(R0, bv64), ZeroExtend(57, 62bv7)), bvshl64(Variable(R0, bv64), ZeroExtend(61, 2bv3)))[64:2] ++ 0bv2))) -[Stmt] Variable(R0, bv64) := ZeroExtend(32, MemoryLoad(Memory(stack, 64, 8), bvadd64(Variable(R31, bv64), 28bv64), LittleEndian, 32)) -> Set(Stack(stack_1, 56bv64), Stack(stack_2, 28bv64), Stack(stack_3, 32bv64), ArrayAccess(stack_3, (bvor64(bvlshr64(Variable(R0, bv64), ZeroExtend(57, 62bv7)), bvshl64(Variable(R0, bv64), ZeroExtend(61, 2bv3)))[64:2] ++ 0bv2))) -[Stmt] Variable(R0, bv64) := 65536bv64 -> Set(Stack(stack_1, 56bv64), Stack(stack_2, 28bv64), Stack(stack_3, 32bv64), ArrayAccess(stack_3, (bvor64(bvlshr64(Variable(R0, bv64), ZeroExtend(57, 62bv7)), bvshl64(Variable(R0, bv64), ZeroExtend(61, 2bv3)))[64:2] ++ 0bv2))) diff --git a/src/test/analysis/dotExpected/basic_arrays_read b/src/test/analysis/dotExpected/basic_arrays_read deleted file mode 100644 index c900795c1..000000000 --- a/src/test/analysis/dotExpected/basic_arrays_read +++ /dev/null @@ -1,8 +0,0 @@ -[Stmt] Variable(R0, bv64) := bvadd64(Variable(R0, bv64), 24bv64) -> Set() -[Stmt] Memory(mem, 64, 8) := MemoryStore(Memory(mem, 64, 8), Variable(R0, bv64), 0bv32, LittleEndian, 32) -> Set(Data(69632bv64, 24bv64)) -[Stmt] Variable(R0, bv64) := ZeroExtend(32, MemoryLoad(Memory(mem, 64, 8), Variable(R0, bv64), LittleEndian, 32)) -> Set(Data(69632bv64, 24bv64)) -[FunctionEntry] Procedure main at 1820 with 1 blocks and 5 in and 5 out parameters -> Set() -[Stmt] Variable(R0, bv64) := 69632bv64 -> Set(Data(69632bv64, 24bv64)) -[FunctionExit] Procedure main at 1820 with 1 blocks and 5 in and 5 out parameters -> Set(Data(69632bv64, 24bv64)) -[Stmt] Variable(R0, bv64) := bvadd64(Variable(R0, bv64), 24bv64) -> Set(Data(69632bv64, 24bv64)) -[Stmt] Variable(R0, bv64) := 69632bv64 -> Set() diff --git a/src/test/analysis/dotExpected/basic_arrays_write b/src/test/analysis/dotExpected/basic_arrays_write deleted file mode 100644 index 687a191f2..000000000 --- a/src/test/analysis/dotExpected/basic_arrays_write +++ /dev/null @@ -1,10 +0,0 @@ -[Stmt] Memory(stack, 64, 8) := MemoryStore(Memory(stack, 64, 8), bvadd64(Variable(R31, bv64), 12bv64), Variable(R0, bv64)[32:0], LittleEndian, 32) -> Set(Stack(stack_1, 12bv64)) -[Stmt] Variable(R0, bv64) := 0bv64 -> Set(Stack(stack_1, 12bv64), Data(69632bv64, 24bv64), ArrayAccess(69656bv64, 4bv64)) -[FunctionEntry] Procedure main at 1820 with 1 blocks and 5 in and 5 out parameters -> Set() -[Stmt] Variable(R0, bv64) := 69632bv64 -> Set(Stack(stack_1, 12bv64)) -[Stmt] Memory(mem, 64, 8) := MemoryStore(Memory(mem, 64, 8), bvadd64(Variable(R0, bv64), 4bv64), Variable(R1, bv64)[32:0], LittleEndian, 32) -> Set(Stack(stack_1, 12bv64), Data(69632bv64, 24bv64), ArrayAccess(69656bv64, 4bv64)) -[FunctionExit] Procedure main at 1820 with 1 blocks and 5 in and 5 out parameters -> Set(Stack(stack_1, 12bv64), Data(69632bv64, 24bv64), ArrayAccess(69656bv64, 4bv64)) -[Stmt] Variable(R0, bv64) := bvadd64(Variable(R0, bv64), 24bv64) -> Set(Stack(stack_1, 12bv64)) -[Stmt] Variable(R31, bv64) := bvadd64(Variable(R31, bv64), 16bv64) -> Set(Stack(stack_1, 12bv64), Data(69632bv64, 24bv64), ArrayAccess(69656bv64, 4bv64)) -[Stmt] Variable(R1, bv64) := ZeroExtend(32, MemoryLoad(Memory(stack, 64, 8), bvadd64(Variable(R31, bv64), 12bv64), LittleEndian, 32)) -> Set(Stack(stack_1, 12bv64)) -[Stmt] Variable(R31, bv64) := bvadd64(Variable(R31, bv64), 18446744073709551600bv64) -> Set() diff --git a/src/test/analysis/dotExpected/basicfree b/src/test/analysis/dotExpected/basicfree deleted file mode 100644 index fb270ec74..000000000 --- a/src/test/analysis/dotExpected/basicfree +++ /dev/null @@ -1,24 +0,0 @@ -[FunctionEntry] Procedure malloc at 1616 with 0 blocks and 4 in and 4 out parameters -> Set() -[Stmt] Variable(#6, bv64) := bvadd64(Variable(R31, bv64), 18446744073709551584bv64) -> Set() -[Stmt] Variable(R29, bv64) := Variable(R31, bv64) -> Set() -[Stmt] Memory(mem, 64, 8) := MemoryStore(Memory(mem, 64, 8), Variable(R0, bv64), Variable(R1, bv64)[32:0], LittleEndian, 32) -> Set(Heap(malloc_1, 4bv64), Stack(stack_1, 24bv64)) -[FunctionEntry] Procedure free at 1680 with 0 blocks and 4 in and 4 out parameters -> Set() -[FunctionExit] Procedure malloc at 1616 with 0 blocks and 4 in and 4 out parameters -> Set() -[Stmt] Variable(R0, bv64) := MemoryLoad(Memory(stack, 64, 8), bvadd64(Variable(R31, bv64), 24bv64), LittleEndian, 64) -> Set(Heap(malloc_1, 4bv64), Stack(stack_1, 24bv64)) -[Stmt] Variable(R31, bv64) := Variable(#6, bv64) -> Set() -[FunctionExit] Procedure free at 1680 with 0 blocks and 4 in and 4 out parameters -> Set() -[Stmt] Memory(stack, 64, 8) := MemoryStore(Memory(stack, 64, 8), bvadd64(Variable(R31, bv64), 24bv64), Variable(R0, bv64), LittleEndian, 64) -> Set(Heap(malloc_1, 4bv64), Stack(stack_1, 24bv64)) -[Stmt] Memory(mem, 64, 8) := MemoryStore(Memory(mem, 64, 8), bvadd64(Variable(#6, bv64), 8bv64), Variable(R30, bv64), LittleEndian, 64) -> Set() -[FunctionEntry] Procedure main at 1964 with 3 blocks and 5 in and 5 out parameters -> Set() -[Stmt] Variable(R0, bv64) := MemoryLoad(Memory(stack, 64, 8), bvadd64(Variable(R31, bv64), 24bv64), LittleEndian, 64) -> Set(Heap(malloc_1, 4bv64), Stack(stack_1, 24bv64)) -[Stmt] Variable(R30, bv64) := 1980bv64 -> Set() -[Stmt] Memory(mem, 64, 8) := MemoryStore(Memory(mem, 64, 8), Variable(#6, bv64), Variable(R29, bv64), LittleEndian, 64) -> Set() -[Stmt] Variable(R1, bv64) := 1bv64 -> Set(Heap(malloc_1, 4bv64), Stack(stack_1, 24bv64)) -[FunctionExit] Procedure main at 1964 with 3 blocks and 5 in and 5 out parameters -> Set(Heap(malloc_1, 4bv64), Stack(stack_1, 24bv64)) -[Stmt] Variable(R0, bv64) := 4bv64 -> Set() -[Stmt] Variable(R30, bv64) := MemoryLoad(Memory(stack, 64, 8), bvadd64(Variable(R31, bv64), 8bv64), LittleEndian, 64) -> Set(Heap(malloc_1, 4bv64), Stack(stack_1, 24bv64)) -[Stmt] Variable(R31, bv64) := bvadd64(Variable(R31, bv64), 32bv64) -> Set(Heap(malloc_1, 4bv64), Stack(stack_1, 24bv64)) -[Stmt] Variable(R30, bv64) := 2004bv64 -> Set(Heap(malloc_1, 4bv64), Stack(stack_1, 24bv64)) -[Stmt] DirectCall(free, None, Some(l000003e4)) -> Set(Heap(malloc_1, 4bv64), Stack(stack_1, 24bv64)) -[Stmt] DirectCall(malloc, None, Some(l000003b9)) -> Set(Heap(malloc_1, 4bv64)) -[Stmt] Variable(R29, bv64) := MemoryLoad(Memory(stack, 64, 8), Variable(R31, bv64), LittleEndian, 64) -> Set(Heap(malloc_1, 4bv64), Stack(stack_1, 24bv64)) diff --git a/src/test/analysis/dotExpected/ifglobal b/src/test/analysis/dotExpected/ifglobal deleted file mode 100644 index b0fef25a0..000000000 --- a/src/test/analysis/dotExpected/ifglobal +++ /dev/null @@ -1,15 +0,0 @@ -[FunctionExit] Procedure main at 1820 with 3 blocks and 5 in and 5 out parameters -> Set(Data(69632bv64, 20bv64)) -[Stmt] Variable(VF, bv1) := bvnot1(bvcomp33(SignExtend(1, Variable(#6, bv32)), bvadd33(SignExtend(1, Variable(R0, bv64)[32:0]), 0bv33))) -> Set() -[Stmt] Variable(R1, bv64) := 1bv64 -> Set() -[Stmt] Variable(R0, bv64) := 69632bv64 -> Set() -[Stmt] Memory(mem, 64, 8) := MemoryStore(Memory(mem, 64, 8), Variable(R0, bv64), Variable(R1, bv64)[32:0], LittleEndian, 32) -> Set(Data(69632bv64, 20bv64)) -[Stmt] Variable(#6, bv32) := bvadd32(Variable(R0, bv64)[32:0], 0bv32) -> Set() -[Stmt] Variable(NF, bv1) := Variable(#6, bv32)[32:31] -> Set() -[Stmt] Variable(ZF, bv1) := bvcomp32(Variable(#6, bv32), 0bv32) -> Set() -[Stmt] Variable(R0, bv64) := bvadd64(Variable(R0, bv64), 20bv64) -> Set() -[Stmt] Variable(R0, bv64) := 69632bv64 -> Set() -[Stmt] Variable(CF, bv1) := bvnot1(bvcomp33(ZeroExtend(1, Variable(#6, bv32)), bvadd33(ZeroExtend(1, Variable(R0, bv64)[32:0]), 4294967296bv33))) -> Set() -[Stmt] Variable(R0, bv64) := ZeroExtend(32, MemoryLoad(Memory(mem, 64, 8), Variable(R0, bv64), LittleEndian, 32)) -> Set() -[Stmt] Variable(R0, bv64) := bvadd64(Variable(R0, bv64), 20bv64) -> Set() -[FunctionEntry] Procedure main at 1820 with 3 blocks and 5 in and 5 out parameters -> Set() -[Stmt] Variable(R0, bv64) := 0bv64 -> Set(Data(69632bv64, 20bv64)) diff --git a/src/test/analysis/dotExpected/iflocal b/src/test/analysis/dotExpected/iflocal deleted file mode 100644 index c7904695e..000000000 --- a/src/test/analysis/dotExpected/iflocal +++ /dev/null @@ -1,13 +0,0 @@ -[Stmt] Variable(CF, bv1) := bvnot1(bvcomp33(ZeroExtend(1, Variable(#6, bv32)), bvadd33(ZeroExtend(1, Variable(R0, bv64)[32:0]), 4294967296bv33))) -> Set() -[Stmt] Memory(stack, 64, 8) := MemoryStore(Memory(stack, 64, 8), bvadd64(Variable(R31, bv64), 12bv64), Variable(R0, bv64)[32:0], LittleEndian, 32) -> Set(Stack(stack_1, 12bv64)) -[FunctionEntry] Procedure main at 1820 with 3 blocks and 5 in and 5 out parameters -> Set() -[Stmt] Variable(R31, bv64) := bvadd64(Variable(R31, bv64), 18446744073709551600bv64) -> Set() -[Stmt] Variable(VF, bv1) := bvnot1(bvcomp33(SignExtend(1, Variable(#6, bv32)), bvadd33(SignExtend(1, Variable(R0, bv64)[32:0]), 0bv33))) -> Set() -[Stmt] Variable(R0, bv64) := 1bv64 -> Set() -[FunctionExit] Procedure main at 1820 with 3 blocks and 5 in and 5 out parameters -> Set(Stack(stack_1, 12bv64)) -[Stmt] Variable(NF, bv1) := Variable(#6, bv32)[32:31] -> Set() -[Stmt] Variable(R0, bv64) := ZeroExtend(32, MemoryLoad(Memory(stack, 64, 8), bvadd64(Variable(R31, bv64), 12bv64), LittleEndian, 32)) -> Set() -[Stmt] Variable(R31, bv64) := bvadd64(Variable(R31, bv64), 16bv64) -> Set(Stack(stack_1, 12bv64)) -[Stmt] Variable(ZF, bv1) := bvcomp32(Variable(#6, bv32), 0bv32) -> Set() -[Stmt] Variable(#6, bv32) := bvadd32(Variable(R0, bv64)[32:0], 0bv32) -> Set() -[Stmt] Variable(R0, bv64) := 0bv64 -> Set(Stack(stack_1, 12bv64)) diff --git a/src/test/analysis/dotExpected/secret_write b/src/test/analysis/dotExpected/secret_write deleted file mode 100644 index 347c2e04e..000000000 --- a/src/test/analysis/dotExpected/secret_write +++ /dev/null @@ -1,29 +0,0 @@ -[Stmt] Variable(R0, bv64) := bvadd64(Variable(R0, bv64), 20bv64) -> Set() -[Stmt] Variable(R1, bv64) := ZeroExtend(32, bvadd32(Variable(R0, bv64)[32:0], 1bv32)) -> Set(Data(69632bv64, 20bv64)) -[Stmt] Variable(R0, bv64) := 69632bv64 -> Set(Data(69632bv64, 20bv64)) -[Stmt] Memory(mem, 64, 8) := MemoryStore(Memory(mem, 64, 8), Variable(R0, bv64), 0bv32, LittleEndian, 32) -> Set(Data(69632bv64, 20bv64)) -[Stmt] Variable(R0, bv64) := ZeroExtend(32, MemoryLoad(Memory(mem, 64, 8), Variable(R0, bv64), LittleEndian, 32)) -> Set(Data(69632bv64, 20bv64)) -[Stmt] Memory(mem, 64, 8) := MemoryStore(Memory(mem, 64, 8), Variable(R0, bv64), Variable(R1, bv64)[32:0], LittleEndian, 32) -> Set(Data(69632bv64, 20bv64)) -[FunctionEntry] Procedure main at 1820 with 1 blocks and 5 in and 5 out parameters -> Set() -[Stmt] Variable(R0, bv64) := 69632bv64 -> Set(Data(69632bv64, 20bv64)) -[Stmt] Variable(R0, bv64) := bvadd64(Variable(R0, bv64), 20bv64) -> Set(Data(69632bv64, 20bv64)) -[Stmt] Variable(R0, bv64) := 69632bv64 -> Set(Data(69632bv64, 20bv64)) -[FunctionExit] Procedure main at 1820 with 1 blocks and 5 in and 5 out parameters -> Set(Data(69632bv64, 20bv64), Data(69632bv64, 24bv64)) -[Stmt] Variable(R0, bv64) := bvadd64(Variable(R0, bv64), 24bv64) -> Set(Data(69632bv64, 20bv64)) -[Stmt] Variable(R1, bv64) := ZeroExtend(32, MemoryLoad(Memory(mem, 64, 8), Variable(R0, bv64), LittleEndian, 32)) -> Set(Data(69632bv64, 20bv64)) -[Stmt] Variable(R0, bv64) := 69632bv64 -> Set(Data(69632bv64, 20bv64)) -[Stmt] Variable(R0, bv64) := bvadd64(Variable(R0, bv64), 20bv64) -> Set(Data(69632bv64, 20bv64)) -[Stmt] Variable(R0, bv64) := 69632bv64 -> Set() -[Stmt] Variable(R0, bv64) := bvadd64(Variable(R0, bv64), 28bv64) -> Set(Data(69632bv64, 20bv64)) -[Stmt] Variable(R0, bv64) := bvadd64(Variable(R0, bv64), 20bv64) -> Set(Data(69632bv64, 20bv64), Data(69632bv64, 24bv64)) -[Stmt] Variable(R0, bv64) := ZeroExtend(32, MemoryLoad(Memory(mem, 64, 8), Variable(R0, bv64), LittleEndian, 32)) -> Set(Data(69632bv64, 20bv64), Data(69632bv64, 24bv64)) -[Stmt] Variable(R0, bv64) := 69632bv64 -> Set(Data(69632bv64, 20bv64), Data(69632bv64, 24bv64)) -[Stmt] Memory(mem, 64, 8) := MemoryStore(Memory(mem, 64, 8), Variable(R0, bv64), Variable(R1, bv64)[32:0], LittleEndian, 32) -> Set(Data(69632bv64, 20bv64), Data(69632bv64, 24bv64)) -[Stmt] Variable(R0, bv64) := bvadd64(Variable(R0, bv64), 20bv64) -> Set(Data(69632bv64, 20bv64), Data(69632bv64, 24bv64)) -[Stmt] Variable(R0, bv64) := bvadd64(Variable(R0, bv64), 24bv64) -> Set(Data(69632bv64, 20bv64), Data(69632bv64, 24bv64)) -[Stmt] Memory(mem, 64, 8) := MemoryStore(Memory(mem, 64, 8), Variable(R0, bv64), 0bv32, LittleEndian, 32) -> Set(Data(69632bv64, 20bv64), Data(69632bv64, 24bv64)) -[Stmt] Variable(R0, bv64) := 69632bv64 -> Set(Data(69632bv64, 20bv64), Data(69632bv64, 24bv64)) -[Stmt] Variable(R1, bv64) := ZeroExtend(32, bvadd32(Variable(R0, bv64)[32:0], 1bv32)) -> Set(Data(69632bv64, 20bv64), Data(69632bv64, 24bv64)) -[Stmt] Variable(R0, bv64) := 69632bv64 -> Set(Data(69632bv64, 20bv64), Data(69632bv64, 24bv64)) -[Stmt] Variable(R0, bv64) := 0bv64 -> Set(Data(69632bv64, 20bv64), Data(69632bv64, 24bv64)) -[Stmt] Memory(mem, 64, 8) := MemoryStore(Memory(mem, 64, 8), Variable(R0, bv64), Variable(R1, bv64)[32:0], LittleEndian, 32) -> Set(Data(69632bv64, 20bv64), Data(69632bv64, 24bv64))