Abstract | ||
---|---|---|
Static analysis is an effective way of checking memory safety issues in program. Usually, multiple analysis algorithms usually run together to achieve a precise analysis result. In this paper, a novel analysis frame work over access path is presented for incorporating analysis algorithms. A pointer analysis based on access path works as a base layer, alias and pointer information are automatically handled. An summary based checking algorithm is designed for checking real world project. Moreover, the framework is fully extensible and various analysis can be added as plugins. Experimental results show that our method has good precision on Juliet Test Suite and scales to large software. |
Year | DOI | Venue |
---|---|---|
2018 | 10.1109/APSEC.2018.00044 | 2018 25th Asia-Pacific Software Engineering Conference (APSEC) |
Keywords | Field | DocType |
Safety,Static analysis,Indexes,Arrays,Security,Kernel | Computer architecture,Computer science,Real-time computing,Static random-access memory,Extensibility,Scalability | Conference |
ISSN | ISBN | Citations |
1530-1362 | 978-1-7281-1970-0 | 0 |
PageRank | References | Authors |
0.34 | 0 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Guang Chen | 1 | 54 | 19.54 |
Min Zhou | 2 | 69 | 22.62 |
Jia-guang Sun | 3 | 1807 | 134.30 |
Xiaoyu Song | 4 | 318 | 46.99 |