Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis 2019
DOI: 10.1145/3293882.3330555
|View full text |Cite
|
Sign up to set email alerts
|

Judge: identifying, understanding, and evaluating sources of unsoundness in call graphs

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
4
1

Citation Types

0
26
0

Year Published

2020
2020
2024
2024

Publication Types

Select...
2
2
2

Relationship

0
6

Authors

Journals

citations
Cited by 30 publications
(28 citation statements)
references
References 29 publications
0
26
0
Order By: Relevance
“…In this section, we discuss initial results for the research question: RQ Does the approach improve in terms of soundness with respect to serialization features? To answer this question, we run Salsa with the Java Call Graph Test Suite (JCG) [13,29,30]. This test suite contains nine test cases (Ser1-9) with serialization or deserialization in it.…”
Section: Early Resultsmentioning
confidence: 99%
See 4 more Smart Citations
“…In this section, we discuss initial results for the research question: RQ Does the approach improve in terms of soundness with respect to serialization features? To answer this question, we run Salsa with the Java Call Graph Test Suite (JCG) [13,29,30]. This test suite contains nine test cases (Ser1-9) with serialization or deserialization in it.…”
Section: Early Resultsmentioning
confidence: 99%
“…Dynamic features are heavily used in contemporary software systems [21,29] to link/load new class libraries, methods, and objects and extend the programs' functionalities. Therefore, ignoring such constructs leads to unsound callgraphs; they miss feasible runtime paths because they cannot infer the possible execution from the code [29,30,37].…”
Section: Introductionmentioning
confidence: 99%
See 3 more Smart Citations