symqemu icon indicating copy to clipboard operation
symqemu copied to clipboard
verified publisher icon eurecom-s3

Is specifying an input mandatory for SymQEMU to perform symbolic execution and generate test cases?

Open HUAYAN999 opened this issue 9 months ago • 12 comments

We are attempting to perform symbolic execution testing on ArduPilot using SymQEMU, but SymQEMU fails to generate corresponding test cases during the program's runtime. The program utilizes command-line options as input.How do we solve this problem?

Image

HUAYAN999 avatar Mar 31 '25 05:03 HUAYAN999