{"id":"W3000032641","doi":"10.1109/pst47121.2019.8949045","title":"Machine Learning Model for Smart Contracts Security Analysis","year":2019,"lang":"en","type":"article","venue":"","topic":"Blockchain Technology Applications and Security","field":"Computer Science","cited_by":84,"is_retracted":false,"has_abstract":true,"ca_institutions":"McMaster University","funders":"","keywords":"Solidity; Computer science; Code (set theory); Smart contract; Software; Static analysis; Computer security; Machine learning; Software engineering; Artificial intelligence; Blockchain; Programming language","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":[],"consensus_categories":[],"category_scores_codex":[0.0003156157,0.00008724599,0.0001876274,0.0001518149,0.0001132758,0.00004450952,0.0005525547,0.0001034764,0.00002938783],"category_scores_gemma":[0.00002194568,0.00007752914,0.0001204392,0.0005583232,0.00002014866,0.0001200301,0.0001360504,0.0001704543,0.00004015272],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001477947,"about_ca_system_score_gemma":0.00002141975,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00005237301,"about_ca_topic_score_gemma":0.0001137856,"domain_scores_codex":[0.9991977,0.00001584269,0.0001476341,0.0003462597,0.00009025109,0.0002023251],"domain_scores_gemma":[0.9991746,0.00009059403,0.00006307566,0.0005473664,0.00007895101,0.00004541211],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000003527212,0.00007442167,0.008519161,0.000005795666,0.0001295118,2.599499e-7,0.0002497085,0.009631325,0.000163062,0.9769105,0.0001235627,0.004189107],"study_design_scores_gemma":[0.0002056849,0.00002225838,0.0002675619,5.865154e-7,0.00003104141,8.165865e-7,0.000006223175,0.9395809,0.0003204135,0.05619754,0.003268771,0.0000982619],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.05020734,0.00006988287,0.9448586,0.001374109,0.00002475909,0.0002611535,0.000004160546,0.000361275,0.002838724],"genre_scores_gemma":[0.9470112,0.000008699139,0.05129262,0.0002821014,0.000004893031,0.00004671518,0.000009825129,0.00000383971,0.001340138],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9299495,"threshold_uncertainty_score":0.3161547,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.009469903319954561,"score_gpt":0.2353938848998701,"score_spread":0.2259239815799156,"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."}}