diff options
| author | LoboQ1ng <xpess@qq.com> | 2025-08-09 02:48:50 +0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-08-08 20:48:50 +0200 |
| commit | 5bb7ba6222f7bdee30835c40f2c2bc9c98157c70 (patch) | |
| tree | 86130f22ec39c4707d1192a3f5bf00299014b13c /lldb/source/Plugins/ScriptInterpreter/Python/PythonDataObjects.cpp | |
| parent | f35e9fa478e25266f7a72aed5cd34437c6aa7c39 (diff) | |
[analyzer] Detect use-after-free for field address (e.g., &ptr->field) (#152462)
This patch improves MallocChecker to detect use-after-free bugs when
a freed structure's field is passed by address (e.g., `&ptr->field`).
Previously, MallocChecker would miss such cases, as it only checked the
top-level symbol of argument values.
This patch analyzes the base region of arguments and extracts the
symbolic region (if any), allowing UAF detection even for field address
expressions.
Fixes #152446
Diffstat (limited to 'lldb/source/Plugins/ScriptInterpreter/Python/PythonDataObjects.cpp')
0 files changed, 0 insertions, 0 deletions