NoQ added a comment.
I just generally wish for a function that would return the most specific known
range for the given arbitrary symbol. This is something we can put, for
example, into visitor path notes.
Eg., imagine "Assuming x is greater than 5" -> "Tainted array index constrained
to [5, 6] U {8} U [10, 12]" -> "Potential buffer overflow: accessing array of
11 elements with a tainted index".
`getRange()` is a great name for such function. For now i think it kinda works
for atomic symbols with a few extra goodies on top of that. If we generally
move towards that goal, i think it would be great.
Repository:
rC Clang
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D55007/new/
https://reviews.llvm.org/D55007
_______________________________________________
cfe-commits mailing list
[email protected]
http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
