Supermole

icon indicating an email [email protected]

icon company HexHive icon location Switzerland icon location Systems security researcher | @HexHive Graduated PhD student

Results 4 issues of Supermole

Sim procedure of gets

I implement simprocedure of gets

exploration_techniques/tracer.py: if in crash_mode,do not return

1 comment

there is a little bug in exploration_techniques/tracer.py, if we are in crash mode,there is not supposed to return. Instead, there should do nothing and then go on execution

More wrappers

add 7 common glibc function wrappers, including `strcmp`, `strncmp`, `strlen`, `atoi`, `atol`, `strcpy` and `strncpy` Every wrapper was provided with a `test_xxx.c` to verity its correctness.

fix constraint lost problem caused by mmap() wrapper

`mmap()` should do symbolization stuff, because sometimes it also works like a `read` function, if the program use `mmap()` to map part of input into memory, we need to make...