{"id":"W2017035494","doi":"10.1145/2491411.2491456","title":"Z3-str: a z3-based string solver for web application analysis","year":2013,"lang":"en","type":"article","venue":"","topic":"Web Application Security Vulnerabilities","field":"Computer Science","cited_by":195,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"String (physics); Computer science; String metric; Solver; String searching algorithm; Theoretical computer science; Programming language; Symbolic execution; Concatenation (mathematics); Plug-in; Approximate string matching; Mathematics; Data structure; Physics; Combinatorics; Theoretical physics; Pattern matching","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.0002859184,0.0001292822,0.0001889938,0.0002307585,0.0001316073,0.0002742964,0.0007764276,0.00006387224,0.0001410065],"category_scores_gemma":[0.00003136664,0.0001199346,0.0001664939,0.000940347,0.00003925691,0.0004656732,0.00009652897,0.00006701001,0.0002329161],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00006043856,"about_ca_system_score_gemma":0.00007932581,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0002246963,"about_ca_topic_score_gemma":0.00008743223,"domain_scores_codex":[0.9986928,0.00002945253,0.0002893003,0.0005038902,0.0002415666,0.0002430565],"domain_scores_gemma":[0.9984274,0.0002820773,0.0001042371,0.0008269926,0.0002601825,0.00009909815],"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.000006310664,0.0002605979,0.006890027,0.00006987594,0.0002506519,1.31745e-7,0.0003992855,0.004705049,0.02279796,0.9052504,0.009202869,0.05016685],"study_design_scores_gemma":[0.0002989946,0.0000215637,0.004234849,0.000001514732,0.00003983027,1.939926e-7,0.00005155661,0.9632027,0.008307283,0.01184795,0.01180003,0.0001935239],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03730826,0.00001285574,0.9575158,0.002690106,0.0000203413,0.0007938661,0.000006274408,0.0003503545,0.00130213],"genre_scores_gemma":[0.8700294,4.909262e-7,0.127627,0.0006089314,0.00004354648,0.001321452,0.00001560869,0.000007361898,0.0003462506],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9584976,"threshold_uncertainty_score":0.4890791,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01062013889141894,"score_gpt":0.243209372700715,"score_spread":0.2325892338092961,"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."}}