similar to: [LLVMdev] static taint analysis in LLVM

> On Jun 24, 2015, at 10:19 AM, Eli Bendersky <eliben at google.com> wrote: > > > > On Wed, Jun 24, 2015 at 7:05 AM, Q Z <zhaoqian301 at gmail.com <mailto:zhaoqian301 at gmail.com>> wrote: > Hello，I want to compile a large project(for example,Apache httpd) to one .bc file. How can I do this? Can you give me some examples? > > > In general, if the

Hello，I want to compile a large project(for example,Apache httpd) to one .bc file. How can I do this? Can you give me some examples? -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20150624/105789c4/attachment.html>

On 11/21/2015 12:57 PM, Marcelo Roccasalva wrote: > Boot from DVD/USB. Select rescue installed (on centos7 or vmlinuz > rescue on older), select configure network and mount installed, then > "chroot /mnt/sysimage" and yum install kernel... This should do... > > On Sat, Nov 21, 2015 at 2:05 PM, Siva Prasad Nath > <shivaprasadnath21 at gmail.com> wrote: >> My

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>

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

Hi, you have given the following link for the code of static taint analysis but its showing the page not found error. Can you just help me out. * "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. *thanks. -------------- next part -------------- An

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:

On Sat, Nov 21, 2015 at 9:31 PM, Siva Prasad Nath <shivaprasadnath21 at gmail.com> wrote: > I am from application back ground. I never worked on Linux. I follow some > steps which posted on internet. > I update Kernel from centos rescue cd option. But boot did not update.Is it > a bug in Centos? > How did you update the kernel exactly? > On Sunday, November 22, 2015,

Hello, today I download poolalloc from " https://github.com/llvm-mirror/poolalloc". and I compiled it with LLVM3.3. Then when I excute "make",I get the error: AddressTakenAnalysis.cpp:18:30:fatal error:llvm/IR/CallSite.h: No such file or directory. ​I correct the path of callsite.h to "llvm/Support/Callsite.h". there is another error: AddressTakenAnalysis.cpp:In

My boot folder has only rescue vm. How to get actual vm? Shiva Prasad Nath 92981134 On Sun, Nov 22, 2015 at 12:43 AM, Eero Volotinen <eero.volotinen at iki.fi> wrote: > Using rescue mode or some other rescuecd.. > > Eero > 21.11.2015 6.41 ip. "Siva Prasad Nath" <shivaprasadnath21 at gmail.com> > kirjoitti: > > > Hi, > > From yesterday my

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, 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. Thanks, Peter DataFlowSanitizer Design Document ********************************* This document sets out the design for

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

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, 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, use command : opt -load ../Release+Asserts/XX.o -XX <packetbuf.bc> /dev/null then I got the error by use the XX.o in the LLVM pass directory: Error opening "../Release+Asserts/XX.o" only ET_DYN and ET_EXEC can be loaded -load request ignored. I got another error by use the XX.o in the LLVM src directory $LLVM_SRC/Release+Asserts/lib/XX.o: Error opening

Has anyone done an upgrade from RHEL3 to RHEL4? Is this likely to break a lot of things? How long will Centos be supporting version 3? I just installed Centos 3.4 two weeks ago! The only problem I'm having with Centos is that the perl is a bit old. I have errors with spamassassin. So far bugzilla for spamassasin is blaming it on the version of perl included in RHEL3 and bugs in the

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 all, this is another post about this problem. I installed from scratch a new Suse Linux 10.0, with latest stable asterisk. Moreover I add the lines to /etc/udev/rules.d/50-udev.rules, in order to let the driver create the /dev/zap....... When I plug into usb port my TigerJet adapter, I see on /var/log/messages Feb 24 14:55:02 srvlnx05 kernel: usb 1-2: new full speed USB device using

Guys, I think many of us on this list would consider ourselves entrepreneurs. I''m willing to bet at least 40% of you are working on ideas for startups...hoping that you just might have the next Flickr, Oddpost, del.icio.us, etc. Me too, for what it''s worth. Rails is good for this, in that it enables you to move quickly (after the learning curve) and it''s