Java Ranger: Supporting String and Array Operations in Java Ranger (Competition Contribution)

Soha Hussein; Qiuchen Yan; Stephen McCamant; Vaibhav Sharma; Michael W. Whalen

doi:10.1007/978-3-031-30820-8_35

Java Ranger: Supporting String and Array Operations in Java Ranger (Competition Contribution)

Soha Hussein, Qiuchen Yan, Stephen McCamant, Vaibhav Sharma, Michael W. Whalen

Computer Science and Engineering

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Abstract

Java Ranger is a path-merging tool for Java Programs. It identifies branching regions of code and summarizes them by generating a disjunctive logical constraint that describes the behavior of the code region. Previously, Java Ranger showed that a reduction of 70% of execution paths is possible when used to merge branching regions of code that support numeric constraints. In this paper, we describe the support of two additional features since participation in SV-COMP 2020: symbolic array and symbolic string operations. Finally, we present a preliminary evaluation of the effect of the structure of the disjunctive constraint on the solver’s performance. Results suggest that certain constraint structures can speed up the performance of Java Ranger.

Original language	English (US)
Title of host publication	Tools and Algorithms for the Construction and Analysis of Systems - 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Proceedings
Editors	Sriram Sankaranarayanan, Natasha Sharygina
Publisher	Springer Science and Business Media Deutschland GmbH
Pages	553-558
Number of pages	6
ISBN (Print)	9783031308192
DOIs	https://doi.org/10.1007/978-3-031-30820-8_35
State	Published - 2023
Event	29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2023, held as part of the 26th European Joint Conferences on Theory and Practice of Software, ETAPS 2023 - Paris, France Duration: Apr 22 2023 → Apr 27 2023

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	13994 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2023, held as part of the 26th European Joint Conferences on Theory and Practice of Software, ETAPS 2023
Country/Territory	France
City	Paris
Period	4/22/23 → 4/27/23

Bibliographical note

Funding Information:
★The research described in this paper has been supported in part by the National Science Foundation under grant 1563920, and Google Summer of Code. ★★ Jury member ★★★Lecturer on a Leave of Absence Ain Shams University, Cairo, Egypt soha.hussien@cis.asu.edu.eg

Publisher Copyright:
© 2023, The Author(s).

Access

10.1007/978-3-031-30820-8_35

OpenUrl availability

Full text

Cite this

Hussein, S., Yan, Q., McCamant, S., Sharma, V., & Whalen, M. W. (2023). Java Ranger: Supporting String and Array Operations in Java Ranger (Competition Contribution). In S. Sankaranarayanan, & N. Sharygina (Eds.), Tools and Algorithms for the Construction and Analysis of Systems - 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Proceedings (pp. 553-558). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 13994 LNCS). Springer Science and Business Media Deutschland GmbH. https://doi.org/10.1007/978-3-031-30820-8_35

Java Ranger: Supporting String and Array Operations in Java Ranger (Competition Contribution). / Hussein, Soha; Yan, Qiuchen; McCamant, Stephen et al.
Tools and Algorithms for the Construction and Analysis of Systems - 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Proceedings. ed. / Sriram Sankaranarayanan; Natasha Sharygina. Springer Science and Business Media Deutschland GmbH, 2023. p. 553-558 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 13994 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Hussein, S, Yan, Q, McCamant, S, Sharma, V & Whalen, MW 2023, Java Ranger: Supporting String and Array Operations in Java Ranger (Competition Contribution). in S Sankaranarayanan & N Sharygina (eds), Tools and Algorithms for the Construction and Analysis of Systems - 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 13994 LNCS, Springer Science and Business Media Deutschland GmbH, pp. 553-558, 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2023, held as part of the 26th European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, 4/22/23. https://doi.org/10.1007/978-3-031-30820-8_35

Hussein S, Yan Q, McCamant S, Sharma V, Whalen MW. Java Ranger: Supporting String and Array Operations in Java Ranger (Competition Contribution). In Sankaranarayanan S, Sharygina N, editors, Tools and Algorithms for the Construction and Analysis of Systems - 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Proceedings. Springer Science and Business Media Deutschland GmbH. 2023. p. 553-558. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-031-30820-8_35

