Add HackCon example

[P1kachu]

New example of CTF solved with angr

Signed-off-by: Stanislas P1kachu Lejay p1kachu@lse.epita.fr

[Manouchehri]

Dang, that runtime is higher than I expected. Did threading make much of a difference?

Seems like a good example to profile.

[P1kachu]

Threading does something, but not that much. I am having a hard time profiling anything since I haven't enough RAM to run anything else sadly :/

[P1kachu]

But from my first experiment, I remember that stopping the analysis when entering the YAYY block rather than waiting for the message to be printed helped a lot, like 10 minutes faster 0.0
But maybe it was just some luck.

[ltfish]

This one is really slow. I'm interested to know what is the fundamental reason that makes it that slow. Does it take a lot of time in solving? If that's the case, our upcoming support for incremental solving might help a lot.

I'm down to accept this PR, but it will not be tested in our CI (since it is too slow). I'll merge it in if I don't see any objection within the next 24 hours.

[zardus]

+1 to merge

On Sep 7, 2016 5:37 PM, "Fish" notifications@github.com wrote:

This one is really slow. I'm interested to know what was the fundamental
reason that makes it that slow. Does it take a lot of time in solving? If
that's the case, our upcoming support for incremental solving might help a
lot.

I'm down to accept this PR, but it will not be tested in our CI (since it
is too slow). I'll merge it in if I don't see any objection within the next
24 hours.

—
You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub
#87 (comment), or mute
the thread
https://github.com/notifications/unsubscribe-auth/ADSzlwGbq7dQ_At6QleS7FNJmJGZZFiaks5qn1jJgaJpZM4JzzyV
.

[ltfish]

Thanks man!

[P1kachu]

No problem! :)