search for: taint

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/at...

...& ran into issues with mounting devices, and the ext3 module not being available. After a bit of faffing about, I managed to sort this out and load the ext3 module. However, now, in the domU''s dmesg, I see... --- ide_generic: no version for "struct_module" found: kernel tainted. --- Is this anything to be concerned about? How can I fix this? Running RHEL 4.5 Dom0, with CentOS 4.5 guests. Cheerio, Y. _______________________________________________ Xen-users mailing list Xen-users@lists.xensource.com http://lists.xensource.com/xen-users

...essages and kernel errors be able to assist with advising me on what the following errors might mean in dmesg. It seems to come up randomly towards the end of the logfile. ------------[ cut here ]------------ WARNING: at arch/x86/kernel/cpu/mtrr/generic.c:467 generic_get_mtrr+0x11e/0x140() (Not tainted) Hardware name: empty mtrr: your BIOS has set up an incorrect mask, fixing it up. Modules linked in: Pid: 0, comm: swapper Not tainted 2.6.32-220.2.1.el6.x86_64 #1 Call Trace: [<ffffffff81069997>] ? warn_slowpath_common+0x87/0xc0 [<ffffffff81069a86>] ? warn_slowpath_fmt+0x46/0x50...

...vers/isdn/avmb1/capiutil.o Using /lib/modules/2.4.20/kernel/drivers/isdn/avmb1/kernelcapi.o Using /lib/modules/2.4.20/kernel/drivers/isdn/avmb1/capifs.o Using /lib/modules/2.4.20/kernel/drivers/isdn/avmb1/capi.o Using /lib/modules/2.4.20/kernel/drivers/isdn/avmb1/fcpci.o Warning: loading fcpci will taint the kernel: non-GPL license - Proprietary See http://www.tux.org/lkml/#export-tainted for information about tainted modules Using /lib/modules/2.4.20/kernel/drivers/isdn/avmb1/f2pci.o Warning: loading f2pci will taint the kernel: non-GPL license - Proprietary See http://www.tux.org/lkml/#export...

...is not designed to detect a specific class of bugs on its own. Instead, it provides a generic dynamic data flow analysis framework to be used by clients to help detect application-specific issues within their own code. DataFlowSanitizer is a program instrumentation which can associate a number of taint labels with any data stored in any memory region accessible by the program. The analysis is dynamic, which means that it operates on a running program, and tracks how the labels propagate through that program. The tool shall support a large (>100) number of labels, such that programs which opera...

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: log:******************************** # grep -e '12 10:16' -e '10 14:46' -e '9 15:44&...

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/2015071...

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 '/tmp/taint/klee/Release+Asserts/lib/libkleeRuntimeIntrinsic.bca' klee: ModuleUtil.cpp:51: llvm::Module* klee::linkWithLibrary(llvm::Module*, const string&): Assertion `0 &&am...

...KVM host to kernel 2.6.32-431.23.3 this morning ... After 2 hours working, the following kernel error appears and all vm guests goes slowly .... device monif4 entered promiscuous mode monif: port 5(monif4) entering forwarding state INFO: task cgroup:83 blocked for more than 120 seconds. Not tainted 2.6.32-431.23.3.el6.x86_64 #1 "echo 0 > /proc/sys/kernel/hung_task_timeout_secs" disables this message. cgroup D 0000000000000009 0 83 2 0x00000000 ffff880411cb9d60 0000000000000046 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000...

...is not designed to detect a specific class of bugs on its own. Instead, it provides a generic dynamic data flow analysis framework to be used by clients to help detect application-specific issues within their own code. DataFlowSanitizer is a program instrumentation which can associate a number of taint labels with any data stored in any memory region accessible by the program. The analysis is dynamic, which means that it operates on a running program, and tracks how the labels propagate through that program. The tool shall support a large (>100) number of labels, such that programs which opera...

https://bugzilla.netfilter.org/show_bug.cgi?id=1436 Bug ID: 1436 Summary: nf_conntrack_update fails in fedora kernels 5.6.16 and 5.6.18 Product: netfilter/iptables Version: linux-2.6.x Hardware: x86_64 OS: Fedora Status: NEW Severity: critical Priority: P5 Component:

...el-module version mismatch /opt/relay/lib/modules/seaio.o was compiled for kernel version 2.4.21-20.EL.c0smp while this kernel is version 2.4.21-20.0.1.ELsmp Warning: /opt/relay/lib/modules/seaio.o symbol for parameter break_on_load not found Warning: loading /opt/pmx-relay/lib/modules/seaio.o will taint the kernel: no license See http://www.tux.org/lkml/#export-tainted for information about tainted modules Warning: loading /opt/relay/lib/modules/seaio.o will taint the kernel: forced load Module seaio loaded, with warnings mknod: wrong number of arguments Try `mknod --help' for more informati...