Hussein, Soha ; Yan, Qiuchen ; McCamant, Stephen et al. / Java Ranger : Supporting String and Array Operations in Java Ranger (Competition Contribution). Tools and Algorithms for the Construction and Analysis of Systems - 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Proceedings. editor / Sriram Sankaranarayanan ; Natasha Sharygina. Springer Science and Business Media Deutschland GmbH, 2023. pp. 553-558 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{e40716ecb0b24ca4be9b20a2922a42bd,

title = "Java Ranger: Supporting String and Array Operations in Java Ranger (Competition Contribution)",

abstract = "Java Ranger is a path-merging tool for Java Programs. It identifies branching regions of code and summarizes them by generating a disjunctive logical constraint that describes the behavior of the code region. Previously, Java Ranger showed that a reduction of 70% of execution paths is possible when used to merge branching regions of code that support numeric constraints. In this paper, we describe the support of two additional features since participation in SV-COMP 2020: symbolic array and symbolic string operations. Finally, we present a preliminary evaluation of the effect of the structure of the disjunctive constraint on the solver{\textquoteright}s performance. Results suggest that certain constraint structures can speed up the performance of Java Ranger.",

author = "Soha Hussein and Qiuchen Yan and Stephen McCamant and Vaibhav Sharma and Whalen, {Michael W.}",

note = "Funding Information: ★The research described in this paper has been supported in part by the National Science Foundation under grant 1563920, and Google Summer of Code. ★★ Jury member ★★★Lecturer on a Leave of Absence Ain Shams University, Cairo, Egypt soha.hussien@cis.asu.edu.eg Publisher Copyright: {\textcopyright} 2023, The Author(s).; 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2023, held as part of the 26th European Joint Conferences on Theory and Practice of Software, ETAPS 2023 ; Conference date: 22-04-2023 Through 27-04-2023",

year = "2023",

doi = "10.1007/978-3-031-30820-8_35",

language = "English (US)",

isbn = "9783031308192",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Science and Business Media Deutschland GmbH",

pages = "553--558",

editor = "Sriram Sankaranarayanan and Natasha Sharygina",

booktitle = "Tools and Algorithms for the Construction and Analysis of Systems - 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Proceedings",

address = "Germany",

}

TY - GEN

T1 - Java Ranger

T2 - 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2023, held as part of the 26th European Joint Conferences on Theory and Practice of Software, ETAPS 2023

AU - Hussein, Soha

AU - Yan, Qiuchen

AU - McCamant, Stephen

AU - Sharma, Vaibhav

AU - Whalen, Michael W.

N1 - Funding Information: ★The research described in this paper has been supported in part by the National Science Foundation under grant 1563920, and Google Summer of Code. ★★ Jury member ★★★Lecturer on a Leave of Absence Ain Shams University, Cairo, Egypt soha.hussien@cis.asu.edu.eg Publisher Copyright: © 2023, The Author(s).

PY - 2023

Y1 - 2023

N2 - Java Ranger is a path-merging tool for Java Programs. It identifies branching regions of code and summarizes them by generating a disjunctive logical constraint that describes the behavior of the code region. Previously, Java Ranger showed that a reduction of 70% of execution paths is possible when used to merge branching regions of code that support numeric constraints. In this paper, we describe the support of two additional features since participation in SV-COMP 2020: symbolic array and symbolic string operations. Finally, we present a preliminary evaluation of the effect of the structure of the disjunctive constraint on the solver’s performance. Results suggest that certain constraint structures can speed up the performance of Java Ranger.

AB - Java Ranger is a path-merging tool for Java Programs. It identifies branching regions of code and summarizes them by generating a disjunctive logical constraint that describes the behavior of the code region. Previously, Java Ranger showed that a reduction of 70% of execution paths is possible when used to merge branching regions of code that support numeric constraints. In this paper, we describe the support of two additional features since participation in SV-COMP 2020: symbolic array and symbolic string operations. Finally, we present a preliminary evaluation of the effect of the structure of the disjunctive constraint on the solver’s performance. Results suggest that certain constraint structures can speed up the performance of Java Ranger.

UR - http://www.scopus.com/inward/record.url?scp=85161397238&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85161397238&partnerID=8YFLogxK

U2 - 10.1007/978-3-031-30820-8_35

DO - 10.1007/978-3-031-30820-8_35

M3 - Conference contribution

AN - SCOPUS:85161397238

SN - 9783031308192

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 553

EP - 558

BT - Tools and Algorithms for the Construction and Analysis of Systems - 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Proceedings

A2 - Sankaranarayanan, Sriram

A2 - Sharygina, Natasha

PB - Springer Science and Business Media Deutschland GmbH

Y2 - 22 April 2023 through 27 April 2023

ER -

Java Ranger: Supporting String and Array Operations in Java Ranger (Competition Contribution)

Abstract

Publication series

Conference

Bibliographical note

Access

OpenUrl availability

Other files and links

Fingerprint

Cite this