<div dir="auto">Hello,<div dir="auto">Oh thank You. Thats what i was looking for. I hope it includes unspecifieds too.</div><div dir="auto"><br></div><div dir="auto">Best regards,</div><div dir="auto">Pawel Kunio</div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">śr., 21.04.2021, 10:21 użytkownik Victor Campos <<a href="mailto:victor@victorcampos.me">victor@victorcampos.me</a>> napisał:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">clang -fsanitize=undefined might be what you're looking for.<br>
<br>
<a href="https://clang.llvm.org/docs/UndefinedBehaviorSanitizer.html" rel="noreferrer noreferrer" target="_blank">https://clang.llvm.org/docs/UndefinedBehaviorSanitizer.html</a><br>
<br>
Cheers,<br>
Victor.<br>
<br>
On Wed, 21 Apr 2021, at 03:55, pawel k. via llvm-dev wrote:<br>
> Hello,<br>
> In previous life i knew one cybersecu bounty hunter. As a leftover from <br>
> then, i was wondering whether it would be useful and feasible to have <br>
> in clang or clang static analyzer the checks for two classes of awkward <br>
> types of code. Namely c++'ses 191 undefined behaviours and 52 <br>
> unspecified behaviours. That could possibly help to automatically <br>
> pinpoint the nonportable or randomly code working only because of <br>
> coincidence. Whether wed warn or err on such shall be up for discussion.<br>
> <br>
> Sorry if that is super obvious and already implemented or np hard or useless.<br>
> <br>
> If interested author of csmith might know something about full list of <br>
> these as he is author of randome code generator that avoids genning <br>
> code with such artifacts.<br>
> <br>
> Best regards,<br>
> Pawel Kunio<br>
> <br>
> <br>
> _______________________________________________<br>
> LLVM Developers mailing list<br>
> <a href="mailto:llvm-dev@lists.llvm.org" target="_blank" rel="noreferrer">llvm-dev@lists.llvm.org</a> <mailto:<a href="mailto:llvm-dev%2540lists.llvm.org" target="_blank" rel="noreferrer">llvm-dev%40lists.llvm.org</a>><br>
> <a href="https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev" rel="noreferrer noreferrer" target="_blank">https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev</a><br>
> <br>
</blockquote></div>