little_engine example not working for me

Hi,

I’m just starting to play with angr over the last few days. I have been trying to run the first example (Beginner reversing example: little_engine) but it is not working on my end.

I created a separate virtual environment for angr, downloaded the solve.py and the engine executable. When I do python solve.py, I get the following output:

WARNING | 2021-11-30 19:50:08,765 | cle.backends.externs | Symbol was allocated without a known size; emulation may fail if it is used non-opaquely: _ZSt4cout
WARNING | 2021-11-30 19:50:08,765 | cle.backends.externs | Symbol was allocated without a known size; emulation may fail if it is used non-opaquely: _ZSt3cin
WARNING | 2021-11-30 19:50:08,780 | cle.loader | For more information about "Symbol was allocated without a known size", see https://docs.angr.io/extending-angr/environment
#simdata
WARNING | 2021-11-30 19:50:08,824 | angr.simos.simos | stdin is constrained to 302 bytes (has_end=True). If you are only providing the first 302 bytes instead of the entire
 stdin, please use stdin=SimFileStream(name='stdin', content=your_first_n_bytes, has_end=False).
WARNING | 2021-11-30 19:50:15,214 | angr.storage.memory_mixins.default_filler_mixin | The program is accessing memory or registers with an unspecified value. This could ind
icate unwanted behavior.
WARNING | 2021-11-30 19:50:15,214 | angr.storage.memory_mixins.default_filler_mixin | angr will cope with this by generating an unconstrained symbolic variable and continui
ng. You can resolve this by:
WARNING | 2021-11-30 19:50:15,214 | angr.storage.memory_mixins.default_filler_mixin | 1) setting a value to the initial state
WARNING | 2021-11-30 19:50:15,214 | angr.storage.memory_mixins.default_filler_mixin | 2) adding the state option ZERO_FILL_UNCONSTRAINED_{MEMORY,REGISTERS}, to make unknown
 regions hold null
WARNING | 2021-11-30 19:50:15,214 | angr.storage.memory_mixins.default_filler_mixin | 3) adding the state option SYMBOL_FILL_UNCONSTRAINED_{MEMORY,REGISTERS}, to suppress t
hese messages.
WARNING | 2021-11-30 19:50:15,214 | angr.storage.memory_mixins.default_filler_mixin | Filling memory at 0xffffffffffffffe8 with 8 unconstrained bytes referenced from 0x1016
f0 (PLT._ZNSt9exceptionD1Ev+0x476 in engine (0x16f0))
WARNING | 2021-11-30 19:50:16,273 | angr.storage.memory_mixins.default_filler_mixin | Filling memory at 0xfffffffffffffff8 with 8 unconstrained bytes referenced from 0x1016
f4 (PLT._ZNSt9exceptionD1Ev+0x47a in engine (0x16f4))
WARNING | 2021-11-30 19:50:16,793 | angr.storage.memory_mixins.default_filler_mixin | Filling memory at 0x1 with 1 unconstrained bytes referenced from 0x101705 (PLT._ZNSt9e
xceptionD1Ev+0x48b in engine (0x1705))
WARNING | 2021-11-30 19:50:16,906 | angr.storage.memory_mixins.default_filler_mixin | Filling memory at 0xc with 1 unconstrained bytes referenced from 0x10170b (PLT._ZNSt9e
xceptionD1Ev+0x491 in engine (0x170b))
WARNING | 2021-11-30 19:50:16,990 | angr.storage.memory_mixins.default_filler_mixin | Filling memory at 0xffffffffffffffc9 with 8 unconstrained bytes referenced from 0x1017
60 (PLT._ZNSt9exceptionD1Ev+0x4e6 in engine (0x1760))
Traceback (most recent call last):
  File "C:\Users\solve.py", line 69, in <module>
    print(main())
  File "C:\Users\solve.py", line 57, in main    
    valid = y[0].posix.dumps(0)
IndexError: list index out of range

Any idea on why the example is not working on my end? Happy to provide more information if needed.

[rhelmot]

Ah, shit. I’m sorry, I got this example mixed up with a different one in my head.

Can you try it with these libraries? libs.tar.gz I suspect the libraries on your OS are tripping up the emulation somehow.

[cformosa1]

With these, I was able to properly run it on my OS. Thank you so much for your all your time and help! Really appreciate it!