Abstract | ||
---|---|---|
Integer overflows have threatened software applications for decades. Thus, in this paper, we propose a novel technique to provide automatic repairs of integer overflows in C source code. Our technique, based on static symbolic execution, fuses detection, repair generation and validation. This technique is implemented in a pr... |
Year | DOI | Venue |
---|---|---|
2021 | 10.1109/TSE.2019.2946148 | IEEE Transactions on Software Engineering |
Keywords | DocType | Volume |
Maintenance engineering,Software,Tools,Fault detection,Runtime,Engines,Fuses | Journal | 47 |
Issue | ISSN | Citations |
10 | 0098-5589 | 2 |
PageRank | References | Authors |
0.37 | 0 | 5 |
Name | Order | Citations | PageRank |
---|---|---|---|
Paul Muntean | 1 | 11 | 4.32 |
Martin Monperrus | 2 | 1330 | 70.54 |
Hao Sun | 3 | 3 | 0.73 |
Jens Grossklags | 4 | 1297 | 109.03 |
Claudia Eckert | 5 | 76 | 13.13 |