Debug attempt hyperledger-solang#1

Author: LucasSte

Cargo.toml

@@ -56,7 +56,8 @@ wasmi = "0.11"
 rand = "0.7"
 sha2 = "0.10"
 # solana_rbpf makes api changes in patch versions
-solana_rbpf = "=0.2.31"
+# solana_rbpf = "=0.2.31"
+solana_rbpf = {path = "../rbpf"}
 byteorder = "1.4"
 assert_cmd = "2.0"
 bincode = "1.3"

stdlib/bpf/solana.bc

@@ -548,11 +548,23 @@ uint64_t account_data_alloc(SolAccountInfo *ai, uint32_t size, uint32_t *res)
 uint32_t account_data_len(void *data, uint32_t offset)
 {
     // Nothing to do
-    if (!offset)
+    if (!offset) {
+//        sol_log("zero offset");
         return 0;
+    }
 
     offset -= sizeof(struct chunk);
 
+//    char s[10] = {'j'};
+//    s[9] = '\0';
+//    uint32_t p = offset;
+//    uint8_t idx = 8;
+//    while(p > 0 && idx >= 0) {
+//        uint8_t g = p % 10;
+//        s[idx--] = '0' + g;
+//        p /= 10;
+//    }
+//    sol_log_(&s, 10);
     struct chunk *chunk = data + offset;
 
     return chunk->length;

stdlib/solana.c

@@ -1392,6 +1392,7 @@ impl VirtualMachine {
         println!("input: {}", hex::encode(&calldata));
 
         let res = self.execute(&calldata, seeds);
+        std::println!("{:?}", res);
         assert!(matches!(res, Ok(0)));
 
         if let Some((_, return_data)) = &self.return_data {

tests/solana.rs

@@ -892,3 +892,72 @@ fn array_literal() {
         ])]
     );
 }
+
+#[test]
+fn access_violation() {
+    let mut vm = build_solidity(
+        r#"
+          contract Testing {
+
+        struct NonConstantStruct {
+            string[] b;
+        }
+
+        string[] vec_2;
+        NonConstantStruct[] complex_array;
+        function fn1() public {
+            vec_2.push("tea");
+        }
+
+        function fn2() public {
+            vec_2.push("coffee");
+        }
+
+        function fn3() public {
+            NonConstantStruct memory ss = NonConstantStruct(vec_2);
+            complex_array.push(ss);
+        }
+
+        function fn4() public {
+            vec_2.pop();
+        }
+
+        function fn5() public {
+            vec_2.pop();
+        }
+
+        function fn6() public {
+            vec_2.push("cortado");
+        }
+
+        function fn7() public {
+            vec_2.push("cappuccino");
+        }
+
+        function fn8() public {
+            NonConstantStruct memory sr = NonConstantStruct(vec_2);
+            complex_array.push(sr);
+        }
+    }
+        "#
+    );
+
+    vm.constructor("Testing", &[]);
+    std::println!("Calling fn1");
+    let _ = vm.function("fn1", &[], &[], None);
+    std::println!("Calling fn2");
+    let _ = vm.function("fn2", &[], &[], None);
+    std::println!("Calling fn3");
+    let _ = vm.function("fn3", &[], &[], None);
+    std::println!("Calling fn4");
+    let _ = vm.function("fn4", &[], &[], None);
+    std::println!("Calling fn5");
+    let _ = vm.function("fn5", &[], &[], None);
+    std::println!("Calling fn6");
+    let _ = vm.function("fn6", &[], &[], None);
+    std::println!("Calling fn7");
+    let _ = vm.function("fn7", &[], &[], None);
+    std::println!("Calling fn8");
+    let _ = vm.function("fn8", &[], &[], None);
+
+}