Getting the json results

[kenneth-lee-ch]

Would you mind providing the code on how to reproduce the JSON files in the results for the Mythril?

[sujeetc]

myth a ${main_contract_file} -o json --execution-timeout 86400

[kenneth-lee-ch]

But how do you dump the result into a json file? Doesn't that only print the output on the terminal in json format? Also, this doesn't seem effective when you have to process >9k contracts.

[sujeetc]

myth a ${main_contract_file} -o json --execution-timeout 86400 |& tee -a json_file_name.json

[chinhonglee]

and did you do that 9k times to get the results for 9k contracts? Would you mind to provide an example on how to do that?

[sujeetc]

We did automation to do this job.

[chinhonglee]

A follow-up question, how come there are multiple tx_sequence for a single contract with the same vulnerability type? For example, the Integer Arithmetic Bugs in results/mythril/0x00a0cbe98e4d110b0fa82646152d77babf2951d0_ext_mythril.json? Is it because the contracts have been scanned multiple times to produce duplicate results?