<table border="1" cellspacing="0" cellpadding="8">
    <tr>
        <th>Issue</th>
        <td>
            <a href=https://github.com/llvm/llvm-project/issues/64614>64614</a>
        </td>
    </tr>

    <tr>
        <th>Summary</th>
        <td>
            Missing documentation for some Clang Static Analyzer checks
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
            documentation,
            clang:static analyzer
      </td>
    </tr>

    <tr>
      <th>Assignees</th>
      <td>
      </td>
    </tr>

    <tr>
      <th>Reporter</th>
      <td>
          PiotrZSL
      </td>
    </tr>
</table>

<pre>
    In file `clang/include/clang/StaticAnalyzer/Checkers/Checkers.td` following checks are listed, but no such documentation exists in `clang/docs/analyzer/checkers.rst`:

- cplusplus.Move
- cplusplus.PlacementNew (invalid name in documentation, see: https://reviews.llvm.org/D157702)
- cplusplus.PureVirtualCall
- optin.osx.OSObjectCStyleCast (marked as NotDocumented)
- osx.MIG (marked as NotDocumented)
- osx.OSObjectRetainCount  (marked as NotDocumented)
- security.insecureAPI.decodeValueOfObjCType
- valist.CopyToSelf
- valist.Uninitialized
- valist.Unterminated

Looks like property Documentation cannot be trusted, as there are checks marked as HasDocumentation without documentation, and those marked as NotDocumented with documentation (osx.ObjCProperty for example).

`clang-tools-extra/docs/clang-tidy/checks/gen-static-analyzer-docs.py` should be executed after adding documentation to update aliases on Clang-tidy side.
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJyMVMFu47gS_Brq0rAgUbJjHXTwk-G3ASaTYD07h71RYstiQpMC2Uzs-foFbSuOk11gDpYFtsiqLla18F7tDGLN5v9j83UiAg3W1U_Kkvt7-y1prTzW9wZ6pRHYIuu0MDvGN8p0OkhkfDOtbEmQ6lZG6OMvdIxvmgG7F3T-w2tKki0y6K3W9k2ZHXSx4EE4BK08oWS8gTYQGAs-dANI24U9mni2NYAH5cmDMh-pSNtFDHFF7iY454ktMlasWLZm2eU5g27Uwcdf-mBf8evqkxYdRtTv-AaML5V5FVpJMGKPEfyGVGTsEVmxgoFo9BGNbxjfOHxV-OZTrV_3qXWR6jqf391lnPHqX0CDw5_KURC6EVpPH9iRlEmtP6SP28f2GTtqtnTU2AhPkdteuBeUIDx8t7S-EIs6vkPEvQ_3___9jyegP5GEMo0NhuD3dnvsglN0TJU5veLq6T6V2FmJP4UO-Ng_ts_Nj-P4LnoU1lPa2PH4w25R958KfxllFCmh1S-UX2qEbq-MoKl0fn6z9sWDVi8Io7MjOjrC-sZHnTDGErQI5MJkO-GBBnR4cuPFmNeW_xD-9ow3RYMN9NUMwkigwXqE_xDstPWTsxlfnqRvn5uniXNvHeBB7EeNjFfpxxYn-8_IWu1neCAnrlG4lJQ8TmGIqzs0M38K6WzKyixuSMdjDKUfbNAyaoIH7ELkKXpCB0LKGNVbvmQhjFIQgtBKePRgDTTvuOCVxDSRdSGrohIJ1vmiyu_mZVbxZKjlPFty2ZZl2Uoh87Lq573ARV5VWT5vF2Wiap7xIlvmeZ6XecHTcr5sq74tRF4scix6Vma4F0q_pytR3gesF-UiLxMtWtT-NNM4_3RBnPGGcX6eHsXqrAhcpwePY9DV8dxZG3aelVl02zXHCSnSWD8o77_qEu_M2z2etYDzUIRpKl5slQSn69thsVM0hDbt7J7xTUS6_M1GZ2MW48iNDcaLPPX4TwAAAP__va3wmw">