<div dir="ltr">Hello! :)<br><br>In short: Is it possible to obtain the type of the region a void* or nonloc::LocAsInteger object points to? Note that this is a C++-only checker.<br><br>In detail:<br><br>I'm working on numerous fixes to UninitializedObjectChecker. I am however stuck at two of them:<br><br>* instead of ignoring void pointer types, I intend to obtain the object it points to by first acquiring the dynamic type of the pointer<br>* handle nonloc::LocAsInteger, where I'll also need obtain a dynamic type.<br><br>However, after carefully reading Artem Degrachev's (absolutely outstanding!) guide "Clang Static Analyzer -- A Checker Developer's Guide", in section 4.3.6 (about check::Bind) I found this statement:<br>"Not every memory region has a type; for example, any void pointer points to a certain memory region, but the analyzer cannot afford making assumptions about the type of values stored in such region.".<br><br>I have looked around in the code, have found `getDynamicTypeInfo`, and tried various other methods, but I start to think that this hasn't changed since the time that statement was written. Is this correct?<br><br>Best regards,<br>Kristóf Umann<br></div>