Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

is there any quick start document to help ? #1368

Open
b1gcat opened this issue Jan 21, 2025 · 2 comments
Open

is there any quick start document to help ? #1368

b1gcat opened this issue Jan 21, 2025 · 2 comments
Assignees
Labels

Comments

@b1gcat
Copy link

b1gcat commented Jan 21, 2025

Question

Hi all,

I have tried a very simple problem, but failed. someone can help me?

Image Image Image

00_angr_find.zip

by the way , I it seems ok if i try in console:

def solve():
    # create project
    proj = angr.Project('00_angr_find')
    # entry point
    init_state = proj.factory.entry_state()
    # create simulation
    simulation = proj.factory.simgr(init_state)
    # expected address
    print_good = 0x0804868C
    # start explore
    simulation.explore(find=print_good)

    if simulation.found:
        solution = simulation.found[0]
        print('flag: ', solution.posix.dumps(0))
    else:
        print('no solution')
        

solve()
flag:  b'IICLTGRK'

@b1gcat b1gcat added needs-triage Issue has yet to be looked at by a maintainer question labels Jan 21, 2025
@ltfish ltfish self-assigned this Jan 21, 2025
@ltfish ltfish added bug and removed question needs-triage Issue has yet to be looked at by a maintainer labels Jan 21, 2025
@ltfish
Copy link
Member

ltfish commented Jan 21, 2025

I'm sure this is a bug in how angr management uses/references SimStates... I do not have cycles to fix it right now, but we will get to it soon.

@ltfish
Copy link
Member

ltfish commented Jan 21, 2025

Thanks for reporting!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

No branches or pull requests

2 participants