Stanimir Bozhilov
Stanimir Bozhilov
This pull request aims to resolve issue #33973 regarding the problem of accessing a JSON request body when `Content-Type` is set to `application/scim+json`. @CarlSchwan could you maybe do a review...
[CWE-562](https://cwe.mitre.org/data/definitions/562.html) is concerned with the issue of returning an address of a stack variable. Here's a minimal example of a program that has a `CWE-562` weakness: ```c char *cwe562() {...
This PR is a first quick draft of adding support for the detection of CWE-562. It's still WIP and since it's probably not directly relevant for SV-COMP, I'd say it...