{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002329047,0.001174267,0.0007090579,0.001994413,0.0006416112,0.001573974,0.00204896,0.001372924,0.00393406],"category_scores_gemma":[0.009701776,0.000701959,0.00135512,0.0006574036,0.001896349,0.002921128,0.002353786,0.00184348,0.001101445],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00118824,"about_ca_system_score_gemma":0.001373988,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002445683,"about_ca_topic_score_gemma":0.002763168,"domain_scores_codex":[0.9968222,0.0005253767,0.0002532609,0.0005843432,0.001589334,0.0002254309],"domain_scores_gemma":[0.9943645,0.002672331,0.0004585156,0.001478749,0.0008958023,0.0001301867],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.001914622,0.0004329099,0.01897617,0.001187747,0.0005033503,0.002334142,0.001654936,0.1325139,0.1743457,0.08953803,0.03164862,0.5449499],"study_design_scores_gemma":[0.0001441651,0.0004955185,0.00243748,0.0002391511,0.000211324,0.00153287,0.0001474852,0.7446831,0.1721122,0.03798102,0.03980039,0.0002152363],"study_design_candidate":"bench_or_experimental","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.04834291,0.000364496,0.8756412,0.0004639258,0.0001346975,0.0002587411,0.0005433426,0.06996409,0.004286709],"genre_scores_gemma":[0.4533871,0.0002400088,0.5326838,0.0007804373,0.00007002335,0.0003078883,0.001407727,0.00584554,0.005277395],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.00393406,"threshold_uncertainty_score":0.01316071,"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."}}