Sergey Kostov

Link failed.

1

`root@4a76e0836a28:/workdir# cat main.c #include #include #include #include #include #include #include int main(int argc, char**argv) { char bug[128]; int fd = open(argv[1], O_CREAT); int bla = 0; read(fd, &bla, sizeof(bla)); void*...

input file instead of @@

1

Currently you have to tell the fuzzee where to read the input from using @@ or @ for stdin. How do you do it the other way around? How do...

pip install fail.

6

This maybe should be in the triton project but... ``` (venv) serj@debtest:~/GITHUB/tritondse$ uname -a Linux debtest 6.10.9-amd64 #1 SMP PREEMPT_DYNAMIC Debian 6.10.9-1 (2024-09-08) x86_64 GNU/Linux (venv) serj@debtest:~/GITHUB/tritondse$ pip install tritondse...

SymQEMU does not explore all possible paths.

2

Using an example from another project (Triton) ``` serj@debtest:~/GITHUB/symqemu/build$ echo AAAAAAAAAAAAAAAAAAAAAA | ./qemu-x86_64 /home/serj/GITHUB/Triton/src/examples/python/ctf-writeups/cm002/cm002 This is SymCC running with the QSYM backend Enter password: [STAT] SMT: { "solving_time": 0, "total_time":...