{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.01627393,0.001669005,0.0008821939,0.005510518,0.0005370301,0.001937363,0.001715016,0.001380315,0.001195501],"category_scores_gemma":[0.06269094,0.0009008367,0.0008564754,0.002300085,0.001476197,0.003638312,0.00132779,0.001030566,0.0004249634],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001547233,"about_ca_system_score_gemma":0.002335888,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004263408,"about_ca_topic_score_gemma":0.005036498,"domain_scores_codex":[0.981163,0.00663468,0.00168438,0.001672468,0.007742237,0.001103241],"domain_scores_gemma":[0.8939841,0.07285615,0.01042478,0.009102137,0.01223317,0.001399607],"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.003587193,0.002459988,0.1388159,0.002534306,0.001097405,0.0007641451,0.002313792,0.1895122,0.06654016,0.008707138,0.0114316,0.5722362],"study_design_scores_gemma":[0.0006032775,0.005095354,0.07278022,0.0005826393,0.0006896229,0.0006296253,0.001290879,0.8188211,0.08381318,0.004254419,0.01112784,0.0003118855],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9394467,0.001797538,0.04446932,0.0004542405,0.0001114204,0.0004337921,0.0007020308,0.008494824,0.004090134],"genre_scores_gemma":[0.8987526,0.0005625228,0.0976399,0.000122913,0.00002400812,0.000205657,0.001254079,0.0005388073,0.0008995259],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.01627393,"threshold_uncertainty_score":0.08606583,"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."}}