{"id":"W2067611491","doi":"10.1109/scam.2012.19","title":"Alias-Aware Propagation of Simple Pattern-Based Properties in PHP Applications","year":2012,"lang":"en","type":"article","venue":"","topic":"Web Application Security Vulnerabilities","field":"Computer Science","cited_by":7,"is_retracted":false,"has_abstract":true,"ca_institutions":"Polytechnique Montréal","funders":"","keywords":"Computer science; Alias; Source code; Context (archaeology); Control flow; Code (set theory); Focus (optics); Theoretical computer science; Perspective (graphical); Programming language; Data mining; 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.0003187036,0.00009581012,0.0001261936,0.0001152785,0.00004614319,0.00003345052,0.0004623315,0.00004388178,0.00004478577],"category_scores_gemma":[0.00001803641,0.00008117219,0.00003258181,0.0003714635,0.00006101948,0.0004887895,0.0000857608,0.00007091231,0.00004828602],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00004913399,"about_ca_system_score_gemma":0.00006981433,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0002684912,"about_ca_topic_score_gemma":0.00006449331,"domain_scores_codex":[0.9989704,0.00006709053,0.0003119353,0.0002067431,0.0002290122,0.0002147905],"domain_scores_gemma":[0.9990777,0.00006666455,0.00009745533,0.0005823878,0.000116649,0.00005911728],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.00001626216,0.00308231,0.2747953,0.001035826,0.00002624854,4.438473e-7,0.01026319,0.001382472,0.02938811,0.3945846,0.001916412,0.2835088],"study_design_scores_gemma":[0.001228138,0.0001162215,0.06199332,0.00006417595,0.00001220611,0.000004684539,0.001066482,0.2626241,0.6301957,0.007291981,0.03454176,0.0008612162],"study_design_candidate":"bench_or_experimental","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.06599104,0.00006251511,0.9307218,0.0009764748,0.00002618634,0.0007607114,0.000004793752,0.0001499312,0.001306586],"genre_scores_gemma":[0.9945182,0.000001114361,0.004323465,0.0002628981,0.00003552722,0.0007372602,0.000009224074,0.000007062292,0.0001052087],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9285272,"threshold_uncertainty_score":0.3310106,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03167166683690184,"score_gpt":0.2595274101313241,"score_spread":0.2278557432944223,"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."}}