Stanimir Bozhilov
Stanimir Bozhilov
> Just an idea. Wouldn't be better to use generic regex like `application\/(\w+\+)?json` to cover potential future cases ? I think that'd make sense, since iirc all content types that...
Quick question: is there anything left which would still need to be done and taken care of before the PR could be reviewed again by the respective people, assigned as...
I think this could be configured to hold for many variables besides `stdin`, such as `stdout`, `stderr`, etc., right?
@nickvergessen Thanks for the review! I incorporated the suggested changes :)
There was a minor conflict in the `RequestTest` class between this PR's branch and the `master` branch which should be now resolved.
/backport to stable25
> In terms of SV-COMP, I think the act of returning such address wouldn't be considered a violation, but if it is then dereferenced, it would be an invalid dereference....
> Yes, absolutely. I think in relation to this, we could try to flag such returned memory in some way, so that whenever it's used we could directly flag the...
Looking at it, I think it shouldn't actually have any effect on soundness, right?