search for: mudflap

Hi, first sorry for cross-posting but I thought this patch might interest -CURRENT users as well as people concerned by security. I wrote a patch that integrates ProPolice/SSP into FreeBSD, one step further than it has been realized so far. It is available here : http://tataz.chchile.org/~tataz/FreeBSD/SSP/ Everything is explained on the web page, but I will repeat some informations here.

...in this year's Summer of Code. One particular idea, in your "open projects" page caught my eye, and I decided to write a proposal about it. The line that I liked in the page was "Create an LLVM pass that adds memory safety checks to code, like Valgrind does for binaries, or like mudflap does for gcc compiled code.", and my proposal is written below: ================================================ Adding memory safety checks to the LLVM bitcodes ================================================ Objective --------- The objective of this project is to create an LLVM pass th...

...Summer of Code. > One particular idea, in your "open projects" page caught my eye, and I > decided to write a proposal about it. The line that I liked in the > page was "Create an LLVM pass that adds memory safety checks to code, > like Valgrind does for binaries, or like mudflap does for gcc compiled > code.", and my proposal is written below: Hi Raphael! I haven't read your proposal in detail, but there are actually three projects that implement memory safety by transforming LLVM bitcode: 1) ASAN is integrated into LLVM. It is meant as a low-overhead deb...

Hi everyone, I found that Clang -O0 performs optimizations that undermine dynamic bug-finding tools. First, most bug finding tools such as ASan, Valgrind, Dr. Memory, Mudflap, Purify and Safe Sulong (on which I am working) rely on detecting errors during the execution of the program. They either insert additional checks during compile-time or during run-time which are executed when the program is running. To find errors with these tools, it is necessary that these error...

...-o cc1-dummy c-lang.o stub-objc.o attribs.o c-errors.o c-lex.o c-pragma.o c-de\ cl.o c-typeck.o c-convert.o c-aux-info.o c-common.o c-opts.o c-format.o c-semantics.o \ c-incpath.o cppdefault.o c-ppoutput.o c-cppbuiltin.o prefix.o c-objc-common.o c-dump.o\ c-pch.o c-parser.o c-gimplify.o tree-mudflap.o c-pretty-print.o c-omp.o dummy-checks\ um.o \ llvm-main.o tree-browser.o libbackend.a ../libcpp/libcpp.a /home/eric/llvm/l\ lvm-objects/Release/lib/libLLVMBitReader.a /home/eric/llvm/llvm-objects/Release/lib/li\ bLLVMipo.a /home/eric/llvm/llvm-objects/Release/lib/libLLVMBitWriter.a...

> LLVM-GCC 4.0 fails on Cygwin, possibly due to lack of symbolic links. I am trying with llvm-gcc-4.2 from svn. Aaron

...cc1-dummy.exe c-lang.o stub-objc.o attribs.o c-errors.o c-lex.o c-pragma.o c-decl.o c-typeck.o c-convert.o c-aux-info.o c-common.o c-opts.o c-format.o c-semantics.o c-incpath.o cppdefault.o c-ppoutput.o c-cppbuiltin.o prefix.o c-objc-common.o c-dump.o c-pch.o c-parser.o cygwin2.o c-gimplify.o tree-mudflap.o c-pretty-print.o c-omp.o dummy-checksum.o \ llvm-main.o tree-browser.o libbackend.a ../libcpp/libcpp.a /seth/courses/745/srcs/llvm/llvm-2.1/Release/lib/libLLVMBitReader.a /seth/courses/745/srcs/llvm/llvm-2.1/Release/lib/libLLVMBitWriter.a /seth/courses/745/srcs/llvm/llvm-2.1/Release/lib/LLVMX8...

...objc/objc-lang.o objc/objc-act.o attribs.o c-errors.o c-lex.o c-pragma.o c-decl.o c-typeck.o c-convert.o c-aux-info.o c-common.o c- opts.o c-format.o c-semantics.o c-incpath.o cppdefault.o c-ppoutput.o c-cppbuiltin.o prefix.o c-objc-common.o c-dump.o c-pch.o c-parser.o c- gimplify.o tree-mudflap.o c-pretty-print.o c-omp.o dummy-checksum.o \ main.o libbackend.a ../libcpp/libcpp.a ../libcpp/ libcpp.a ../libiberty/libiberty.a ../libdecnumber/libdecnumber.a build/genchecksum cc1-dummy > cc1-checksum.c build/genchecksum cc1obj-dummy > cc1obj-checksum.c attribs.o: In function...

