<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">

<html>

<head>

  <meta content="text/html; charset=UTF-8" http-equiv="Content-Type">

</head>

<body bgcolor="#ffffff" text="#000000">

<div class="moz-text-flowed"

 style="font-family: -moz-fixed; font-size: 13px;" lang="x-unicode">

<blockquote type="cite" style="color: rgb(0, 0, 0);"><br>

Out of curiosity, what tool are you using to find these bugs?

  <br>

   </blockquote>

Clang.

<br>

<br>

WBR,

<br>

Amine.

<br>

</div>

</body>

</html>