debug sudt ffi API

Author: douyixuan

tests/examples/sudt.cell

@@ -4,12 +4,20 @@ import "cell"
 
 function main() {
     // tx.scriptVerify()
+    // isOwnerMode return a bool value:
+    // true - Indicate that the verification was successful and the device owner mode has been successfully set.
+    // false - Means that either the verification process failed or the device owner mode has not been set.
+    //         In the case where verification fails, the program should terminate immediately.
+    // For the time being, simply returning 'false' does not adequately convey the distinction between two states.
     if tx.isOwnerMode() {
-        return 0 
+        return 0
     }
 
     in_sum, out_sum := 0, 0
-
+    ins := tx.inputs()
+    if len(ins) == int32(0) {
+        return 1
+    }
     for input := range tx.inputs() {
         in_sum += input
     }

third-party/wrapper.c

@@ -61,10 +61,19 @@ bool is_owner_mode() {
   unsigned char script[SCRIPT_SIZE];
   uint64_t len = SCRIPT_SIZE;
   int ret = ckb_load_script(script, &len, 0);
+  if (ret != CKB_SUCCESS) {
+    return false;
+  }
+  if (len > SCRIPT_SIZE) {
+    return false;
+  }
 
   mol_seg_t script_seg;
   script_seg.ptr = (uint8_t *)script;
   script_seg.size = len;
+  if (MolReader_Script_verify(&script_seg, false) != MOL_OK) {
+    return false;
+  }
 
   mol_seg_t args_seg = MolReader_Script_get_args(&script_seg);
   mol_seg_t args_bytes_seg = MolReader_Bytes_raw_bytes(&args_seg);
@@ -146,6 +155,9 @@ cell_data_t get_utxo_inputs() {
   int i = 0;
   while (1) {
     uint64_t len = get_input_cell_data_len(i);
+    if (len < 16) {
+      return EMPTY_CELL_DATA;
+    }
     // uint8_t* data = (uint8_t*)malloc(len * sizeof(uint8_t));
     uint64_t cur_data = 0; 
     int ret = ckb_load_cell_data(&cur_data, &len, 0, i,