Author:
Pham Long H.,Sun Jun,Le Quang Loc
Publisher
Springer International Publishing
Reference47 articles.
1. Facebook Infer.
https://fbinfer.com
2. https://figshare.com/s/ba1c12ad90c138fbb240
3. https://github.com/sunjun-group/Ziyuan
4. Albarghouthi, A., Berdine, J., Cook, B., Kincaid, Z.: Spatial interpolants. In: Vitek, J. (ed.) ESOP 2015, pp. 634–660 (2015).
https://doi.org/10.1007/978-3-662-46669-8_26
5. Berdine, J., Cox, A., Ishtiaq, S., Wintersteiger, C.M.: Diagnosing abstraction failure for separation logic-based analyses. In: Madhusudan, P., Seshia, S.A. (eds.) CAV 2012, pp. 155–173 (2012).
https://doi.org/10.1007/978-3-642-31424-7_16
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Shape-analysis driven memory graph visualization;Proceedings of the 30th IEEE/ACM International Conference on Program Comprehension;2022-05-16