Comments (2)
I am not familiar with this version of BinRec. It seems you compiled your binary as position independent executable. I have not looked at the code, but I suspect this implementation does not rebase addresses collected at runtime. In this case, the entry point detection should not be able to correlate them with the corresponding sections of the input binary. Try passing -no-pie
to the compiler when linking your test programs.
from binrec-tob.
Indeed, I just figured today as well. Compiling with -no-pie
works like a charm. Thanks a lot for the help 🙏
from binrec-tob.
Related Issues (20)
- Latest version of S2E throws errors when tracing our integration tests HOT 1
- Analysis Timeout HOT 1
- Inconsistent Trace Info on Some Samples with Concrete Inputs HOT 15
- coreutils: sleep recovered segfaults on XMM instruction
- coreutils: uniq recovered binary segfaults
- obstack support HOT 2
- coreutils: cksum produces incomplete trace HOT 1
- Conflict between symbolic tracing code and export interval in BinRec plugins
- coreutils: shuf recovered buffer overflow
- coreutils: cannot locate main function HOT 5
- Meta: Code maintainability improvements HOT 3
- Initial Support for Callbacks HOT 1
- `env` and `printenv` tests fail on Debian 11.3 version of BinRec HOT 1
- I can't install binrec, it seems there is a HTTP connection error when executing "pipenv lock --dev" HOT 2
- coreutils: stat sample writes corrupt output and segfaults
- `mkdir` test case fails at a high rate on LLVM-14 version of BinRec HOT 5
- Keep failing while cloning qemu/capstone HOT 2
- Add support for making bytes within file inputs symbolic
- coreutils: seq fails during symbolic execution 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 binrec-tob.