Comments (5)
mkdir
is routinely failing with the "can't locate main" error (#160):
binrec.errors.BinRecLiftingError: failed to perform initial lifting of LLVM bitcode: s2e-out: [recover_functions] Failed to located main via entrypoint
I'm working now to see if this is really a side effect of the known issue where inconsistent trace info is being produced, #14, or if something else is going on.
from binrec-tob.
With the latest update I cannot get mkdir to lift properly at all and I'm not sure if it was ever working to be honest. There was a typo in the batch file where the -f
flag was being passed in, which doesn't exist in that version of mkdir
. So, what was being run and lifted previous was an early exit with a usage error.
from binrec-tob.
I've confirmed that this issues is related to #14. I finally got a working mkdir trace and then compared each failure against it. Each failure had a large trace info difference from the working trace info.
For some reason mkdir reliably triggers this behavior in S2E and I don't see anything in the source code or lifted IR that points to why.
@michaelbrownuc For now I think we should disable the mkdir integration test since this appears to be part of a much larger issue, potentially within S2E.
from binrec-tob.
This is fine for now, we can look into this at the same time as #14.
from binrec-tob.
Also affecting server
, now a high priority to repair.
from binrec-tob.
Related Issues (20)
- 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
- Support tail calls to library functions HOT 13
- Make use of S2E parallel execution mode HOT 4
- Inconsistent fpregs address in binrec_lift and qemu code
- Recovered binaries init_array is incorrect HOT 5
- Verify or Add Support for long double Types HOT 1
- coreutils: base64 reads beyond size of file
- Regression: `eq`, `args` fails during `lift-trace` HOT 3
- coreutils: shuf recovered buffer overflow
- coreutils: cannot locate main function HOT 5
- Meta: Code maintainability improvements HOT 3
- coreutils: recovered stty segfault on vasprintf (potential limitation of variadic arguments) HOT 1
- coreutils: date multiple output formatting issues
- coreutils: who recovered binary segfault on realloc HOT 1
- Regression: Unable to locate main function during lift
- I can't install binrec, it seems there is a HTTP connection error when executing "pipenv lock --dev" HOT 2
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.