Sound and precise static analysis using a generalization of static single assignment and value numbering-Reference-Cited by-同舟云学术

Sound and precise static analysis using a generalization of static single assignment and value numbering

Published:2024-08-27 Issue: Volume: Page:
ISSN:1433-2779
Container-title:International Journal on Software Tools for Technology Transfer
language:en
Short-container-title:Int J Softw Tools Technol Transfer

Author:

Taft S. Tucker

Publisher

Springer Science and Business Media LLC

Link

https://link.springer.com/content/pdf/10.1007/s10009-024-00762-1.pdf

Reference18 articles.

1. AdaCore: GNATSAS CodePeer documentation (2024). https://www.adacore.com/static-analysis-suite/defects-and-vulnerability

2. Boulanger, J.-L. (ed.): Static Analysis of Software: The Abstract Interpretation. John Wiley & Sons, Inc. (2012)

3. Cytron, R., Ferrante, J., Rosen, B.K., Wegman, M.N., Zadeck, F.K.: Efficiently computing static single assignment form and the control dependence graph. ACM Trans. Program. Lang. Syst. 13, 451–490 (1991). ISSN 0164-0925. https://doi.org/10.1145/115372.115320

4. Briggs, P., Cooper, K.D., Simpson, L.T.: Value numbering. Softw. Pract. Exp. 27, 701–724 (1997). ISSN 0038-0644

5. 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, pp. 238–252. ACM, Los Angeles (1977). http://doi.acm.org/10.1145/512950.512973

Cited by 1 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. State of the art in program analysis;International Journal on Software Tools for Technology Transfer;2024-09-13