Peter Garba

Extend SymCC to perform forking exploration (not just concolic execution)

7

Hi, I'm testing with a simple test case and it seems to fail. Any idea what's going wrong ? I'm compiling with `-O0` and the expected result should be `0x10`....

Fails to identify simple MBA and to optimize code

2

Hi, I tested goomba on a simple program and it seems to fail to detect MBAs within a compare and return. **MBA: 2 * (a2 & a1) + (a2 ^...

Cache invalidated might fail on Mac M1/M2

1

The cache invalidation might fail if a new function is allocated at the same address as the cached one. This happens to me on the M2 after I delete a...

Hi, Any plan to support LLVM > 14 and implement opaque pointer support ? Thanks, Peter