{"id":"W6922144367","doi":"10.1016/j.jnca.2025.104142","title":"A Comprehensive Survey of Smart Contracts Vulnerability Detection Tools: Techniques and Methodologies","year":2025,"lang":"en","type":"article","venue":"Journal of Network and Computer Applications","topic":"Blockchain Technology Applications and Security","field":"Computer Science","cited_by":15,"is_retracted":false,"has_abstract":false,"ca_institutions":"York University","funders":"Natural Sciences and Engineering Research Council of Canada; Canada Research Chairs","keywords":"Vulnerability (computing); Vulnerability assessment; Bridge (graph theory); Cover (algebra); Vulnerability management","routes":{"ca_aff":true,"ca_fund":true,"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.00106547,0.0001006079,0.0003166784,0.0001252881,0.0001715317,0.00005851507,0.0003852111,0.0001176929,3.070541e-7],"category_scores_gemma":[0.00002871662,0.00008779121,0.00004343626,0.0005702621,0.0001857833,0.0001412493,0.0002442765,0.0002615646,1.212047e-7],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001525832,"about_ca_system_score_gemma":0.00004488424,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002942768,"about_ca_topic_score_gemma":0.00002523123,"domain_scores_codex":[0.9988976,0.0002375917,0.0004615887,0.0002035342,0.00007888625,0.0001207786],"domain_scores_gemma":[0.9975291,0.00125394,0.0003368156,0.0003449899,0.0004942192,0.00004094028],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"observational","study_design_scores_codex":[0.00002167745,0.00006835021,0.002943454,0.00002703228,0.00006202356,7.485411e-7,0.00005068578,0.00006650369,0.0002351708,0.04272928,0.0002844922,0.9535106],"study_design_scores_gemma":[0.0007825577,0.0007093354,0.5572222,0.0001263532,0.00008929539,0.0003362759,0.00004773932,0.04306357,0.008458994,0.3143021,0.07449352,0.0003680443],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.04632156,0.002048749,0.9506341,0.0005447656,0.00006136941,0.000274224,0.000002687758,0.00005694034,0.00005567177],"genre_scores_gemma":[0.7671343,0.0005577398,0.232077,0.0001290254,0.00005209032,0.00004357849,7.588771e-7,0.000002437926,0.000003071208],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9531425,"threshold_uncertainty_score":0.3580022,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04593326861365952,"score_gpt":0.3176221744976744,"score_spread":0.2716889058840149,"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."}}