<div dir="ltr">Hi<div><br></div><div>I hope this is the right mailing list to ask some questions related to the llvm. I am new to llvm and I decided to use llvm to conduct static analysis of the linux kernel( mostly on the TCP/IP stack). One thing is that whether llvm support static taint analysis. Could you please give me some examples if you have or do I have to implement it by myself. If so, any suggestions available?  </div><div><br></div><div>My requirements is to do some model checking and pattern checking on the linux source code and static taint analysis might solve it. Thanks</div><div><br></div><div>Regards</div><div>Muhui</div></div>