make_concolic on .rodata #172
Unanswered
EvyatarZiv
asked this question in
Q&A
Replies: 0 comments
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
-
Hey all, I've recently started using maat and I've encountered a potential issue. Using the python library, when I try to make_concolic on an address in .rodata, I get a runtime error claiming I tried to write to an address with no write permissions. Clearly this address shouldn't have write permissions, my question is why make_concolic would try to write to that address. In the documentation it says:
"The current concrete values present in memory are automatically bound to the new variables in the engine's VarContext (so the created variables are not purely symbolic and can still be concretized)."
which gave me the impression that making a concolic buffer at this address would not necessarily require writing. Is this expected behavior or a bug? If it isn't a bug, should I find out whether an address has write permissions through maat (and if so how) or through the binary?
Thanks in advance
Beta Was this translation helpful? Give feedback.
All reactions