...FIG_H -o cc1-dummy c-parse.o c-lang.o stub-objc.o attribs.o c-errors.o c-lex.o c-pragma.o c-decl.o c-typeck.o c-convert.o c-aux-info.o c-common.o c-opts.o c-format.o c-semantics.o c-incpath.o cppdefault.o c-ppoutput.o c-cppbuiltin.o prefix.o c-objc-common.o c-dump.o c-pch.o c-gimplify.o tree-mudflap.o c-pretty-print.o dummy-checksum.o \ llvm-main.o tree-browser.o libbackend.a ../libcpp/libcpp.a /home/jeffc/llvm/obj/Debug/lib/libLLVMTransforms.a /home/jeffc/llvm/obj/Debug/lib/libLLVMipo.a /home/jeffc/llvm/obj/Debug/lib/libLLVMBCWriter.a /home/jeffc/llvm/obj/Debug/lib/LLVMX86.o /h...

It claims it was last updated 2007-01-04 06:47:31 -0400 (Thu, 04 Jan 2007). It should be close to TOT tomorrow. Cheers, -- Jim -------------- next part -------------- A non-text attachment was scrubbed... Name: smime.p7s Type: application/pkcs7-signature Size: 2417 bytes Desc: not available URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20070104/9cecae71/attachment.bin>

...PDIR="/var/tmp" PORTDIR="/usr/portage" SYNC="rsync://rsync.gentoo.org/gentoo-portage" USE="X acl alsa avahi berkdb branding bzip2 cdr cli consolekit cracklib crypt cups dbus dri dvd fortran gdbm gnome gpm gtk hal iconv ipv6 isdnlog jpeg jpeg2k mdnsresponder-compat mudflap mysql ncurses nls nptl nptlonly nsplugin opengl openmp oss pam pcre perl png pppd python qt3 readline reflection session spl ssl svg sysfs tcpd unicode vorbis x86 xml xorg xrandr zlib" ALSA_CARDS="ali5451 als4000 atiixp atiixp-modem bt87x ca0106 cmipci emu10k1 emu10k1x ens1370 ens1371 es1...

...gtkhtml hal hpn iconv icu inotify ipv6 irda irmc isdnlog ithreads java jikes joystick jpeg kerberos keyring keyutils kqemu lcms ldap libnotify libofa libsexy lm_sensors logrotate mad matroska maxoptimization mdnsresponder-compat midi mikmod mmx mng mono moznocompose moznoirc moznomail mp3 mpeg msn mudflap musepack musicbrainz nautilus ncurses network network-cron newspr nfs nls nntp nptl nptlonly ntp numeric obex offensive ogg opengl openmp pam pcre pdf perl physfs pic pidgin png policykit pppd print pulseaudio python qa qt3support quicktime rar readline real realmedia reflection rsvg rtc samba scan...

...E_CONFIG_H -o cc1-dummy c-lang.o stub-objc.o attribs.o c-errors.o c-lex.o c-pragma.o c-decl.o c-typeck.o c-convert.o c-aux-info.o c-common.o c-opts.o c-format.o c-semantics.o c-incpath.o cppdefault.o c-ppoutput.o c-cppbuiltin.o prefix.o c-objc-common.o c-dump.o c-pch.o c-parser.o c-gimplify.o tree-mudflap.o c-pretty-print.o c-omp.o dummy-checksum.o \ llvm-main.o libbackend.a ../libcpp/libcpp.a /home/anatolyy/qctp406/pakman/depot/users/anatolyy/proto/crosscompiler/llvm-2.7/Release/lib/libLLVMBitReader.a /home/anatolyy/qctp406/pakman/depot/users/anatolyy/proto/crosscompiler/llvm-2.7/Release/lib/li...