...ls ocfs [root@hp2620-2 2.4.21-EL-ABI]# cd ocfs [root@hp2620-2 ocfs]# ls ocfs.o [root@hp2620-2 ocfs]# insmod ocfs.o Warning: kernel-module version mismatch ocfs.o was compiled for kernel version 2.4.21-4.0.1.EL while this kernel is version 2.4.21-20.ELsmp Warning: loading ocfs.o will taint the kernel: forced load See http://www.tux.org/lkml/#export-tainted for information about tainted modules ocfs.o: init_module: Operation not permitted Hint: insmod errors can be caused by incorrect module parameters, including invalid IO or IRQ parameters. You may find more information in s...

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. -----------...

...ce install script for RHEL4 and after trying to boot on the new kernel the system just continually rebooted. I appended a noreboot to the xen line and now i''m seeing the following... Freeing unused kernel memory: 184k freed dm_mod: no version for "struct_module" found: kernel tainted. device-mapper: 4.4.0-ioctl (2005-01-12) initialised: dm-devel@redhat.com kernel panic - not syncing: attempted to kill init! Anybody have a idea whats going on here? ~Shaun _______________________________________________ Xen-users mailing list Xen-users@lists.xensource.com http://lists.xe...

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/ _______________________________________________ Xe...

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 requirements is to do some model checking and pattern checking on the linux source code and static taint analysis might solve it. Thanks Regards Muhui --------...

...h.org> Sent: Friday, January 31, 2003 5:29 PM Subject: Re: [icecast] Re: Compiling ices <p>> On Fri, 2003-01-31 at 06:39, Marc Remijn wrote: > ... > > > Kernel output: > > > > invalid operand: 0000 > > CPU: 0 > > EIP: 0010:[<d08e25b1>] Tainted: PF > > EFLAGS: 00010006 > > eax: 0000000e ebx: 00003556 ecx: ce44c728 edx: ce44c728 > > esi: 0000e000 edi: 00000007 ebp: c288bf64 esp: c288bf4c > > ds: 0018 es: 0018 ss: 0018 > > Process ices (pid: 2707, stackpage=c288b000) > > Stack: 00000202...

...: Heirloom mailx 12.4 7/29/08 MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Duplicate check ===== Common information ===== architecture ----- x86_64 package ----- kernel kernel ----- 2.6.32-220.2.1.el6.x86_64 Additional information ===== kernel_tainted_long ----- Taint on warning. kernel_tainted ----- 512 backtrace ----- WARNING: at arch/x86/kernel/cpu/mtrr/generic.c:467 generic_get_mtrr+0x11e/0x140() (Not tainted) Hardware name: empty mtrr: your BIOS has set up an incorrect mask, fixing it up. Modules linked in: Pid: 0, comm: swapper Not ta...

...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 > '/tmp/taint/klee/Release+Asserts/lib/libkleeRuntimeIntrinsic.bca' > klee: ModuleUtil.cpp:51: llvm::Module* > klee::linkWithLibrary(llvm::Module*, const string&amp...