[Need Fix]Is there any possible to change set the txn data from bytes to args (i.e., BoxedABI)?

[Kenun99]

I failed to update the txn data (ABI) in the EVMInput using the method set_bytes.

ityfuzz/src/evm/abi.rs

Line 220 in e5826df

pub fn set_bytes(&mut self, bytes: Vec<u8>) {

It seems that the concolic engine also needs to update the abi data of the current input.

ityfuzz/src/evm/concolic/concolic_host.rs

Line 1017 in e5826df

// .set_bytes(str_to_bytes(&s));

However, although I have activated the code after removing the annotations, fn set_bytes() still failed to change the input data.
I was wondering whether it is possible to let me ask for any suggestions?
Does the set_bytes in ABI work well?

The concrete example is shown here. The below code is inserted into the entry of fn evaluate_input_events in ityfuzz/src/fuzzer.rs. However, the two print commands output the sample.

tx_bytes = [0, 0, 0, 0] // example data
let mut cu_input = input.clone();
println!("got it: {:02x?}", cu_input.get_data_abi());
cu_input
    .get_data_abi_mut()
    .as_mut()
    .unwrap()
    .set_bytes(tx_bytes.to_vec());
println!("got it: {:02x?}", cu_input.get_data_abi());

[shouc]

It works for simple types (uint256, address, bytes, etc.) but does not work for tuples / arrays. We are still working on supporting them.

This should work

        let mut abi = get_abi_type_boxed(&String::from("int256"));
        abi.set_bytes(vec![0xff; 32]);
        println!("abi: {:?}", abi);