More Test Cases

Added more test cases to the test set

Author: denisguareschi

evm-testcases/taint/example06/example06.sol

@@ -0,0 +1,11 @@
+PUSH1 0x10
+PUSH1 0x10
+PUSH1 0x10
+MULMOD
+NOT
+ISZERO
+PUSH1 0x20
+AND
+PUSH1 0x10
+PUSH1 0x10
+ADDMOD

evm-testcases/taint/example06/report.json

@@ -0,0 +1,38 @@
+{
+  "warnings" : [ ],
+  "files" : [ "report.json", "untyped_program.evm-testcases_taint_example06_example06.sol().json" ],
+  "info" : {
+    "cfgs" : "1",
+    "duration" : "309ms",
+    "end" : "2024-12-17T11:12:00.815+01:00",
+    "expressions" : "6",
+    "files" : "1",
+    "globals" : "0",
+    "members" : "1",
+    "programs" : "1",
+    "start" : "2024-12-17T11:12:00.506+01:00",
+    "statements" : "12",
+    "units" : "0",
+    "version" : "0.1",
+    "warnings" : "0"
+  },
+  "configuration" : {
+    "analysisGraphs" : "NONE",
+    "descendingPhaseType" : "NONE",
+    "dumpForcesUnwinding" : "false",
+    "fixpointWorkingSet" : "DuplicateFreeFIFOWorkingSet",
+    "glbThreshold" : "5",
+    "hotspots" : "unset",
+    "jsonOutput" : "true",
+    "openCallPolicy" : "WorstCasePolicy",
+    "optimize" : "false",
+    "recursionWideningThreshold" : "5",
+    "semanticChecks" : "",
+    "serializeInputs" : "false",
+    "serializeResults" : "true",
+    "syntacticChecks" : "",
+    "useWideningPoints" : "false",
+    "wideningThreshold" : "5",
+    "workdir" : "evm-outputs/taint/example06"
+  }
+}