...Summer of Code. > One particular idea, in your "open projects" page caught my eye, and I > decided to write a proposal about it. The line that I liked in the > page was "Create an LLVM pass that adds memory safety checks to code, > like Valgrind does for binaries, or like mudflap does for gcc compiled > code.", and my proposal is written below: > > > Hi Raphael! > > I haven't read your proposal in detail, but there are actually three > projects that implement memory safety by transforming LLVM bitcode: > > 1) ASAN is integrated into LLVM....

...ototypes -Wmissing-prototypes -pedantic -Wno-long-long -Wno-variadic-macros -Wold-style-definition -DHAVE_CONFIG_H -DENABLE_LLVM -D__STDC_LIMIT_MACROS -I. -I. -I../../gcc -I../../gcc/. -I../../gcc/../include -I../../gcc/../libcpp/include -I/home/ahs3/tmp/llvm-1.7/llvm/include ../../gcc/tree-nomudflap.c -o tree-nomudflap.o rm -rf libbackend.a ar rc libbackend.a tree-chrec.o tree-scalar-evolution.o tree-data-ref.o tree-cfg.o tree-dfa.o tree-eh.o tree-ssa.o tree-optimize.o tree-gimple.o gimplify.o tree-pretty-print.o tree-into-ssa.o tree-outof-ssa.o tree-ssa-ccp.o tree-vn.o tree-ssa-dce.o tree-ss...

...nc Rage XL (rev 27) xenbox linux # emerge -pv gcc glibc binutils libtool xen-sources xen These are the packages that I would merge, in order: Calculating dependencies ...done! [ebuild R ] sys-devel/gcc-3.4.4-r1 (-altivec) -bootstrap -boundschecking -build -fortran -gcj -gtk -hardened -ip28 -mudflap (-multilib) -multislot (-n32) (-n64) -nls -nocxx -nopie -nossp -objc -objc-gc -vanilla 0 kB [ebuild R ] sys-libs/glibc-2.3.5-r2 -build -erandom -glibc-compat20 -glibc-omitfp -hardened -linuxthreads-tls (-multilib) -nls +nptl -nptlonly -pic -profile (-selinux) -userlocales 0 kB [ebuild R ]...

...s ./tree-chrec.o differs ./tree-complex.o differs ./tree-data-ref.o differs ./tree-dfa.o differs ./tree-dump.o differs ./tree-eh.o differs ./tree-gimple.o differs ./tree-if-conv.o differs ./tree-inline.o differs ./tree-into-ssa.o differs ./tree-iterator.o differs ./tree-loop-linear.o differs ./tree-mudflap.o differs ./tree-nested.o differs ./tree-nrv.o differs ./tree.o differs ./tree-optimize.o differs ./tree-outof-ssa.o differs ./tree-phinodes.o differs ./tree-pretty-print.o differs ./tree-scalar-evolution.o differs ./tree-sra.o differs ./tree-ssa-alias.o differs ./tree-ssa-ccp.o differs ./tree-ssa-...

Török Edwin wrote: > [snip] > > I applied the attached patch to make it compile on my box (Debian > x86_64), only to find out that x86_64 is not supported :( > This architecture is not supported by the pool allocator! > Aborted > Thanks for the patch. What options do I give to the patch command to apply it to the source code? Although there's no documentation about

..../tree-data-ref.o differs > ./tree-dfa.o differs > ./tree-dump.o differs > ./tree-eh.o differs > ./tree-gimple.o differs > ./tree-if-conv.o differs > ./tree-inline.o differs > ./tree-into-ssa.o differs > ./tree-iterator.o differs > ./tree-loop-linear.o differs > ./tree-mudflap.o differs > ./tree-nested.o differs > ./tree-nrv.o differs > ./tree.o differs > ./tree-optimize.o differs > ./tree-outof-ssa.o differs > ./tree-phinodes.o differs > ./tree-pretty-print.o differs > ./tree-scalar-evolution.o differs > ./tree-sra.o differs > ./tree-ssa-al...

On Sun, Nov 07 2010 at 6:05pm -0500, Andi Kleen <andi@firstfloor.org> wrote: > On Sun, Nov 07, 2010 at 10:39:23PM +0100, Milan Broz wrote: > > On 11/07/2010 08:45 PM, Andi Kleen wrote: > > >> I read about barrier-problems and data getting to the partition when > > >> using dm-crypt and several layers so I don''t know if that could be > >