{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002180968,0.0009152505,0.001005278,0.00129972,0.0004428076,0.001091108,0.001453163,0.001342052,0.0030675],"category_scores_gemma":[0.006448057,0.0003554198,0.000767747,0.0009180602,0.0005983012,0.001679757,0.0006240802,0.001966136,0.0008640207],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001222309,"about_ca_system_score_gemma":0.001079661,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.01042218,"about_ca_topic_score_gemma":0.005436957,"domain_scores_codex":[0.9990509,0.000285409,0.0000571435,0.0002737194,0.0002129798,0.0001197918],"domain_scores_gemma":[0.9959809,0.002967346,0.0002884924,0.0001906982,0.0005089152,0.00006368333],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00007261395,0.00007551838,0.002194696,0.00003517911,0.00004525689,0.00008849874,0.00003190509,0.9510779,0.0004405555,0.01060212,0.001295282,0.03404051],"study_design_scores_gemma":[0.00000137956,0.000003986767,0.00006834033,0.000001905658,0.000002167353,0.000003959822,0.000001522148,0.9965913,0.00006618644,0.003141187,0.0001160281,0.00000202952],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03319215,0.0003982859,0.9621035,0.0006949091,0.00006531171,0.00007161045,0.0005309412,0.001099142,0.001844219],"genre_scores_gemma":[0.8485827,0.0005603074,0.1416516,0.0003264224,0.0001791534,0.0003740899,0.001588787,0.0001219779,0.006614926],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01042218,"threshold_uncertainty_score":0.02072299,"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."}}