{"id":"W3026203297","doi":"10.1145/3395363.3397385","title":"How effective are smart contract analysis tools? evaluating smart contract static analysis tools using bug injection","year":2020,"lang":"en","type":"article","venue":"","topic":"Blockchain Technology Applications and Security","field":"Computer Science","cited_by":184,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of British Columbia","funders":"","keywords":"Static analysis; Static program analysis; Security analysis; Set (abstract data type); Security bug; Application security; Smart contract","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.001055688,0.0003264511,0.0008783372,0.0006521609,0.0004604388,0.0009382223,0.0007811867,0.0002405859,0.00005702391],"category_scores_gemma":[0.0007398125,0.0003026434,0.0005235128,0.00740198,0.00009931603,0.001035229,0.000238257,0.0004741852,0.0000155839],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001737845,"about_ca_system_score_gemma":0.00007541696,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0004817488,"about_ca_topic_score_gemma":0.0005242506,"domain_scores_codex":[0.9970788,0.0003984983,0.0005149936,0.001037013,0.0004974162,0.0004732181],"domain_scores_gemma":[0.9969135,0.0009636066,0.0005502724,0.0009275138,0.0004543637,0.0001907364],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"observational","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000145677,0.0008824103,0.4742064,0.0001808534,0.02722185,0.0000867679,0.004700992,0.07346382,0.01442561,0.03507299,0.0003154259,0.3692972],"study_design_scores_gemma":[0.000437161,0.0001675722,0.09202714,0.000008589046,0.002649304,0.000005275448,0.0002736484,0.9017279,0.001648895,0.0006250315,0.00009384855,0.0003356475],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.4231876,0.00007259732,0.572955,0.002766021,0.00003830728,0.0005184769,0.00001632089,0.0003495433,0.00009618278],"genre_scores_gemma":[0.9715682,0.000007663706,0.027162,0.001000257,0.0000556695,0.0001394556,0.0000313741,0.00001271548,0.00002267357],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8282641,"threshold_uncertainty_score":0.9999425,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04529899492304123,"score_gpt":0.3006348517579339,"score_spread":0.2553358568348927,"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."}}