{"id":"W4384302865","doi":"10.1109/icse48619.2023.00087","title":"AChecker: Statically Detecting Smart Contract Access Control Vulnerabilities","year":2023,"lang":"en","type":"article","venue":"","topic":"Security and Verification in Computing","field":"Computer Science","cited_by":63,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of British Columbia","funders":"","keywords":"Smart contract; Access control; Computer science; Computer security; Consistency (knowledge bases); Solidity; Permission; Control flow; Physical access; Control (management); Security analysis; Role-based access control; Blockchain; Artificial intelligence; 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.004137472,0.001530345,0.001045455,0.008394945,0.0006782105,0.001923218,0.001763792,0.001874757,0.002376172],"category_scores_gemma":[0.02175697,0.0007302823,0.001064532,0.002847091,0.001007244,0.005161496,0.003277915,0.001320739,0.001765404],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0009899428,"about_ca_system_score_gemma":0.002232655,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.006985037,"about_ca_topic_score_gemma":0.009384084,"domain_scores_codex":[0.9928307,0.001074728,0.0007963247,0.001529399,0.003268613,0.0005003337],"domain_scores_gemma":[0.9806892,0.008489138,0.002965286,0.004757352,0.002784893,0.0003142283],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.001470781,0.0007434454,0.2202842,0.001774829,0.00073982,0.00150194,0.001419756,0.04697757,0.04121878,0.0172983,0.05275002,0.6138207],"study_design_scores_gemma":[0.0001612182,0.0004175374,0.05195141,0.0003875741,0.0001962323,0.002311244,0.0006447454,0.7914445,0.09273493,0.02500963,0.03446515,0.0002758992],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.4067319,0.003759129,0.4158186,0.001110171,0.0002416731,0.0008122963,0.01435841,0.144959,0.0122088],"genre_scores_gemma":[0.7474486,0.0008758135,0.2285472,0.0004520714,0.00005641913,0.0002747236,0.01522831,0.001564618,0.005552145],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.008394945,"threshold_uncertainty_score":0.02188128,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04749461741768342,"score_gpt":0.3178266684592295,"score_spread":0.2703320510415461,"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."}}