{"id":"W3043186838","doi":"10.1145/3406883","title":"Artifact for Article "How Effective Are Smart Contract Analysis Tools? Evaluating Smart Contract Static Analysis Tools using Bug Injection"","year":2020,"lang":"en","type":"dataset","venue":"Artifact Digital Object Group","topic":"FinTech, Crowdfunding, Digital Finance","field":"Business, Management and Accounting","cited_by":4,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of British Columbia","funders":"","keywords":"Artifact (error); Computer science; Engineering; 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.002358133,0.002041639,0.001155594,0.006263364,0.001099205,0.002873391,0.002457588,0.001893279,0.06233937],"category_scores_gemma":[0.01373735,0.0006660786,0.001488258,0.004756549,0.0005608134,0.001500608,0.002539416,0.001561297,0.07567149],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002396318,"about_ca_system_score_gemma":0.003272027,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.06705365,"about_ca_topic_score_gemma":0.1401912,"domain_scores_codex":[0.9972948,0.0003560424,0.0002943251,0.0004659923,0.001272086,0.0003167133],"domain_scores_gemma":[0.9905205,0.001875229,0.0008507707,0.00241419,0.003493976,0.0008453705],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"not_applicable","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00008493512,0.00003849821,0.00129526,0.0004609476,0.00002553673,0.00001053861,0.00001856692,0.0002788258,0.0001153489,0.000386801,0.9935682,0.003716426],"study_design_scores_gemma":[0.0005041212,0.00008046071,0.01429996,0.0005731891,0.00006767974,0.00007097708,0.0002384388,0.002631113,0.0008595737,0.001877417,0.9787481,0.00004897603],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"dataset","genre_gemma":"dataset","genre_scores_codex":[0.0003463071,0.00005847127,0.000090614,0.0001686062,0.00005695979,0.00002466544,0.9973846,0.0004703127,0.001399412],"genre_scores_gemma":[0.0007558627,0.00003547566,0.00038701,0.00007142768,0.00001057079,0.0000574426,0.9972606,0.00006159983,0.00136008],"genre_candidate":"dataset","genre_consensus":"dataset","teacher_disagreement_score":0.06705365,"threshold_uncertainty_score":0.208546,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06267438748878422,"score_gpt":0.3041883113458083,"score_spread":0.2415139238570241,"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."}}