Currently I am doing an internship in Atos (a French multinational IT services
corporation). They have many software projects (mainly in Java) and they want to audit
them.
The goal of my internship is to evaluate how Moose can be used to do this audit
(performance, architecture, etc...) and be automatized to execute checking rules.
A part of the audit is to see how a program interact with a database by counting the
requests that are done.
I thinks that part can't be deducted easily from the static model, so I thought to use
Dynamix.
I have already the static model of the program imported by VerveineJ in Moose and I want
to instantiate the Dynamix part.
So I search how I can do this. I can't modify the source code but I can add an agent
on the JVM to see the calls made. That is why Java Wiretap seemed interesting.
Vincent
-----Message d'origine-----
De : moose-dev-bounces(a)iam.unibe.ch [mailto:moose-dev-bounces@iam.unibe.ch] De la part de
Alexandre Bergel
Envoyé : jeudi 24 avril 2014 17:44
À : Moose-related development
Objet : [Moose-dev] Re: Dynamic analysis
Can you tell us a bit what are the dynamic analysis you would like to do?
Most of the time, a simple aspectJ aspect is good enough to gather the data. You then need
to dump your data into a .mse file.
The MSE file has to be fit with the Pharo model you have. And since you probably want to
have the structure of the code, you probably need a second .mse file, obtained from
VerveineJ.
I am interested in that work.
Alexandre
--
_,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:
Alexandre Bergel
^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;.
On Apr 24, 2014, at 12:34 PM, Blondeau Vincent <vincent.blondeau(a)worldline.com>
wrote:
-----Message d'origine-----
De : moose-dev-bounces(a)iam.unibe.ch [mailto:moose-dev-bounces@iam.unibe.ch] De la part de
Alexandre Bergel
Envoyé : jeudi 24 avril 2014 16:58
À : Moose-related development
Objet : [Moose-dev] Re: Dynamic analysis
In Java?
Yes
I think there was an implementation made by Adrian Kuhn, called Fame.
I am not sure what the status of this work is. But, at the last resort, you can always
create it yourself, manually. MSE is designed to be easily generated.
Ok. With Fame, I can generate, by writing Java, any MSE, can't I ?
By the way, I found the code of an Eclipse plugin written by Julien Fierz that creates
the MSE model containing the Dynamix entites. It's named Java Wiretap
(
http://www.moosetechnology.org/tools/retired/jwiretap).
What is the status of this project ? Is it open source ?
On the moose website it is tagged as retired...
Thanks,
Vincent
Alexandre
--
_,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:
Alexandre Bergel
http://www.bergel.eu
^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;.
On Apr 24, 2014, at 11:49 AM, Blondeau Vincent <vincent.blondeau(a)worldline.com>
wrote:
Ok but how can I create the MSE file ? Is tools
existing ?
Vincent
-----Message d'origine-----
De : moose-dev-bounces(a)iam.unibe.ch [mailto:moose-dev-bounces@iam.unibe.ch] De la part de
Alexandre Bergel
Envoyé : jeudi 24 avril 2014 16:38
À : Moose-related development
Objet : [Moose-dev] Re: Dynamic analysis
I guess you can simply use a MSE file to import your model into moose.
Alexandre
--
_,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:
Alexandre Bergel
http://www.bergel.eu
^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;.
On Apr 24, 2014, at 11:08 AM, Blondeau Vincent <vincent.blondeau(a)worldline.com>
wrote:
Hi everyone,
I would like to do an dynamic analysis on a java software to count, for example, the
number of SQL calls.
I see that in Moose there is a package that I can use for this, Dynamix-Core, but only
model is defined and there is no importer.
Is there an available importer to use this feature ?
Cheers,
Vincent
Ce message et les pièces jointes sont confidentiels et réservés à l'usage exclusif de
ses destinataires. Il peut également être protégé par le secret professionnel. Si vous
recevez ce message par erreur, merci d'en avertir immédiatement l'expéditeur et de
le détruire. L'intégrité du message ne pouvant être assurée sur Internet, la
responsabilité de Worldline ne pourra être recherchée quant au contenu de ce message. Bien
que les meilleurs efforts soient faits pour maintenir cette transmission exempte de tout
virus, l'expéditeur ne donne aucune garantie à cet égard et sa responsabilité ne
saurait être recherchée pour tout dommage résultant d'un virus transmis.
This e-mail and the documents attached are confidential and intended solely for the
addressee; it may also be privileged. If you receive this e-mail in error, please notify
the sender immediately and destroy it. As its integrity cannot be secured on the Internet,
the Worldline liability cannot be triggered for the message content. Although the sender
endeavours to maintain a computer virus-free network, the sender does not warrant that
this transmission is virus-free and will not be liable for any damages resulting from any
virus transmitted.
_______________________________________________
Moose-dev mailing list
Moose-dev(a)iam.unibe.ch
https://www.iam.unibe.ch/mailman/listinfo/moose-dev
_______________________________________________
Moose-dev mailing list
Moose-dev(a)iam.unibe.ch
https://www.iam.unibe.ch/mailman/listinfo/moose-dev
Ce message et les pièces jointes sont confidentiels et réservés à l'usage exclusif de
ses destinataires. Il peut également être protégé par le secret professionnel. Si vous
recevez ce message par erreur, merci d'en avertir immédiatement l'expéditeur et de
le détruire. L'intégrité du message ne pouvant être assurée sur Internet, la
responsabilité de Worldline ne pourra être recherchée quant au contenu de ce message. Bien
que les meilleurs efforts soient faits pour maintenir cette transmission exempte de tout
virus, l'expéditeur ne donne aucune garantie à cet égard et sa responsabilité ne
saurait être recherchée pour tout dommage résultant d'un virus transmis.
This e-mail and the documents attached are confidential and intended solely for the
addressee; it may also be privileged. If you receive this e-mail in error, please notify
the sender immediately and destroy it. As its integrity cannot be secured on the Internet,
the Worldline liability cannot be triggered for the message content. Although the sender
endeavours to maintain a computer virus-free network, the sender does not warrant that
this transmission is virus-free and will not be liable for any damages resulting from any
virus transmitted.
_______________________________________________
Moose-dev mailing list
Moose-dev(a)iam.unibe.ch
https://www.iam.unibe.ch/mailman/listinfo/moose-dev
_______________________________________________
Moose-dev mailing list
Moose-dev(a)iam.unibe.ch
https://www.iam.unibe.ch/mailman/listinfo/moose-dev
Ce message et les pièces jointes sont confidentiels et réservés à l'usage exclusif de
ses destinataires. Il peut également être protégé par le secret professionnel. Si vous
recevez ce message par erreur, merci d'en avertir immédiatement l'expéditeur et de
le détruire. L'intégrité du message ne pouvant être assurée sur Internet, la
responsabilité de Worldline ne pourra être recherchée quant au contenu de ce message. Bien
que les meilleurs efforts soient faits pour maintenir cette transmission exempte de tout
virus, l'expéditeur ne donne aucune garantie à cet égard et sa responsabilité ne
saurait être recherchée pour tout dommage résultant d'un virus transmis.
This e-mail and the documents attached are confidential and intended solely for the
addressee; it may also be privileged. If you receive this e-mail in error, please notify
the sender immediately and destroy it. As its integrity cannot be secured on the Internet,
the Worldline liability cannot be triggered for the message content. Although the sender
endeavours to maintain a computer virus-free network, the sender does not warrant that
this transmission is virus-free and will not be liable for any damages resulting from any
virus transmitted.
_______________________________________________
Moose-dev mailing list
Moose-dev(a)iam.unibe.ch
https://www.iam.unibe.ch/mailman/listinfo/moose-dev
_______________________________________________
Moose-dev mailing list
Moose-dev(a)iam.unibe.ch
Ce message et les pièces jointes sont confidentiels et réservés à l'usage exclusif de
ses destinataires. Il peut également être protégé par le secret professionnel. Si vous
recevez ce message par erreur, merci d'en avertir immédiatement l'expéditeur et de
le détruire. L'intégrité du message ne pouvant être assurée sur Internet, la
responsabilité de Worldline ne pourra être recherchée quant au contenu de ce message. Bien
que les meilleurs efforts soient faits pour maintenir cette transmission exempte de tout
virus, l'expéditeur ne donne aucune garantie à cet égard et sa responsabilité ne
saurait être recherchée pour tout dommage résultant d'un virus transmis.
This e-mail and the documents attached are confidential and intended solely for the
addressee; it may also be privileged. If you receive this e-mail in error, please notify
the sender immediately and destroy it. As its integrity cannot be secured on the Internet,
the Worldline liability cannot be triggered for the message content. Although the sender
endeavours to maintain a computer virus-free network, the sender does not warrant that
this transmission is virus-free and will not be liable for any damages resulting from any
virus transmitted.