<html>
  <head>

    <meta http-equiv="content-type" content="text/html; charset=utf-8">
  </head>
  <body text="#000000" bgcolor="#FFFFFF">
    Hello,<br>
    <br>
    The absence of nullptr checks after calls to the malloc function is
    a very common issue in the Tizen operating system and the libraries
    it uses.<br>
    I mentioned this in the article "27 000 Errors in the Tizen
    Operating System" - <a moz-do-not-send="true"
      href="https://www.viva64.com/en/b/0519/">https://www.viva64.com/en/b/0519/</a><br>
    I also pointed it out in a more detailed analysis of the EFL Core
    Libraries used in Tizen. The library has almost zero "nullptr
    checks" after calls to malloc. Here is this article, with the
    comments by one of the developers included: "Characteristics of
    PVS-Studio Analyzer by the Example of EFL Core Libraries, 10-15% of
    False Positives" - <a moz-do-not-send="true"
      href="https://www.viva64.com/en/b/0523/">https://www.viva64.com/en/b/0523/</a><br>
    <br>
    I finally found time the other day to write a detailed article on
    the malloc function. There are 4 reasons at once, each of them is
    enough to prove that it is so necessary to write a check after you
    call the malloc function:<br>
    <ol>
      <li>Null pointer dereference is undefined behavior</li>
      <li>Null pointer dereference is a vulnerability</li>
      <li>Where are guarantees that dereferencing of exactly a null
        pointer will occur?</li>
      <li>Where are the guarantees that memset fills the memory in a
        direct order?</li>
    </ol>
    Please do take a look at this article. I hope you will find it
    interesting and useful.<br>
    <br>
    <b>Why it is important to check what the malloc function returned</b>
    - <a moz-do-not-send="true"
      href="https://www.viva64.com/en/b/0558/">https://www.viva64.com/en/b/0558/</a><br>
    <br>
    ----<br>
    Best regards,<br>
    Andrey Karpov, Microsoft MVP,<br>
    Ph.D. in Mathematics, CTO<br>
    "Program Verification Systems" Co Ltd.<br>
    URL: <a class="moz-txt-link-abbreviated" href="http://www.viva64.com">www.viva64.com</a><br>
    E-Mail: <a class="moz-txt-link-abbreviated" href="mailto:karpov@viva64.com">karpov@viva64.com</a><br>
    <br>
  </body>
</html>