Zvonimir Rakamaric
2013-Feb-04 05:16 UTC
[LLVMdev] Adding SMACK to the list of LLVM projects
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: **************************************************************************** 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-source and integrates into the well-known LLVM compiler infrastructure. Therefore, SMACK can (at least in theory) check any program that can be compiled with LLVM. It should also be relatively easy to implement and try out different extensions on top of SMACK. **************************************************************************** Please let me know if you need anything else. There already are two of my publications related to SMACK in the LLVM publication list. Thanks a lot in advance for your help! Best, -- Zvonimir -- http://www.zvonimir.info
Hi Zvonimir, We normally list projects that use LLVM when we do a release. The next release will be 3.3, which will probably start up in 5 months or so. -bw On Feb 3, 2013, at 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: > **************************************************************************** > 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-source and integrates into the well-known > LLVM compiler infrastructure. Therefore, SMACK can (at least in > theory) check any program that can be compiled with LLVM. It should > also be relatively easy to implement and try out different extensions > on top of SMACK. > **************************************************************************** > > Please let me know if you need anything else. There already are two of > my publications related to SMACK in the LLVM publication list. > > Thanks a lot in advance for your help! > > Best, > -- Zvonimir > > -- > http://www.zvonimir.info > _______________________________________________ > LLVM Developers mailing list > LLVMdev at cs.uiuc.edu http://llvm.cs.uiuc.edu > http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev
Zvonimir Rakamaric
2013-Feb-06 15:10 UTC
[LLVMdev] Adding SMACK to the list of LLVM projects
Thanks Bill! So should I email you again in 5 months? -- http://www.zvonimir.info On Wed, Feb 6, 2013 at 1:10 AM, Bill Wendling <wendling at apple.com> wrote:> Hi Zvonimir, > > We normally list projects that use LLVM when we do a release. The next release will be 3.3, which will probably start up in 5 months or so. > > -bw > > On Feb 3, 2013, at 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: >> **************************************************************************** >> 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-source and integrates into the well-known >> LLVM compiler infrastructure. Therefore, SMACK can (at least in >> theory) check any program that can be compiled with LLVM. It should >> also be relatively easy to implement and try out different extensions >> on top of SMACK. >> **************************************************************************** >> >> Please let me know if you need anything else. There already are two of >> my publications related to SMACK in the LLVM publication list. >> >> Thanks a lot in advance for your help! >> >> Best, >> -- Zvonimir >> >> -- >> http://www.zvonimir.info >> _______________________________________________ >> LLVM Developers mailing list >> LLVMdev at cs.uiuc.edu http://llvm.cs.uiuc.edu >> http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev >