Examples not working with current version of angr
See original GitHub issueA 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:
- Created 7 years ago
- Comments:5 (3 by maintainers)
Top 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 >Top Related Medium Post
No results found
Top Related StackOverflow Question
No results found
Troubleshoot Live Code
Lightrun enables developers to add logs, metrics and snapshots to live code - no restarts or redeploys required.
Start FreeTop Related Reddit Thread
No results found
Top Related Hackernoon Post
No results found
Top Related Tweet
No results found
Top Related Dev.to Post
No results found
Top Related Hashnode Post
No results found
Top GitHub Comments
(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.)
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.