Can not find VerveineJ

Previous Topic Next Topic
 
classic Classic list List threaded Threaded
4 messages Options
Reply | Threaded
Open this post in threaded view
|

Can not find VerveineJ

voronaam
Dear Moose developers,

I can not find executable VerveineJ anywhere. The link in the
Moosebook [1] is broken.

I am building a new static analysis tool for JVM languages and was
going to use MSE as its output format. I was going to use VerveineJ as
a reference tool that produces MSE files to evaluate this decision
before I immerse myself into the format specification.

Could you help me locate it, please?

Faithfully,
  Aleksey

1: http://www.themoosebook.org/book/externals/import-export/external/verveineJ
_______________________________________________
Moose-dev mailing list
[hidden email]
https://www.list.inf.unibe.ch/listinfo/moose-dev
Reply | Threaded
Open this post in threaded view
|

Re: Can not find VerveineJ

Tudor Girba-2
Hi,

Indeed, the Moose book is outdated. VerveineJ is no longer available publicly because the company (http://www.synectique.eu) that produces it decided to make it a commercial offering. But, you can ask for an evaluation license.

But, I am very happy that you are interested in a static analysis for JVM. This is a very important piece to make Moose easier to adopt.

I already started an open-source project in this direction, and I am looking for collaborators:
https://github.com/girba/jdt2famix
http://www.smalltalkhub.com/#!/%7EMoose/Jdt2Famix

Would you like to join our effort? We could connect over Skype (tudor_girba) if you want.

Cheers,
Doru

> On Nov 20, 2015, at 1:49 AM, Aleksey Vorona <[hidden email]> wrote:
>
> Dear Moose developers,
>
> I can not find executable VerveineJ anywhere. The link in the
> Moosebook [1] is broken.
>
> I am building a new static analysis tool for JVM languages and was
> going to use MSE as its output format. I was going to use VerveineJ as
> a reference tool that produces MSE files to evaluate this decision
> before I immerse myself into the format specification.
>
> Could you help me locate it, please?
>
> Faithfully,
>  Aleksey
>
> 1: http://www.themoosebook.org/book/externals/import-export/external/verveineJ
> _______________________________________________
> Moose-dev mailing list
> [hidden email]
> https://www.list.inf.unibe.ch/listinfo/moose-dev

--
www.tudorgirba.com

"Every thing should have the right to be different."



_______________________________________________
Moose-dev mailing list
[hidden email]
https://www.list.inf.unibe.ch/listinfo/moose-dev
Reply | Threaded
Open this post in threaded view
|

Re: Can not find VerveineJ

Nicolas Anquetil
In reply to this post by voronaam

Hi Aleksey,

As Tudor said, we are happy to propose an evaluation/research licence if
you need one.

Can you just drop an email describing a bit what your project is?
We are always interested in knowing what other people are doing with Moose.
Incidently, when your project will have matured, we will also be
interested in knowing what it has become and what interesting results
you can share.

nicolas

On 20/11/2015 01:49, Aleksey Vorona wrote:

> Dear Moose developers,
>
> I can not find executable VerveineJ anywhere. The link in the
> Moosebook [1] is broken.
>
> I am building a new static analysis tool for JVM languages and was
> going to use MSE as its output format. I was going to use VerveineJ as
> a reference tool that produces MSE files to evaluate this decision
> before I immerse myself into the format specification.
>
> Could you help me locate it, please?
>
> Faithfully,
>    Aleksey
>
> 1: http://www.themoosebook.org/book/externals/import-export/external/verveineJ
> _______________________________________________
> Moose-dev mailing list
> [hidden email]
> https://www.list.inf.unibe.ch/listinfo/moose-dev

--
Nicolas Anquetil
RMod team -- Inria Lille

_______________________________________________
Moose-dev mailing list
[hidden email]
https://www.list.inf.unibe.ch/listinfo/moose-dev
Reply | Threaded
Open this post in threaded view
|

Re: Can not find VerveineJ

voronaam
In reply to this post by Tudor Girba-2
Hi Todor,

Thank you for the swift response.

I emailed Nicolas separately about VerveineJ.

I will take a look at your project and will consider joining in.

The main idea I had was to enhance static analysis of the code with
some data captured in Runtime. I have a few notes and a prototype of a
simple but fast java agent in github:
https://github.com/voronaam/berta

-- Aleksey

On 11/19/15, Tudor Girba <[hidden email]> wrote:

> Hi,
>
> Indeed, the Moose book is outdated. VerveineJ is no longer available
> publicly because the company (http://www.synectique.eu) that produces it
> decided to make it a commercial offering. But, you can ask for an evaluation
> license.
>
> But, I am very happy that you are interested in a static analysis for JVM.
> This is a very important piece to make Moose easier to adopt.
>
> I already started an open-source project in this direction, and I am looking
> for collaborators:
> https://github.com/girba/jdt2famix
> http://www.smalltalkhub.com/#!/%7EMoose/Jdt2Famix
>
> Would you like to join our effort? We could connect over Skype (tudor_girba)
> if you want.
>
> Cheers,
> Doru
>
>> On Nov 20, 2015, at 1:49 AM, Aleksey Vorona <[hidden email]> wrote:
>>
>> Dear Moose developers,
>>
>> I can not find executable VerveineJ anywhere. The link in the
>> Moosebook [1] is broken.
>>
>> I am building a new static analysis tool for JVM languages and was
>> going to use MSE as its output format. I was going to use VerveineJ as
>> a reference tool that produces MSE files to evaluate this decision
>> before I immerse myself into the format specification.
>>
>> Could you help me locate it, please?
>>
>> Faithfully,
>>  Aleksey
>>
>> 1:
>> http://www.themoosebook.org/book/externals/import-export/external/verveineJ
>> _______________________________________________
>> Moose-dev mailing list
>> [hidden email]
>> https://www.list.inf.unibe.ch/listinfo/moose-dev
>
> --
> www.tudorgirba.com
>
> "Every thing should have the right to be different."
>
>
>
> _______________________________________________
> Moose-dev mailing list
> [hidden email]
> https://www.list.inf.unibe.ch/listinfo/moose-dev
>
_______________________________________________
Moose-dev mailing list
[hidden email]
https://www.list.inf.unibe.ch/listinfo/moose-dev