{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.002581643,0.0003272273,0.0007339141,0.001932608,0.0005318467,0.0002354134,0.001609292,0.000897607,0.0001357399],"category_scores_gemma":[0.00168786,0.0003107323,0.0003466707,0.001257382,0.0005496428,0.0001417839,0.0005061339,0.001796012,0.00004798877],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000198152,"about_ca_system_score_gemma":0.0004915,"about_ca_topic_candidate":true,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000615205,"about_ca_topic_score_gemma":0.02091186,"domain_scores_codex":[0.9968138,0.0001882585,0.0007343071,0.0009891783,0.0006871233,0.0005872842],"domain_scores_gemma":[0.9938643,0.002896388,0.00008132174,0.001887339,0.001195919,0.00007470886],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00001535425,0.00009380418,0.00009735272,0.0001024928,0.0003341616,0.000007574399,0.001759318,0.003591082,0.0001089496,0.9788545,0.0002939526,0.01474145],"study_design_scores_gemma":[0.0003316667,0.000182364,0.00004265231,0.00007352797,0.0000843617,0.000002597157,0.00001397124,0.2290731,0.001476001,0.7581006,0.0102095,0.000409654],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.004744924,0.001141498,0.9657318,0.01427039,0.0003737989,0.003992814,0.0007227235,0.0004426706,0.008579387],"genre_scores_gemma":[0.9479437,0.0008238918,0.0313337,0.0001992482,0.0002814143,0.00235049,0.0005351644,0.0001001244,0.01643225],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9431988,"threshold_uncertainty_score":0.9999345,"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."}}