<div dir="ltr">Sorry, that example wasn't correct.  I should have written:<div><br></div><div>int c = a + b; // c will never have a label in this case.</div><div>int d = a; // d will always get a's label</div></div><div class="gmail_extra"><br><div class="gmail_quote">On Tue, Feb 3, 2015 at 12:09 PM, Christian Convey <span dir="ltr"><<a href="mailto:christian.convey@gmail.com" target="_blank">christian.convey@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr">Hi guys,<div><br></div><div>Does anyone know if clang's dataflow sanitizer supports the following option, or if there are plans to?<div><br></div><div>Right now (clang 3.6), it seems that when two or more inputs of a given operation carry different labels, the resulting value is tagged with the *union* of those labels.  But I'm interested in a different kind of analysis, where I track the pristine flow of a value.  So in my analysis, when an operation does anything other than cleanly propagate an input value to its output, I want the output to be unlabeled.</div></div><div><br></div><div>For example, if we have:</div><div>   int c = a + b;<br></div><div>Then I want 'c' to be have a dfas label if and only if 'a' and 'b' both have the same label.</div><div><br></div><div>Thanks,</div><div>Christian</div></div>
</blockquote></div><br></div>