search for: smacker

Displaying 12 results from an estimated 12 matches for "smacker".

Did you mean: smackers
2013 Feb 04
2
[LLVMdev] Adding SMACK to the list of LLVM projects
...ACK 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: **************************************************************************** SMACK Static Checker By <a href="https://github.com/smackers?tab=members">smackers</a> <a href="http://smackers.github.com/smack/">SMACK</a> is a tool for statically checking properties of programs written in C/C++. For a given input program, SMACK checks for violations of user-provided assertions. The tool is open-sourc...
2013 Feb 06
2
[LLVMdev] Adding SMACK to the list of LLVM projects
...d we >> are hoping to get more collaborators and contributors this way. >> >> Here is more info about SMACK: >> **************************************************************************** >> SMACK Static Checker >> >> By <a href="https://github.com/smackers?tab=members">smackers</a> >> >> <a href="http://smackers.github.com/smack/">SMACK</a> is a tool for >> statically checking properties of programs written in C/C++. For a >> given input program, SMACK checks for violations of user-provided...
2013 Feb 06
0
[LLVMdev] Adding SMACK to the list of LLVM projects
...r built on top of LLVM, and we > are hoping to get more collaborators and contributors this way. > > Here is more info about SMACK: > **************************************************************************** > SMACK Static Checker > > By <a href="https://github.com/smackers?tab=members">smackers</a> > > <a href="http://smackers.github.com/smack/">SMACK</a> is a tool for > statically checking properties of programs written in C/C++. For a > given input program, SMACK checks for violations of user-provided > assertion...
2013 Feb 06
1
[LLVMdev] Adding SMACK to the list of LLVM projects
...o get more collaborators and contributors this way. >>> >>> Here is more info about SMACK: >>> **************************************************************************** >>> SMACK Static Checker >>> >>> By <a href="https://github.com/smackers?tab=members">smackers</a> >>> >>> <a href="http://smackers.github.com/smack/">SMACK</a> is a tool for >>> statically checking properties of programs written in C/C++. For a >>> given input program, SMACK checks for violations...
2013 Feb 06
0
[LLVMdev] Adding SMACK to the list of LLVM projects
...d we >> are hoping to get more collaborators and contributors this way. >> >> Here is more info about SMACK: >> **************************************************************************** >> SMACK Static Checker >> >> By <a href="https://github.com/smackers?tab=members">smackers</a> >> >> <a href="http://smackers.github.com/smack/">SMACK</a> is a tool for >> statically checking properties of programs written in C/C++. For a >> given input program, SMACK checks for violations of user-provided...
2016 Jun 13
3
LLVM APT packages - when will they be back?
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 installing SMACK due to the abov...
2008 Aug 06
2
Space Bucks gives an installation error
...ase, be gently with me. [Wink] Ok, now the problem. I run WINE 1.1.2 under Ubuntu 8.04 and try to install Space Bucks (german version). It's a cool game from 1996 for Win 3.1 and Win 95, but everytime I try to install the game, there pop up a window, which say > Error: Could not load 32-bit Smacker DLL. This happens a few time and the installation fails. Can anybody help me?
2015 Apr 06
2
[LLVMdev] llvm DSA - reproduce the result in PLDI 07 paper
...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 attachment...
2015 May 07
3
[LLVMdev] Pony Language: LLVM Project
Dear LLVM community, I am affiliated with the design and development of the Pony<http:/www.ponylang.org> programming language, which was recently published and has since been discussed on hacker news<https://news.ycombinator.com/item?id=9482483>, reddit [1]<http://www.reddit.com/r/ponylang>
2015 May 05
2
[LLVMdev] llvm DSA - reproduce the result in PLDI 07 paper
...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 > > &gt...
2002 Jul 17
3
More introductions
--- "Tabuleiro" wrote: Hi, guys. I was working with the VP3 code, planning to integrate it with Ogg for a self-contained solution for video playback, platform independant, no installation required, no QT, no AVI runtimes. My main interest is CD-based work using local files and portability/performance, not really into streaming or anything fancy (network error correction, prediction,
2015 Apr 10
2
[LLVMdev] LLVM Alias Analysis
Hi Xin, Thank you for your reply! I have tried the 3 alias analyses you have mentioned on LLVM 3.5: 1) $ opt -globalsmodref-aa -aa-eval < xxx.bc > /dev/null (May-alias response 100%) 2) $ opt -tbaa -aa-eval < xxx.bc > /dev/null (May-alias response 100%) 3) $ opt -cfl-aa -aa-eval < xxx.bc> /dev/null (Unknown command line argument '-cfl-aa') It seems that they are not