Detection of incorrect pointer dereferences for C/C++ programs using static code analysis and logical inference.
| Autor: | Vert, Tatiana, Krikun, Tatiana, Glukhikh, Mikhail |
|---|---|
| Zdroj: | 2013 Tools & Methods of Program Analysis; 2013, p78-82, 5p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|