Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2501.18046 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866909470009851904 |
|---|---|
| author | Jonáš, Martin Strejček, Jan Trtík, Marek |
| author_facet | Jonáš, Martin Strejček, Jan Trtík, Marek |
| contents | We consider gray-box fuzzing of a program instrumented such that information about evaluation of program expressions converting values of numerical types to Boolean, like x <= y, is recorded during each program's execution. Given that information for an executed program path, we formally define the problem for finding input such that program's execution with that input evaluates all those expressions in the same order and with the same Boolean values as in the original execution path, except for the last one, which is evaluated to the opposite value. Then we also provide an algorithm searching for a solution of the problem effectively. The effectiveness of the algorithm is demonstrated empirically via its evaluation on the TestComp 2024 benchmark suite. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2501_18046 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Gray-Box Fuzzing in Local Space Jonáš, Martin Strejček, Jan Trtík, Marek Programming Languages We consider gray-box fuzzing of a program instrumented such that information about evaluation of program expressions converting values of numerical types to Boolean, like x <= y, is recorded during each program's execution. Given that information for an executed program path, we formally define the problem for finding input such that program's execution with that input evaluates all those expressions in the same order and with the same Boolean values as in the original execution path, except for the last one, which is evaluated to the opposite value. Then we also provide an algorithm searching for a solution of the problem effectively. The effectiveness of the algorithm is demonstrated empirically via its evaluation on the TestComp 2024 benchmark suite. |
| title | Gray-Box Fuzzing in Local Space |
| topic | Programming Languages |
| url | https://arxiv.org/abs/2501.18046 |