Add Google2016 unbreakable challenge to examples repo #194

Merged
merged 4 commits into from May 9, 2017

Conversation

Projects
None yet
3 participants
@ctfhacker
Contributor

ctfhacker commented Apr 26, 2017

No description provided.

+
+ # We are given in the challenge that the flag begins with CTF{
+ # So we can apply constraints to ensure that is true
+ state.constraints.add(buffer[0] == ord('C'))

This comment has been minimized.

@mossberg

mossberg Apr 27, 2017

Contributor

does this still work if we use state.add instead of state.constraints.add? if so, let's use that.

@mossberg

mossberg Apr 27, 2017

Contributor

does this still work if we use state.add instead of state.constraints.add? if so, let's use that.

This comment has been minimized.

@ctfhacker

ctfhacker Apr 27, 2017

Contributor

Absolutely! Changed and pushed.

@ctfhacker

ctfhacker Apr 27, 2017

Contributor

Absolutely! Changed and pushed.

@dguido dguido added the challenge label Apr 28, 2017

@mossberg

Not sure what was happening, this script is now working for me. Almost ready to merge.

+
+ # We are given in the challenge that the flag begins with CTF{
+ # So we can apply constraints to ensure that is true
+ state.add(buffer[0] == ord('C'))

This comment has been minimized.

@mossberg

mossberg May 5, 2017

Contributor

Could you please update these calls to be state.constrain (newly added API) (http://manticore.readthedocs.io/en/latest/api.html#manticore.core.state.State.constrain)

@mossberg

mossberg May 5, 2017

Contributor

Could you please update these calls to be state.constrain (newly added API) (http://manticore.readthedocs.io/en/latest/api.html#manticore.core.state.State.constrain)

@mossberg mossberg merged commit b8991e0 into trailofbits:master May 9, 2017

1 check passed

continuous-integration/travis-ci/pr The Travis CI build passed
Details
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment