<div dir="ltr">Oh, is someone currently working on this? What would be the basic workflow if anyone has to start working on adding support for float , atleast taint analysis to start with?  <br><div class="gmail_extra"><br><div class="gmail_quote">On Tue, Apr 12, 2016 at 9:35 PM, Artem Dergachev <span dir="ltr"><<a href="mailto:dergachev.a@samsung.com" target="_blank">dergachev.a@samsung.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><span>On 12.04.2016 08:35, Ashwin Ganesh wrote:<br>
> when I use float instead of int, the taint doesn't propagate at all<br>
<br></span>
Umm yeah, and then we run into a bit of an issue - the analyzer does not use symbols for floats yet. The problem was that constraints on floats are not yet supported, otherwise there shouldn't be a problem to replace UnknownVal's with float-type symbols. This is item #2 in <a href="http://clang-analyzer.llvm.org/open_projects.html" rel="noreferrer" target="_blank">http://clang-analyzer.llvm.org/open_projects.html</a> . Maybe we should go ahead and produce symbols anyway, and ignore them in the constraint manager, solely for the purposes of taint analysis, before we have anything better? Not sure right now what kinds of false positives we may unleash this way.<br>
</blockquote></div><br></div></div>