On the construction of soundness oracles-Reference-Cited by-同舟云学术

On the construction of soundness oracles

Published:2017-06-18 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 6th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis
language:
Short-container-title:

Author:

Dietrich Jens¹,Sui Li¹,Rasheed Shawn¹,Tahir Amjed¹

Affiliation:

1. Massey University, New Zealand

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3088515.3088520

Reference29 articles.

1. JSR 199: Java Compiler API 2006. https://jcp.org/en/ jsr/detail?id=199 {accessed 12 March 17}. JSR 199: Java Compiler API 2006. https://jcp.org/en/ jsr/detail?id=199 {accessed 12 March 17}.

2. JSR 223: Scripting for the Java Platform 2006. https: //jcp.org/en/jsr/detail?id=223 {accessed 12 March 17}. JSR 223: Scripting for the Java Platform 2006. https: //jcp.org/en/jsr/detail?id=223 {accessed 12 March 17}.

3. The DaCapo benchmarks

4. InvokeDynamic support in Soot

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

1. Hunting for Truth: Analyzing Explanation Methods in Learning-based Vulnerability Discovery;2023 IEEE 8th European Symposium on Security and Privacy (EuroS&P);2023-07

2. A study of single statement bugs involving dynamic language features;Proceedings of the 30th IEEE/ACM International Conference on Program Comprehension;2022-05-16

3. Identifying Java calls in native code via binary scanning;Proceedings of the 29th ACM SIGSOFT International Symposium on Software Testing and Analysis;2020-07-13

4. On the recall of static call graph construction in practice;Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering;2020-06-27

5. NJR;Companion Proceedings for the ISSTA/ECOOP 2018 Workshops;2018-07-16