{"id":"W4361987538","doi":"10.1007/978-3-031-30122-3_19","title":"Finding Unchecked Low-Level Calls with Zero False Positives and Negatives in Ethereum Smart Contracts","year":2023,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Blockchain Technology Applications and Security","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Waterloo","funders":"","keywords":"False positive paradox; Computer science; False positives and false negatives; True positive rate; Computer security; Algorithm; Artificial intelligence","routes":{"ca_aff":true,"ca_fund":false,"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":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0008516355,0.00046216,0.0005428292,0.0009152715,0.0002595611,0.0002992977,0.001794086,0.0004715496,0.0000023946],"category_scores_gemma":[0.0001019032,0.0003941989,0.00004834482,0.0009492098,0.001391826,0.0003560879,0.0009894916,0.001109275,0.00001311333],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001437891,"about_ca_system_score_gemma":0.0003092727,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00007629373,"about_ca_topic_score_gemma":0.0007096354,"domain_scores_codex":[0.9970369,0.00004620151,0.0004088868,0.001465012,0.0004296756,0.0006132796],"domain_scores_gemma":[0.9976472,0.0009104346,0.0002387135,0.0009289015,0.0001494416,0.000125295],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00002978238,0.0001267351,0.001387074,0.0000910223,0.0000529559,0.0003443831,0.006836012,0.004475417,0.001336913,0.3553949,0.00001447731,0.6299103],"study_design_scores_gemma":[0.001044569,0.0003490612,0.01141329,0.001420567,0.0000129563,0.0001353814,0.000003720818,0.1933814,0.004973501,0.7856963,0.000240623,0.001328602],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01377027,0.0002560255,0.9824761,0.001989297,0.0002226016,0.0005508233,0.00001184825,0.0002366469,0.000486394],"genre_scores_gemma":[0.8541189,0.00007478856,0.1448104,0.0006664841,0.00004851372,0.00003650828,0.000004009621,0.00003353936,0.0002068789],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8403486,"threshold_uncertainty_score":0.999851,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02240942180986955,"score_gpt":0.2491641941434484,"score_spread":0.2267547723335788,"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."}}