I believe I wrote that writeup with IDA Pro 6.9, which is why the output differs from what you got (on IDA Pro 6.6).
Simple enough to change if you want to follow along though. 1. Go to 0x4006F2 (main). 2. Press the key "y". 3. Change (int, __int64) to (int, char **, char **). _______________________________________________ klee-dev mailing list klee-dev@imperial.ac.uk https://mailman.ic.ac.uk/mailman/listinfo/klee-dev