similar to: [LLVMdev] code for static taint analysis

Hello, I want to know if LLVM support static taint analysis now ? and how to implement static taint analysis code in term of LLVM pass or something else ? can anyone help me?Thank you very much! zhaoqian -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20150717/0236bed3/attachment.html>

Dear All, The code for static taint analysis (which should be similar to what you need) is now publicly available. You can find the code at https://github.com/thinkmoore/llvm-deps. -- John T.

hi all, I am searching the taint analysis tool on Xen, which can taint the memory at byte level. Is there any tools on Xen? or any patches? Thanks. Chen Ping _________________________________________________________________ 心跳斗地主新版体验，给你360度的心跳体验！ http://club.msn.cn/ _______________________________________________ Xen-users mailing list Xen-users@lists.xensource.com

Yes, this demanding comes from our recent research project. If it's avaiable, could you send me the source code of taint-tracking analysis ? I really appreciate your help. Thanks! 2012/8/9 John Criswell <criswell at illinois.edu>: > On 8/9/12 12:40 AM, Jianfei Hu wrote: >> >> Maybe My statement is not clear. Take an example: >> main.c: >> int global; >>

Hi 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? My

Hi all, I have written a Clang plug-in which uses some c++11 keywords. Coz of that I am able to load that plug-in. Can you just help me out. It produces lots of warnings at those keywords. Thanks.. -Aashay PICT, Pune -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20130311/ccc43416/attachment.html>

I have a machine with a recent install of centos (2.6.32-220.2.1.el6.x86_64 kernel). It crashed 3 times this week, and sent emails like the one below complaining about kernel taint. I've gone back to a previous kernel to see if that helps, but otherwise I don't know how to investigate this. What should I do? Here's stuff from the log and one of the emails:

Let in a program a variable 'x' is tainted. There is an assignment 'y=x' where y is untainted. How to check the taintflow in the output or data flow graph ? Any suggestions? Thank you. Have a great day. -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20190912/5bb3655c/attachment.html>

Nick, Your solution works well if there is a store instruction in the function but in the case where there is none (i.e. the argument is passed on directly to another function), creating a store does not help to get the memory address of the variable which takes me back to my initial question at http://lists.cs.uiuc.edu/pipermail/llvmdev/2009-May/022590.html - isn't there a way to obtain the

On Jul 28, 2008, at 3:47 PM, Prakash Prabhu wrote: > Hi, > > I have a question about the memory dependence analysis. I am trying > to use it to selectively enumerate a set of pairs of (load, store) > instructions for every function by calling getNonLocalDependency() > on the MemoryDependenceAnalysis. This populates a > DenseMap<BasicBlock*, Value*>. I just

Hi, I have a question about the memory dependence analysis. I am trying to use it to selectively enumerate a set of pairs of (load, store) instructions for every function by calling getNonLocalDependency() on the MemoryDependenceAnalysis. This populates a DenseMap<BasicBlock*, Value*>. I just looked up an usage of this in GVN.cpp: MD->getNonLocalDependency(C, deps); for

The error is the following libtool: link: (cd .libs/nbdkit-perl-plugin.lax/libutils.a && ar x "/c/Users/yifangu/Documents/devel/nbdkit/plugins/perl/../../common/utils/.libs/libutils.a") libtool: link: ar cru .libs/nbdkit-perl-plugin.a .libs/nbdkit_perl_plugin_la-perl.o .libs/nbdkit-perl-plugin.lax/libutils.a/libutils_la-cleanup-nbdkit.o

Thanks for the quick reply, Owen. I went through the code in MemoryDependenceAnalysis.cpp again. Since DenseMap<BasicBlock*, Value*> maps a BasicBlock to a single Value (Instruction) and it is populated by a DFS on the reverse Control Flow Graph starting at the query instruction's block, is it correct to say that the last dependent instruction in each visited basic block is what is

Hi Arsen, I wrote a pass that computes a control dependence graph as described in Ferrante et al's "The Program Dependence Graph and Its Use in Optimization." It is available at https://github.com/thinkmoore/llvm-analysis. Cheers, Scott On Fri, Apr 12, 2013 at 5:04 PM, John Criswell <criswell at illinois.edu>wrote: > On 4/12/13 3:19 PM, Arsen wrote: > >> Thank

On Thu, Jun 13, 2013 at 03:00:46PM -0700, Peter Collingbourne wrote: > Hi, > > I am starting a thread to discuss the design of DataFlowSanitizer, > a compiler instrumentation based analysis tool which I am hoping to > bring into LLVM. As a starting point, I have included the current > version of the design document below. Comments are appreciated. Any further comments on the

Hi, If there are no further comments on the design below I intend to commit my DFSan patches in a week. Thanks, Peter On Tue, Jun 25, 2013 at 06:13:49PM -0700, Peter Collingbourne wrote: > On Thu, Jun 13, 2013 at 03:00:46PM -0700, Peter Collingbourne wrote: > > Hi, > > > > I am starting a thread to discuss the design of DataFlowSanitizer, > > a compiler

Hi, The klee library directory is determined at compile time and cannot be changed afterwards. Have a look at tools/klee/main.cpp to see how it is computed. I usually use Klee without any install step, right from the build directory. This has never given me the error you see. Hope this helps, Jonas On Wed, Jun 5, 2013 at 5:26 PM, Alexandru Ionut Diaconescu < alexandruionutdiaconescu at

hello, got anybody succesfully setup asterisk with three avm fritz pci cards - using the howto described in http://www.quiss.org/caiviar/Two-Fritzcards-HOWTO i already have asterisk working with 2 cards, by when i add third card and compile driver ( see capiinit debug below ) asterisk freeze on capi initialization.... does anybody know how to solve this ? regards Marian ------------------

Hello everyone, I am a novice with KLEE under LLVM. I am trying to build a KLEE project (on a new LLVM environment) and I have the following problem: echo Testing... Testing... echo There should be no assertion fails! There should be no assertion fails! klee -taint=direct taint_direct.o KLEE: output directory = "klee-out-8" klee: error: Cannot find linker input

Hi Arjen, just to revive the static code analysis thread... It would be nice if you could expose your ideas and the results of your tests. Also, apart from Splint, have you tested any other systems?