[cfe-dev] Best Tool for Static Taint Analysis for c/c++

[Xavier NOUMBISSI NOUNDOU via cfe-dev]

Hi, Chang,

My tool SAINT (https://github.com/xaviernoumbis/saint) implements a static
taint
analysis that can be used to detect buffer overflows.

The draft of the paper can be find here:
https://sites.google.com/site/xaviernoumbis/research/noumbissi-draft-phd-thesis.pdf
<https://sites.google.com/site/xaviernoumbis>

Best Regards
-- 
Dipl.-Inf. Xavier NOUMBISSI NOUNDOU

Website: https://sites.google.com/site/xaviernoumbis
Github:  https://github.com/xaviernoumbis
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/cfe-dev/attachments/20150828/7616835a/attachment.html>