IMPROVING THE PRECISION OF FLOW-SENSITIVE LIFETIME ANALYSIS
Object lifetimes are a common source of bugs in C++ that can cause crashes, unexpected behavior, or even security vulnerabilities. Herb Sutter, the chair of the C++ standard committee proposed a flow-sensitive analysis to catch lifetime errors statically. Sadly, this analysis is prone to false pos...
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Sciendo
2021-01-01
|
| Series: | Acta Electrotechnica et Informatica |
| Subjects: | |
| Online Access: | http://www.aei.tuke.sk/papers/2020/4/02_Pataki.pdf |