Path explosion is a crucial problem in symbolic execution that leads to poor performance in symbolic execution engines and hinders the widespread adoption of respective tools. A path selector is a component of a symbolic machine designed to address the path explosion problem. AI-powered path selectors have gained attention, but many challenges regarding the training process, feature selection, and information representation remain. We propose PySymGym, a framework for training AI-powered path selectors through typical supervised learning, which includes language-independent, graph-based data representation, a training protocol that minimizes manual dataset preparation, and supportive infrastructure. Evaluation of the proposed solution shows that it enables training models comparable to searchers based on manually developed heuristics: providing close coverage percentage at comparable analysis time (with the same timeout), and allowing the system to generate fewer tests.
Original languageEnglish
Title of host publication 2025 IEEE/ACM 1st International Workshop on Advancing Static Analysis for Researchers and Industry Practitioners in Software Engineering (STATIC)
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages13-16
Number of pages4
ISBN (Electronic)979-8-3315-1462-4
ISBN (Print)9798331514624
DOIs
StatePublished - 29 Apr 2025
EventIEEE/ACM 1st International Workshop on Advancing Static Analysis for Researchers and Industry Practitioners in Software Engineering (STATIC) -
Duration: 29 Apr 202529 Apr 2025
https://conf.researchr.org/home/icse-2025/static-2025#About

Conference

ConferenceIEEE/ACM 1st International Workshop on Advancing Static Analysis for Researchers and Industry Practitioners in Software Engineering (STATIC)
Period29/04/2529/04/25
Internet address

    Research areas

  • GNN, graph neural network, path selection, symbolic execution, training infrastructure

ID: 137726913