search for: smack

Hi guys, So, I've been a long-term user of LLVM, and currently me and my students are actively using LLVM in several projects of ours. At this point, I would greatly appreciate if you could add SMACK static checker, which relies on LLVM, to the list of LLVM projects. SMACK is an open-source static checker built on top of LLVM, and we are hoping to get more collaborators and contributors this way. Here is more info about SMACK: *******************************************************************...

...ric <zvonimir at cs.utah.edu> wrote: > >> Hi guys, >> >> So, I've been a long-term user of LLVM, and currently me and my >> students are actively using LLVM in several projects of ours. >> >> At this point, I would greatly appreciate if you could add SMACK >> static checker, which relies on LLVM, to the list of LLVM projects. >> SMACK is an open-source static checker built on top of LLVM, and we >> are hoping to get more collaborators and contributors this way. >> >> Here is more info about SMACK: >> **************...

On Feb 6, 2013, at 7:22 AM, "Criswell, John T" <criswell at illinois.edu> wrote: > Dear All, > > We can add a link to the SMACK project on the LLVM User's page at http://llvm.org/Users.html at any time. Bill, does your comment refer to the release notes, or something else? > Just to the release notes. At least, that's when we do blurbs. :) -bw > In any event, if the SMACK project has a web site, I can add...

...t 9:16 PM, Zvonimir Rakamaric <zvonimir at cs.utah.edu> wrote: > Hi guys, > > So, I've been a long-term user of LLVM, and currently me and my > students are actively using LLVM in several projects of ours. > > At this point, I would greatly appreciate if you could add SMACK > static checker, which relies on LLVM, to the list of LLVM projects. > SMACK is an open-source static checker built on top of LLVM, and we > are hoping to get more collaborators and contributors this way. > > Here is more info about SMACK: > *************************************...

Dear All, We can add a link to the SMACK project on the LLVM User's page at http://llvm.org/Users.html at any time. Bill, does your comment refer to the release notes, or something else? In any event, if the SMACK project has a web site, I can add the URL to the User's page. Is the Github URL what you want to use, or is there a...

Hi, So, SMACK is a software verifier based around LLVM, and you can find more info (PDF, title, abstract) about our recent publication here: http://soarlab.org/2014/05/smack-decoupling-source-language-details-from-verifier-implementations/ I would appreciate if you could add it to your list of LLVM-based public...

.../GettingStarted.html#git-mirror I think I need compiler-rt for my project but I'll verify it again to see if I can proceed without it. You are correct that compiler-rt is compiled with the just built clang. The complete command that gives an error while compiler-rt compilation is: /home/pranav/smack-project/llvm/build/Release+Asserts/bin/clang -fPIC -Wall -Werror -O3 -fomit-frame-pointer -m64 --sysroot=/home/pranav/smack-project/llvm/src/projects/compiler-rt/SDKs/linux -c -o /home/pranav/smack-project/llvm/build/tools/clang/runtime/compiler-rt/clang_linux/full-x86_64/x86_64/SubDir.lib/enable_e...

