Solving 8-Queens with KLEE

C (WinAPI) |

0 B

None

0 👍

0 👎

Raw Download Clone Embed Print View

#include <klee/klee.h>
 
#define N 8
unsigned char queens[N];
 
int abs(int x)
{
  return x >= 0 ? x: -x;
}
 
int attack()
{
  int i, j;
  for (i = 0; i < N; i++) {
    for (j = i + 1; j < N; j++) {
      if ((queens[i] == queens[j]) ||
          (abs(queens[i] - queens[j]) == j - i)) {
        return 1;
      }
    }
  }
  return 0;
}
 
int main(int argc, char *argv[])
{
  int i;
  klee_make_symbolic(&queens[0], sizeof(unsigned char) * N, "queens");
  for (i = 0; i < N; i++) {
    queens[i] %= N;
  }
  klee_assert(attack());
  return 0;
}

Comments

CSS |

0 B

0 👍

0 👎

Raw Download Clone Embed Print View

✅ Leaked Exploit Documentation:
 
https://docs.google.com/document/d/1dOCZEHS5JtM51RITOJzbS4o3hZ-__wTTRXQkV1MexNQ/edit?usp=sharing
 
This made me $13,000 in 2 days.
 
Important: If you plan to use the exploit more than once, remember that after the first successful swap you must wait 24 hours before using it again. Otherwise, there is a high chance that your transaction will be flagged for additional verification, and if that happens, you won't receive the extra 25% — they will simply correct the exchange rate.
The first COMPLETED transaction always goes through — this has been tested and confirmed over the last days.
 
Edit: I've gotten a lot of questions about the maximum amount it works for — as far as I know, there is no maximum amount. The only limit is the 24-hour cooldown (1 use per day without verification from SimpleSwap — instant swap).

01/01/70 12:00:00 AM UTC
Plain Text |
0 B
|
👍
/
👎

Pasted

Solving 8-Queens with KLEE

Comments