Sound Control-Flow Graph Extraction for Java Programs with Exceptions-Reference-Cited by-同舟云学术

Sound Control-Flow Graph Extraction for Java Programs with Exceptions

Published:2012 Issue: Volume: Page:33-47
ISSN:0302-9743
Container-title:Software Engineering and Formal Methods
language:
Short-container-title:

Author:

Amighi Afshin,de C. Gomes Pedro,Gurov Dilian,Huisman Marieke

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-33826-7_3

Reference22 articles.

1. ConFlEx, http://www.csc.kth.se/~pedrodcg/conflex

2. Amighi, A.: Flow Graph Extraction for Modular Verification of Java Programs. Master’s thesis, KTH Royal Institute of Technology, Stockholm, Sweden (February 2011), http://www.nada.kth.se/utbildning/grukth/exjobb/rapportlistor/2011/rapporter11/amighi_afshin_11038.pdf , Ref.: TRITA-CSC-E 2011:038

3. Amighi, A., de Carvalho Gomes, P., Gurov, D., Huisman, M.: Provably correct control-flow graphs from Java programs with exceptions. Tech. rep., KTH Royal Institute of Technology (2012), http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-61188

4. Bacon, D.F., Sweeney, P.F.: Fast static analysis of C++ virtual function calls. In: OOPSLA, pp. 324–341 (1996)

5. Barre, N., Demange, D., Hubert, L., Monfort, V., Pichardie, D.: SAWJA API documentation (June 2011), http://javalib.gforge.inria.fr/doc/sawja-api/sawja-1.3-doc/api/index.html

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

1. Overlaying Control Flow Graphs on P4 Syntax Trees with Gremlin;Acta Cybernetica;2024-03-04

2. Verifying Exception-Handling Code in Concurrent Libraries;2023 30th Asia-Pacific Software Engineering Conference (APSEC);2023-12-04

3. Detecting Exception Handling Bugs in C++ Programs;2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE);2023-05

4. An Approach to Using Templates for Modeling Exceptions in Terms of Petri Nets;Intelligent Algorithms in Software Engineering;2020

5. Automatic security verification of mobile app configurations;Future Generation Computer Systems;2018-03