[llvm-dev] [LLVMdev] static taint analysis in LLVM

[Xavier NOUMBISSI NOUNDOU via llvm-dev]

Hi Zhaoqian,

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/llvm-dev/attachments/20150828/15201832/attachment.html>