Comments (3)
@ameily - Can this be closed? I think your recent PRs may resolve issues here, unless this is related to the transient failures we still see on some tests that otherwise pass. Can you confirm, Thanks!
from binrec-tob.
I am still seeing this intermittently on multiple samples, seemingly at random. So this, along with #33, are still present.
from binrec-tob.
If I encountered this again I'll check to see if this is actually a side-effect of inconsistent trace info (#170)
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
- Cannot lift recompiled example binaries 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.