Hi, Our tool SMACK (https://github.com/smackers/smack/) relies on installing LLMV from APT packages that used to be provided here: http://llvm.org/apt/ This link has been down for several weeks at this point (I think). Do you have a rough estimate for when you will bring this back? Our users are having trouble inst...

...ed compiler-rt for my project but I'll verify it again to see >> if I can proceed without it. >> You are correct that compiler-rt is compiled with the just built clang. >> The complete command that gives an error while compiler-rt compilation is: >> >> /home/pranav/smack-project/llvm/build/Release+Asserts/bin/clang -fPIC >> -Wall -Werror -O3 -fomit-frame-pointer -m64 >> --sysroot=/home/pranav/smack-project/llvm/src/projects/compiler-rt/SDKs/linux >> -c -o >> /home/pranav/smack-project/llvm/build/tools/clang/runtime/compiler-rt/clang_linux/fu...

...or > I think I need compiler-rt for my project but I'll verify it again to see > if I can proceed without it. > You are correct that compiler-rt is compiled with the just built clang. > The complete command that gives an error while compiler-rt compilation is: > > /home/pranav/smack-project/llvm/build/Release+Asserts/bin/clang -fPIC > -Wall -Werror -O3 -fomit-frame-pointer -m64 > --sysroot=/home/pranav/smack-project/llvm/src/projects/compiler-rt/SDKs/linux > -c -o > /home/pranav/smack-project/llvm/build/tools/clang/runtime/compiler-rt/clang_linux/full-x86_64/x86_64...

Hi, I see that ENABLE_WERROR is being set to off (the default value) in the config.log in the llvm build. However on grepping for WERROR in the compiler-rt folder I get the following output: pranav at pranav:~/smack-project/llvm-3.4/src/projects/compiler-rt$ grep -Rin WERROR * lib/asan/tests/CMakeLists.txt:38: -Werror lib/asan/asan_malloc_mac.cc:253:// This function is currently unused, and we build with -Werror. lib/tsan/check_cmake.sh:8:CC=clang CXX=clang++ cmake -DLLVM_ENABLE_WERROR=ON -DCMAKE_BUILD_TYPE=R...

...ranav Garg <pranav.garg2107 at gmail.com>wrote: > Hi, > > I see that ENABLE_WERROR is being set to off (the default value) in the > config.log in the llvm build. However on grepping for WERROR in the > compiler-rt folder I get the following output: > > pranav at pranav:~/smack-project/llvm-3.4/src/projects/compiler-rt$ grep > -Rin WERROR * > lib/asan/tests/CMakeLists.txt:38: -Werror > lib/asan/asan_malloc_mac.cc:253:// This function is currently unused, and > we build with -Werror. > lib/tsan/check_cmake.sh:8:CC=clang CXX=clang++ cmake > -DLLVM_ENABLE_...

Hi, Is there a way to call helper methods in a controller? I want to do something like this in my controller Class MyController < Action.... def my_method string = link_to "some_url", :controller => "home", :action => "command" end end link_to is an ActionView helper method and it seems that I couldn''t access the method in the controller

...ng with clang and compiler-rt. When I run make, I am getting the following compilation error (I tried compiling llvm-3.2, which is what I need for my project, but also tried llvm-3.3 and the current llvm source from the git repository). ... COMPILE: clang_linux/full-x86_64/x86_64: /home/pranav/smack-project/llvm/src/projects/compiler-rt/lib/enable_execute_stack.c /home/pranav/smack-project/llvm/src/projects/compiler-rt/lib/enable_execute_stack.c:53:29: error: cast to 'unsigned char *' from smaller integer type 'unsigned int' [-Werror,-Wint-to-pointer-cast] unsigne...

Hi all, I've been using LLVM in my software analysis projects for quite a few years now, and several years back I relied on results of DSA analysis in my SMACK tool for checking C programs. At some point that part of SMACK got deprecated, but now I would like to revisit it since it was working quite well. Therefore, I would like to learn what's the status of the poolalloc project, and in particular its DSA analysis. I've seen there are regular c...

...nd compiler-rt. When I run make, I am getting the following compilation error (I tried compiling llvm-3.2, which is what I need for my project, but also tried llvm-3.3 and the current llvm source from the git repository). > > ... > COMPILE: clang_linux/full-x86_64/x86_64: /home/pranav/smack-project/llvm/src/projects/compiler-rt/lib/enable_execute_stack.c > /home/pranav/smack-project/llvm/src/projects/compiler-rt/lib/enable_execute_stack.c:53:29: error: cast to 'unsigned char *' from smaller integer type 'unsigned int' > [-Werror,-Wint-to-pointer-cast] >...

On 12/6/12 4:47 PM, Zvonimir Rakamaric wrote: > Hi all, > > I've been using LLVM in my software analysis projects for quite a few > years now, and several years back I relied on results of DSA analysis > in my SMACK tool for checking C programs. > > At some point that part of SMACK got deprecated, but now I would like > to revisit it since it was working quite well. > > Therefore, I would like to learn what's the status of the poolalloc > project, and in particular its DSA analysis. I'...

...t-Sensitive Points-to Analysis with Heap Cloning Practical For The Real World" (http://llvm.org/pubs/2007-06-10-PLDI-DSA.html ). However, my "Percent May Alias" for all the benchmarks is much greater, especially "bzip2". The DSA code I use is from "https://github.com/smackers/smack". I have diff the code between smack and poolalloc_32. They are almost the same except the "#include" statements. I was wondering whether I need to do some configuration to make DSA work properly. Thank you! Zhiyuan -------------- next part -------------- An HTML attachme...

Sviatoslav Sviridov [mailto:svd@ns1.lintec.minsk.by] wrote: >It would be good if attached patch will be included in upstream. This >patch adds option --apt-support for rsync and with this option rsync >will print some additional information about file being transfered. No >program logic changed. Having this option in rsync we can have apt with >rsync method support. 1. What is apt?

...uld notice soon enough. So before anyone goes into flame mode, think about the difficulties that have faced the CentOS developers in the past, and please refrain from asking the age-old question 'are we there yet?' (I have five children, between the ages of 17 and 4; that saying is just a smack old by now for me.....)