{"id":"W4384154545","doi":"10.1145/3597926.3604927","title":"SymRustC: A Hybrid Fuzzer for Rust","year":2023,"lang":"en","type":"article","venue":"","topic":"Software Testing and Debugging Techniques","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"Simon Fraser University","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Fuzz testing; Concolic testing; Computer science; Rust (programming language); Benchmark (surveying); Compiler; Programming language; Symbolic execution; Software","routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0002945399,0.00007436897,0.00008211849,0.0001088462,0.00009345431,0.0001010244,0.0005077316,0.00002091597,0.000006625652],"category_scores_gemma":[0.0002751471,0.00006289337,0.00005191045,0.0003388326,0.00001441968,0.0001273085,0.0001789153,0.0000404756,0.0001964733],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001230064,"about_ca_system_score_gemma":0.00002890523,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002397571,"about_ca_topic_score_gemma":6.621132e-7,"domain_scores_codex":[0.9992946,0.00000964373,0.0001015284,0.0002424107,0.0001128339,0.000238985],"domain_scores_gemma":[0.9991091,0.0003520849,0.00002331869,0.0004120414,0.00005368558,0.00004970995],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"not_applicable","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.000001154125,0.00001101345,0.0004499654,0.00001102248,0.000004206242,0.0000101127,0.00006230672,0.000007981106,0.00003123381,0.02628597,0.9000232,0.07310186],"study_design_scores_gemma":[0.0004221705,0.0002216481,0.002056239,0.00005388452,0.000007438215,0.00006186811,0.000007002476,0.3196912,0.006309081,0.5487424,0.1218968,0.0005302622],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00175273,0.00001199047,0.9470524,0.001408941,0.0002343103,0.0001491153,0.000002372144,0.04655493,0.00283324],"genre_scores_gemma":[0.2816756,0.000003749604,0.7124954,0.001141284,0.0001018817,0.0001312839,0.000005819129,0.00001575789,0.004429159],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.7781264,"threshold_uncertainty_score":0.2564717,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0370533003331452,"score_gpt":0.2912337161585949,"score_spread":0.2541804158254497,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}