{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.004560649,0.001397299,0.001593455,0.008472139,0.0007669167,0.003138641,0.002501067,0.00143455,0.003911905],"category_scores_gemma":[0.01453606,0.001082384,0.001135333,0.006580374,0.001275706,0.005720789,0.001903133,0.001761397,0.00143728],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0009400831,"about_ca_system_score_gemma":0.002275574,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001131573,"about_ca_topic_score_gemma":0.001264697,"domain_scores_codex":[0.9952545,0.0009981701,0.0004232298,0.0006521064,0.002440832,0.0002311949],"domain_scores_gemma":[0.9834415,0.01014616,0.00159062,0.002511831,0.002115624,0.0001942225],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00007045979,0.0001542923,0.005023528,0.002231281,0.0001147088,0.0001438741,0.0003026153,0.0138005,0.00293987,0.04481991,0.009227491,0.9211714],"study_design_scores_gemma":[0.00007540527,0.0004767992,0.00779219,0.005081939,0.0004457734,0.003584788,0.001070887,0.377445,0.03959741,0.2823757,0.2816828,0.0003713129],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"review","genre_scores_codex":[0.01685352,0.05017507,0.9106166,0.001793363,0.0001918193,0.0004452662,0.0009548435,0.004827556,0.01414197],"genre_scores_gemma":[0.2292154,0.06899788,0.6903772,0.0007550191,0.0003605408,0.000453559,0.001947487,0.0005824218,0.007310559],"genre_candidate":"review","genre_consensus":null,"teacher_disagreement_score":0.008472139,"threshold_uncertainty_score":0.02411932,"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."}}