{"id":"W4321354064","doi":"10.1007/978-3-031-18679-0_9","title":"Gas Gauge: A Security Analysis Tool for Smart Contract Out-of-Gas Vulnerabilities","year":2023,"lang":"en","type":"book-chapter","venue":"Lecture notes in operations research","topic":"Blockchain Technology Applications and Security","field":"Computer Science","cited_by":16,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Waterloo","funders":"","keywords":"Computer security; Database transaction; Computer science; Gauge (firearms); Identification (biology); Component (thermodynamics); Solidity; Set (abstract data type); Database; Physics","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.001109405,0.001566085,0.0005348078,0.002943034,0.000460965,0.001891859,0.001274593,0.001026941,0.02008769],"category_scores_gemma":[0.00403378,0.0006766236,0.0009066197,0.00103921,0.000639373,0.003930078,0.001686548,0.001370374,0.004317088],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0006779859,"about_ca_system_score_gemma":0.001135209,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002077321,"about_ca_topic_score_gemma":0.002479471,"domain_scores_codex":[0.9994498,0.00008794897,0.00003034673,0.0000765466,0.0002925354,0.00006284069],"domain_scores_gemma":[0.9985865,0.000800229,0.0001595033,0.0002214711,0.0001812363,0.00005114181],"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.0005540444,0.0002548904,0.01181495,0.001058072,0.000262342,0.001202922,0.0008151315,0.1268878,0.02049029,0.1732787,0.197793,0.4655879],"study_design_scores_gemma":[0.00007651318,0.0001078869,0.001835256,0.0002297819,0.00009871886,0.0008091941,0.0002069624,0.7497385,0.02414629,0.1215448,0.1010925,0.0001134924],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.02259564,0.0004697607,0.7975214,0.0006785741,0.0001524441,0.0002637407,0.004985437,0.1510581,0.02227487],"genre_scores_gemma":[0.4283672,0.001140928,0.5190729,0.0006204208,0.0001800757,0.0004707806,0.008471086,0.01695724,0.02471943],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.02008769,"threshold_uncertainty_score":0.06720001,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04953986426450092,"score_gpt":0.3502288363419219,"score_spread":0.300688972077421,"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."}}