Bug 2238464 (CVE-2023-39070)
| Summary: | CVE-2023-39070 cppcheck: a local code execution via the removeContradiction parameter in token.cpp:1934 due to use-after-free | ||
|---|---|---|---|
| Product: | [Other] Security Response | Reporter: | Sandipan Roy <saroy> |
| Component: | vulnerability | Assignee: | Product Security <prodsec-ir-bot> |
| Status: | NEW --- | QA Contact: | |
| Severity: | medium | Docs Contact: | |
| Priority: | medium | ||
| Version: | unspecified | CC: | dodji, sipoyare |
| Target Milestone: | --- | Keywords: | Security |
| Target Release: | --- | ||
| Hardware: | All | ||
| OS: | Linux | ||
| Whiteboard: | |||
| Fixed In Version: | Doc Type: | If docs needed, set a value | |
| Doc Text: |
A flaw was found in the cppcheck package. A local code execution might be possible via the removeContradiction parameter in token.cpp:1934 due to a heap use-after-free.
|
Story Points: | --- |
| Clone Of: | Environment: | ||
| Last Closed: | Type: | --- | |
| Regression: | --- | Mount Type: | --- |
| Documentation: | --- | CRM: | |
| Verified Versions: | Category: | --- | |
| oVirt Team: | --- | RHEL 7.3 requirements from Atomic Host: | |
| Cloudforms Team: | --- | Target Upstream Version: | |
| Embargoed: | |||
| Bug Depends On: | 2238465, 2238466 | ||
| Bug Blocks: | 2238467 | ||
|
Description
Sandipan Roy
2023-09-12 04:29:26 UTC
Created cppcheck tracking bugs for this issue: Affects: epel-all [bug 2238466] Affects: fedora-all [bug 2238465] From the upstream bug: "That is clearly invalid code. Cppcheck generally assumes that its input is compileable." This is a bug, but clearly not a security vulnerability. If a "local code execution" needs shell, it is possible for an attacker to do much more than pass arbitrary strings to cppcheck. (In reply to Siddhesh Poyarekar from comment #3) > From the upstream bug: > > "That is clearly invalid code. Cppcheck generally assumes that its input is > compileable." > > This is a bug, but clearly not a security vulnerability. If a "local code > execution" needs shell, it is possible for an attacker to do much more than > pass arbitrary strings to cppcheck. Indeed. Also, how is this related to RHEL-8? Unless I am mistaken, the version of cppcheck in RHEL-8 is 2.4 whereas this use-after-free error is on cppcheck 2.12. Looking at the code, 2.4 is quite different from 2.12. I have tried to reproduce the error by compiling cppcheck 2.4 (from the RHEL 8.8 branch) with asan as described in https://sourceforge.net/p/cppcheck/discussion/general/thread/fa43fb8ab1, I ran bin/cppcheck on the "poc" input program and ... there was no error. What am I missing? |