{"id":"W3005043524","doi":"10.1145/996893.996860","title":"Symbolic pointer analysis revisited","year":2004,"lang":"en","type":"article","venue":"ACM SIGPLAN Notices","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":7,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Computer science; Pointer (user interface); Pointer analysis; Compiler; Call graph; Theoretical computer science; Binary decision diagram; Programming language; Symbolic execution; Optimizing compiler; Static analysis; Algorithm; Software; Artificial intelligence","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.0004317612,0.0001188469,0.0001961971,0.0002833318,0.00008533824,0.0001825986,0.001700801,0.00005607328,0.00003773343],"category_scores_gemma":[0.0004340526,0.0001043081,0.0001032955,0.001382604,0.00003542305,0.0006657944,0.0002639739,0.0001090938,0.0002885674],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00004360058,"about_ca_system_score_gemma":0.00002340967,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00006276866,"about_ca_topic_score_gemma":0.00001511121,"domain_scores_codex":[0.998857,0.00008590986,0.0002394614,0.0003499129,0.0002420276,0.00022571],"domain_scores_gemma":[0.9982294,0.0001195283,0.0001381781,0.001368865,0.00006671145,0.00007729307],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"observational","study_design_scores_codex":[0.00005207406,0.0003378419,0.02582134,0.0001444649,0.001353048,0.00009442832,0.009207192,0.01179872,0.003822218,0.8875311,0.001159925,0.05867765],"study_design_scores_gemma":[0.003721209,0.0007517167,0.6355199,0.0002855186,0.001817166,0.00008930137,0.0004042561,0.1527532,0.07563352,0.09922551,0.02700172,0.00279699],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1783404,0.0001957304,0.8147339,0.001451163,0.0002923093,0.0001447273,0.000006389581,0.0003875797,0.004447844],"genre_scores_gemma":[0.5727628,0.000006709938,0.426695,0.0004214739,0.00004452636,0.000004429852,0.000008443379,0.000004652113,0.00005190235],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.7883056,"threshold_uncertainty_score":0.4253559,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02748096730214771,"score_gpt":0.3031241112063783,"score_spread":0.2756431439042306,"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."}}