{"id":"W4316662528","doi":"10.1007/978-3-031-24950-1_13","title":"Sound Symbolic Execution via Abstract Interpretation and Its Application to Security","year":2023,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Security and Verification in Computing","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":false,"ca_institutions":"","funders":"Agence Nationale de la Recherche; Institut national de recherche en informatique et en automatique (INRIA); Canadian Institute of Steel Construction","keywords":"Soundness; Abstract interpretation; Computer science; Correctness; Symbolic execution; Interpretation (philosophy); Context (archaeology); Theoretical computer science; Static analysis; Symbolic data analysis; Programming language; Software","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001871763,0.001284004,0.00142288,0.001738802,0.001060485,0.003439356,0.001571132,0.001559299,0.006439048],"category_scores_gemma":[0.008603809,0.001093016,0.002072563,0.002087951,0.00808805,0.004923344,0.003142772,0.005189993,0.001133904],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00160948,"about_ca_system_score_gemma":0.00133295,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001684818,"about_ca_topic_score_gemma":0.001377086,"domain_scores_codex":[0.9980608,0.000714744,0.0001366395,0.0002937461,0.000606419,0.0001877447],"domain_scores_gemma":[0.9951514,0.003781755,0.0001418622,0.0005882655,0.0002679536,0.0000686614],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00007223055,0.00003307044,0.0001200008,0.0001040169,0.00002142987,0.0001313315,0.000331795,0.02622721,0.001949902,0.9233479,0.0014535,0.04620769],"study_design_scores_gemma":[0.00001378569,0.00001252398,0.00003226578,0.00002145029,0.0000179669,0.00003346731,0.00002726595,0.07483301,0.001378643,0.9211235,0.002493339,0.00001277655],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.005535848,0.0004868946,0.978231,0.0003744192,0.0001037071,0.00004219329,0.00004660342,0.001044132,0.01413504],"genre_scores_gemma":[0.4706822,0.001574853,0.5079117,0.0003256954,0.0003792968,0.0002585692,0.0002050926,0.0009185228,0.01774408],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.006439048,"threshold_uncertainty_score":0.02154082,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01841541595703027,"score_gpt":0.2699051008504644,"score_spread":0.2514896848934341,"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."}}