{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.001055261,0.0003898404,0.0003540883,0.0008639474,0.0003385438,0.0005456962,0.001739827,0.0002953448,0.00000471132],"category_scores_gemma":[0.0001251545,0.0004219945,0.0000714788,0.0008634821,0.0001779606,0.0006478811,0.0009597046,0.0006042645,0.0001817911],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002626491,"about_ca_system_score_gemma":0.0001660492,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0000251813,"about_ca_topic_score_gemma":0.0000628307,"domain_scores_codex":[0.9966973,0.00002888686,0.0005468848,0.001540923,0.0007251061,0.0004609139],"domain_scores_gemma":[0.9978775,0.0004635643,0.0002995945,0.0008736986,0.0002827939,0.0002028919],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00001181592,0.00003550525,0.00003534556,0.0001357324,0.0000149277,0.00001530884,0.007205981,0.03001329,0.0009214709,0.1379269,0.00001885553,0.8236649],"study_design_scores_gemma":[0.0000819174,0.00005454938,0.0004762099,0.0001745699,0.000004301332,0.00002640041,4.146101e-7,0.7209056,0.0007221167,0.2769547,0.0002203735,0.0003788683],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.001528525,0.0001761794,0.9943203,0.0008324225,0.001264141,0.0006470575,0.000004670528,0.0003529178,0.0008737947],"genre_scores_gemma":[0.9729305,0.0000332515,0.02568301,0.0008690516,0.0003564124,0.0000302191,0.00001150652,0.00002915147,0.00005691459],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.971402,"threshold_uncertainty_score":0.9998232,"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."}}