Comments (4)
I think the fix is to not remove the constraints that match preconstraints. In line 591 of tracer/tracer.py change new_constraints = filter(lambda x: x.cache_key not in precon_cache_keys, path.state.se.constraints)
to new_constraints = path.state.se.constraints
.
I believe this was necessary in the old style of preconstraining before we switched to the replacement frontend. If so, and the filter isn't necessary, making this change should not break any existing tests and will fix this issue.
from driller.
angr/tracer#18 should fix it. Waiting for some tests before I merge it
from driller.
Merged, this issue should be fixed
from driller.
Looks to be fixed on my end too! Thank you!
from driller.
Related Issues (20)
- "Too much TLS data" with more complex binary HOT 4
- Question of loading file in Driller using current angr version HOT 1
- Is there a tracer missing here? HOT 2
- IOError: [Errno 2] No such file or directory: '/dev/shm/work/bof/sync/fuzzer-master/fuzz_bitmap' ('', None)
- AttributeError: 'module' object has no attribute 'suppress'
- AttributeError: 'module' object has no attribute 'ExitStack' HOT 2
- angr.exploration_techniques.tracer.TracerDesyncError: BUG! Please investigate the claim in the comment above me HOT 4
- AngrTracerError: Could not step to the first address of the trace - state split HOT 14
- Problems in the application of driller
- 502 error bad gateway
- angr TracerDesyncError HOT 1
- Running CGC binaries with Driller HOT 1
- Driller on CGC programs HOT 2
- Some Problems about TracerDesyncError, mode= 'tracing' and tracer
- AngrTracerError: Trace does not seem to contain object initializers for <ELF Object libutil-2.31.so, maps [0x500000:0x50410f]>. Do you want to have a Tracer(aslr=False)? HOT 1
- Could not step to the first address of the trace - state split. Do you want to have a Tracer(fast_forward_to_entry=False)?
- AFL Warning: We probably want the fork() children to run first HOT 1
- Exception: Internal error: cannot translate address HOT 6
- how to work if the input of target is a file?
- How to solve a Tracer(aslr=False) HOT 5
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 driller.