<div dir="auto"><div dir="ltr">Hi everyone!<div><br></div><div>My name is Ostap, I'm undergraduate and I would like to write a check for Static Analyzer as part of my coursework.</div><div><br></div><div>Since C++17 <font face="monospace">std::optional</font> was introduced. There are already a lot of checks for pointers (like <a href="https://clang.llvm.org/docs/analyzer/checkers.html#core-nulldereference-c-c-objc" rel="noreferrer noreferrer noreferrer" target="_blank">core.NullDereference</a>), but any checks for <font face="monospace">std::optional</font> are not present yet.<br><br>Are you interested in this kind of patch or is there something like this in progress?<br><br>Best regards,<br>Ostap Mykytiuk</div></div></div>