Author:
Cuoq Pascal,Runarvot Loïc,Cherepanov Alexander
Publisher
Springer International Publishing
Reference11 articles.
1. Canet, G., Cuoq, P., Monate, B.: A value analysis for C programs. In: Proceedings of the 2009 Ninth IEEE International Working Conference on Source Code Analysis and Manipulation, SCAM 2009, pp. 123–124. IEEE Computer Society, Washington, DC (2009). http://dx.doi.org/10.1109/SCAM.2009.22
2. Cousot, P., Cousot, R.: Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints. In: Proceedings of the 4th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, POPL 1977, pp. 238–252. ACM, New York (1977). http://doi.acm.org/10.1145/512950.512973
3. Lecture Notes in Computer Science;P Cuoq,2012
4. Cuoq, P., Rieu-Helft, R.: Result graphs for an abstract interpretation-based static analyzer. To appear
5. Ireland, I.: SafeType: Detecting type violations for type-based alias analysis of C. Ph.D. thesis, University of Alberta (2013)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Exploring C semantics and pointer provenance;Proceedings of the ACM on Programming Languages;2019-01-02
2. Cerberus-BMC: A Principled Reference Semantics and Exploration Tool for Concurrent and Sequential C;Computer Aided Verification;2019
3. Sulong, and Thanks for All the Bugs;Proceedings of the Twenty-Third International Conference on Architectural Support for Programming Languages and Operating Systems;2018-03-19