{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.01100789,0.0009145862,0.001876477,0.002027901,0.001629987,0.003850232,0.003188435,0.004614622,0.003259525],"category_scores_gemma":[0.07305353,0.001053038,0.0009072216,0.001572795,0.004170983,0.006953926,0.003802938,0.00344716,0.00114695],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001003345,"about_ca_system_score_gemma":0.002044812,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0007206282,"about_ca_topic_score_gemma":0.001119529,"domain_scores_codex":[0.9834403,0.004884969,0.000955896,0.002445253,0.006284681,0.001988892],"domain_scores_gemma":[0.901358,0.08007602,0.00382774,0.009927976,0.003467986,0.001342345],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.006142888,0.001253374,0.1094665,0.000725285,0.0003129961,0.002680956,0.001533645,0.1307445,0.03089209,0.1882984,0.01116531,0.5167841],"study_design_scores_gemma":[0.000186969,0.0002718511,0.004926901,0.00008858212,0.0001071361,0.00119744,0.0005464993,0.6918074,0.02440458,0.2741936,0.0021769,0.00009207586],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"methods","genre_scores_codex":[0.5798322,0.0006912047,0.4040875,0.001845454,0.0001712638,0.0001781434,0.0007032686,0.004951075,0.007539918],"genre_scores_gemma":[0.928408,0.00006091411,0.06841428,0.0001836031,0.00005242008,0.00006445678,0.0003576719,0.0002823587,0.002176354],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.01100789,"threshold_uncertainty_score":0.05821598,"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."}}