sjcappella

**Describe the bug** The PCode generated for the x86 `pop` instruction when the stack pointer, `rsp`, is used as an operand (both as a register operand and as the base...

Confusion Using C Interface

3

Hi, I've recently started the process of integrating STP into my symbolic execution engine as a compliment to Z3. As a result, I've augmented my unit tests to make sure...

Overstrict client hostname requirements

1

Was working on getting disfuzz-afl setup on a few boxes and ran into an error where my boxes have a '-' in their hostname, but the client name regular expression...