question-mark
Stuck on an issue?

Lightrun Answers was designed to reduce the constant googling that comes with debugging 3rd party libraries. It collects links to all the places you might be looking at while hunting down a tough bug.

And, if you’re still stuck at the end, we’re happy to hop on a call to see how we can help out.

Examples not working with current version of angr

See original GitHub issue

A few examples at the angr-doc repo are not working with the current version of angr. The problem seems to be related to the args keyword that was passed to SimState via the **kwargs. The following example illustrates the problem:

import angr

def main():
    proj = angr.Project('./binary', load_options={"auto_load_libs": False})

    argv = angr.claripy.BVS("arg1", 0x41 * 27)
    initial_state = proj.factory.entry_state(args=[argv])

if __name__ == '__main__':
    main()

The above code will throw an exception:

Traceback (most recent call last):
  File "unknown.py", line 10, in <module>
    main()
  File "unknown.py", line 7, in main
    initial_state = proj.factory.entry_state(args=[argv])
  File "angr/factory.py", line 218, in entry_state
    return self._project._simos.state_entry(**kwargs)
  File "angr/simos.py", line 281, in state_entry
    return self.state_blank(**kwargs)
  File "angr/simos.py", line 230, in state_blank
    state = SimState(**kwargs)
TypeError: __init__() got an unexpected keyword argument 'args'

Issue Analytics

  • State:closed
  • Created 7 years ago
  • Comments:5 (3 by maintainers)

github_iconTop GitHub Comments

1reaction
rhelmotcommented, Jul 17, 2018

(Note that since the opening of this issue we have gained the ability to provide command line arguments to windows binaries. It has been, like, two years.)

0reactions
rhelmotcommented, Jul 17, 2018

Exact same story as above: angr does not understand how to provide command line arguments to macOS binaries. If you are on macOS you may still analyze windows and Linux binaries though.

Read more comments on GitHub >

github_iconTop Results From Across the Web

Symbion example not working · Issue #1892 · angr/angr - GitHub
Hi, I am trying to reproduce the Symbion example for x86_64 elf. The example running under the angr-dev environment crashed. I am working...
Read more >
Installing - angr Documentation
You have an outdated version of the cffi Python module. angr now requires at least version 1.7 of cffi. Try pip install --upgrade...
Read more >
Simple angr example not working
Running the python code shows following output: python3 solve_angr.py WARNING | 2020-06-08 10:02:29,497 | angr. state_plugins. symbolic_memory ...
Read more >
Angr can't solve the googlectf beginner problem - Stack Overflow
I believe this script isn't printing anything because angr fails to find a solution and then exits. You can prove this by appending...
Read more >
Anger management: 10 tips to tame your temper - Mayo Clinic
For example, say, "I'm upset that you left the table without offering to help with the ... Seek help for anger issues if...
Read more >

github_iconTop Related Medium Post

No results found

github_iconTop Related StackOverflow Question

No results found

github_iconTroubleshoot Live Code

Lightrun enables developers to add logs, metrics and snapshots to live code - no restarts or redeploys required.
Start Free

github_iconTop Related Reddit Thread

No results found

github_iconTop Related Hackernoon Post

No results found

github_iconTop Related Tweet

No results found

github_iconTop Related Dev.to Post

No results found

github_iconTop Related Hashnode Post

No results found