Comments (9)
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.
from angr-doc.
The script only works while emulating the version of libc present in the repository.
from angr-doc.
Ah I wasn't aware of that. Thanks for the tip. So if I'm understanding correctly since I'm on windows os, I won't be able to emulate the version of libc in my windows environment and therefore this example won't work unless I run it in a *nix env or on the docker container provided?
from angr-doc.
from angr-doc.
No, all you need to do is download the version of libc that lives next to the engine binary in the repository and put it in the same folder as your engine binary. angr will pick it up and emulate it.
from angr-doc.
Ok, I think I'm starting to understand now. Follow up: When you say 'the version of libc that lives next to the engine binary in the repository', where is that location you are referring to? I don't see it anywhere in the angr repo on github and when I run it through the docker container, the only libc files are I see are in /lib/x86_64-linux-gnu/. Is this where the libc files I need to download are or is there another location I'm missing?
from angr-doc.
from angr-doc.
Sorry to keep asking questions. I feel like my questions aren't very intelligent but I can't seem to figure out what I'm doing wrong. I downloaded the binary from angr-doc/examples/b01lersctf2020_little_engine/. In there, I see two files:
solve.py
engine
There is no libc file to download here. I've checked the entire angr-doc repo but I don't see any libc files to be downloaded in it. What am I misunderstanding and where do I find "the version of libc that lives next to the engine binary" since I don't seem to see any libc that is in this directory?
from angr-doc.
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!
from angr-doc.
Related Issues (20)
- Unexpected behaviour between different versions while analyzing "beginner" binary HOT 1
- [help] why no solutions?
- why input length must multiply 4 in examples/b01lersctf2020_little_engine HOT 1
- Question: BVS, bytes, ASCII, constraints HOT 3
- Resolve automatically HOT 15
- Remove references to Layer7 and other Surveyor solves HOT 1
- CFG Emulated "None type" Node HOT 2
- Swapped find and avoid on sim_mgr.explore when using argv claripy HOT 1
- where can i find the source code of the folder "example"? HOT 1
- Error/inconsistency handling arm code between angr versions
- Add concatenating constraints to cheatsheet HOT 2
- insomnihack fail to find a symbolic buffer HOT 2
- `test_apidoc.test_lint_docstrings` fails under python 3.8 HOT 5
- `test_examples.test_defcon2016quals_baby_re` is timing out in CI HOT 3
- Testing the java_androidnative1 example failed with error HOT 3
- Move API docs to project repos. HOT 5
- Install information is out of date and sometimes incorrect HOT 1
- Migrate gitbook docs to api docs HOT 1
- driller's approach page cannot find HOT 1
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from angr-doc.