{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001086627,0.0001239768,0.000173687,0.0001228942,0.0003194577,0.0006859266,0.001096728,0.00005740824,0.00008708148],"category_scores_gemma":[0.0005950823,0.0001135428,0.00006727542,0.0006439817,0.00005232694,0.0007696663,0.0002475932,0.0001951329,0.0002474419],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003378139,"about_ca_system_score_gemma":0.00008092737,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001061618,"about_ca_topic_score_gemma":0.00002308044,"domain_scores_codex":[0.9984493,0.0001431259,0.000343,0.0003872949,0.0002857274,0.000391522],"domain_scores_gemma":[0.9976181,0.001563634,0.00008684437,0.000486241,0.0001427064,0.0001024588],"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.00003309982,0.0001504293,0.02201506,0.0001495152,0.0001259248,0.00004745551,0.006123705,0.003674234,0.002431093,0.7690139,0.004726079,0.1915094],"study_design_scores_gemma":[0.0006038436,0.00004783305,0.01577922,0.00001811056,0.000004929876,0.00000992738,0.0002086642,0.9634521,0.00276509,0.01392923,0.002934071,0.0002469951],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.115535,0.00002137225,0.8750758,0.00275146,0.000546089,0.0001910044,0.000002219477,0.001333643,0.004543442],"genre_scores_gemma":[0.9889224,0.000005491186,0.009474301,0.001220843,0.00009075419,0.00002875297,0.000001817186,0.000008494517,0.0002471501],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9597778,"threshold_uncertainty_score":0.6614406,"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."}}