Author:
Cortesi Agostino,Lauko Henrich,Olliaro Martina,Ročkai Petr
Publisher
Springer International Publishing
Reference31 articles.
1. Polyspace, MathWorks (2001)
2. Static Code Analysis, OWASP (2017)
3. Interactive: the top programming languages 2018. IEEE Spectrum Magazine (2018)
4. Amadini, R., et al.: Reference abstract domains and applications to string analysis. Fundam. Inform. 158(4), 297–326 (2018)
5. Lecture Notes in Computer Science;R Amadini,2017
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Lifting String Analysis Domains;Intelligent Systems Reference Library;2023
2. Relational String Abstract Domains;Lecture Notes in Computer Science;2022
3. String Abstract Domains and Their Combination;Logic-Based Program Synthesis and Transformation;2022
4. Abstracting Strings for Model Checking of C Programs;Applied Sciences;2020-11-05
5. Cross-program taint analysis for IoT systems;Proceedings of the 35th Annual ACM Symposium on Applied Computing;2020-03-29