{"id":"W7125592821","doi":"10.1109/cascon66301.2025.00063","title":"Efficient Pointer Analysis via Def-Use Graph Pruning","year":2025,"lang":"","type":"article","venue":"","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Alberta","funders":"","keywords":"Pointer analysis; Pointer (user interface); Alias; Computation; Dataflow; Graph; Abstract interpretation","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.0008277371,0.001359837,0.001021569,0.003187678,0.001009246,0.001640881,0.002208906,0.0009325125,0.006361439],"category_scores_gemma":[0.005781619,0.0006052052,0.001610662,0.002370442,0.00104251,0.002857175,0.002449481,0.001405569,0.002276292],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001103225,"about_ca_system_score_gemma":0.003461558,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00558594,"about_ca_topic_score_gemma":0.01215606,"domain_scores_codex":[0.9983918,0.0002483593,0.00009423572,0.0002712694,0.0007630732,0.0002313096],"domain_scores_gemma":[0.9960549,0.001646361,0.000309793,0.00105011,0.0008522994,0.00008650556],"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.0004899759,0.000333716,0.008563414,0.0006631334,0.0001722522,0.0005469001,0.0004043944,0.08322454,0.05767098,0.06148275,0.02564548,0.7608024],"study_design_scores_gemma":[0.00008636337,0.0001734409,0.002916384,0.000111523,0.0001391485,0.0003995872,0.0001900976,0.8081892,0.06781897,0.09224929,0.02764727,0.00007882065],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.057273,0.0005734096,0.9073318,0.0004829501,0.0001017742,0.0002755614,0.001001014,0.02307117,0.009889289],"genre_scores_gemma":[0.2496375,0.0004246623,0.7333999,0.0004439532,0.00006305826,0.0003377801,0.002945596,0.002947836,0.009799777],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.006361439,"threshold_uncertainty_score":0.02128106,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01642816820716717,"score_gpt":0.2502881582726237,"score_spread":0.2338599900654566,"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."}}