Here, the supplementary materials for the Prospector paper are listed. You can access these materials by clicking on the sidebar or through the provided link below.
Table 1 : The median TTE of bugs found by Prospector with the different stage time limit.
Table 2 : The crash reproduction results in UniBench and FishFuzz benchmark.
Tabel 3 : The median TTE of bugs found by disabling each improved component in Prospector.
Benchmark : The details of benchmark programs in UniBench and FishFuzz benchmark.
i.e., Relations between bug counts, target sizes, and program size
Currently, we have provisionally placed the complete experimental data of Prospector on the website. Subsequently, we will further optimize its readability.
Upon acceptance of our paper, we will make the associated codes, data, and replication materials available as open-source.