{"id":"W2166075056","doi":"10.1109/tcad.2005.844092","title":"Context sensitive symbolic pointer analysis","year":2005,"lang":"en","type":"article","venue":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems","topic":"Parallel Computing and Optimization Techniques","field":"Computer Science","cited_by":11,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Pointer analysis; Computer science; Pointer (user interface); Compile time; Binary decision diagram; Theoretical computer science; Compiler; Abstract interpretation; Generality; Algorithm; Programming language; Static analysis; 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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0006784917,0.0007308425,0.0006227143,0.001709331,0.000690425,0.001438532,0.001926513,0.0007669583,0.005351595],"category_scores_gemma":[0.004715707,0.0003562436,0.0007459888,0.001928058,0.001638781,0.0027483,0.00200786,0.001783644,0.001037312],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001387845,"about_ca_system_score_gemma":0.002366807,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003041292,"about_ca_topic_score_gemma":0.002710521,"domain_scores_codex":[0.9986359,0.0002771674,0.00006246859,0.0001999309,0.0006452349,0.0001792445],"domain_scores_gemma":[0.9980066,0.0008848896,0.0001855882,0.0005677683,0.0003085455,0.00004663638],"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.0002756935,0.00006785634,0.001387314,0.0003274087,0.00004662933,0.0002274042,0.0002754244,0.1071976,0.03589324,0.5019257,0.005030014,0.3473457],"study_design_scores_gemma":[0.00004183936,0.00008255408,0.0004038039,0.00005758868,0.00005625496,0.0001434625,0.00006383532,0.6278342,0.03572211,0.3238113,0.01173041,0.00005251346],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01431564,0.0003136868,0.9775839,0.0001878272,0.00005412515,0.00004079989,0.0001021993,0.003165012,0.00423695],"genre_scores_gemma":[0.5134419,0.0008246907,0.476189,0.0004093536,0.0001197862,0.0002062965,0.0003438173,0.0006575747,0.007807625],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005351595,"threshold_uncertainty_score":0.01790291,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02657423014802609,"score_gpt":0.2426884237362728,"score_spread":0.2161141935882467,"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."}}