Search results

How do I study path coverage for SymQEMU?

Status: Open.

#74 In eurecom-s3/symqemu;

· HUAYAN999 opened on Apr 26, 2025

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

enhancementNew feature or requestNew feature or request

Status: Open.

#72 In eurecom-s3/symqemu;

· HUAYAN999 opened on Mar 31, 2025

SymQEMU Cannot Execute Programs with Socket Communication, While QEMU Works Normally

questionFurther information is requestedFurther information is requested

Status: Open.

#71 In eurecom-s3/symqemu;

· whytolearn opened on Dec 3, 2024

The path to the compiled binary file is wrong

Status: Open.

#70 In eurecom-s3/symqemu;

· nj00001 opened on Nov 22, 2024

I encountered an error when I compiled aarch64-linux-user

Status: Open.

#67 In eurecom-s3/symqemu;

· zz-fz-john opened on Oct 25, 2024

SymQEMU does not explore all possible paths.

Status: Open.

#65 In eurecom-s3/symqemu;

· bat-serjo opened on Oct 16, 2024

How do you specify a memory region (not input file) as symbolic

Status: Open.

#64 In eurecom-s3/symqemu;

· sergeykostov opened on Oct 16, 2024

symqemu aborted when using the qemu plugin function

Status: Open.

#62 In eurecom-s3/symqemu;

· prankster009 opened on Aug 5, 2024

Symqemu raise SIGSEGV

bugSomething isn't workingSomething isn't working

Status: Open.

#56 In eurecom-s3/symqemu;

· ntcmp2u opened on Apr 22, 2024

Support system mode

enhancementNew feature or requestNew feature or request

system mode

Status: Open.

#32 In eurecom-s3/symqemu;

· Kalvin2077 opened on Nov 1, 2023

symqemu can not run normally on program which call mmap to read file

enhancementNew feature or requestNew feature or request

Status: Open.

#30 In eurecom-s3/symqemu;

· hackoflpf opened on Jul 25, 2023

PC/eip is not updated within a basic block

Status: Open.

#27 In eurecom-s3/symqemu;

· enlighten5 opened on Apr 20, 2023