Broadly Enabling KLEE to Effortlessly Find Unrecoverable Errors in Rust

Ying Zhang, Peng Li,Yu Ding,Wang Lingxiang,Dan Williams,Na Meng

2024 ACM/IEEE 44TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING SOFTWARE ENGINEERING IN PRACTICE, ICSE-SEIP 2024（2024）

引用 1|浏览4

关键词

Unrecoverable Error,Division By Zero,Formal Verification,Function Tests,Functional Annotation,Parametrized,Partial Support,Static Analysis,Code Generation,Open-source Projects,Manual Effort,Constraint Satisfaction Problem,Motivating Example,Domain-specific Languages,Error Handling,Verification Tool,Partial Trace,Invalid Values

AI 理解论文

溯源树

样例

生成溯源树，研究论文发展脉络

Chat Paper

正在生成论文摘要