Hi,
I need to study one (or more) C++ systems. However, due to the macro definition issue, it is quite long (and the results can be approximate) to generate the mse files using iPlasma (or also inFusion), if you want to analyze a C++ system that you don't know.
For this reason, I was wondering if there's somebody who can share the mse files of C++ systems with me. The ideal situation is a system big enough to have a bug reporting system (e.g. bugzilla) and a mailing list.
Thank you in advance, Alberto
Hi Alberto,
To let you know, I did some case studies in C under Pharo.
Cheers, Alexandre
On 22 Jul 2009, at 08:36, Alberto Bacchelli wrote:
Hi,
I need to study one (or more) C++ systems. However, due to the macro definition issue, it is quite long (and the results can be approximate) to generate the mse files using iPlasma (or also inFusion), if you want to analyze a C++ system that you don't know.
For this reason, I was wondering if there's somebody who can share the mse files of C++ systems with me. The ideal situation is a system big enough to have a bug reporting system (e.g. bugzilla) and a mailing list.
Thank you in advance, Alberto _______________________________________________ Moose-dev mailing list Moose-dev@iam.unibe.ch https://www.iam.unibe.ch/mailman/listinfo/moose-dev
Interesting :) Which projects did you study? So I can see if they are ok for me
In the meanwhile, thank you for letting me know,
Alberto
2009/7/22 Alexandre Bergel alexandre@bergel.eu
Hi Alberto,
To let you know, I did some case studies in C under Pharo.
Cheers, Alexandre
On 22 Jul 2009, at 08:36, Alberto Bacchelli wrote:
Hi,
I need to study one (or more) C++ systems. However, due to the macro definition issue, it is quite long (and the results can be approximate) to generate the mse files using iPlasma (or also inFusion), if you want to analyze a C++ system that you don't know.
For this reason, I was wondering if there's somebody who can share the mse files of C++ systems with me. The ideal situation is a system big enough to have a bug reporting system (e.g. bugzilla) and a mailing list.
Thank you in advance, Alberto _______________________________________________ Moose-dev mailing list Moose-dev@iam.unibe.ch https://www.iam.unibe.ch/mailman/listinfo/moose-dev
-- _,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;: Alexandre Bergel http://www.bergel.eu ^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;.
Moose-dev mailing list Moose-dev@iam.unibe.ch https://www.iam.unibe.ch/mailman/listinfo/moose-dev
The linux kernel and an industrial application
Alexandre
On 22 Jul 2009, at 10:31, Alberto Bacchelli wrote:
Interesting :) Which projects did you study? So I can see if they are ok for me
In the meanwhile, thank you for letting me know,
Alberto
2009/7/22 Alexandre Bergel alexandre@bergel.eu Hi Alberto,
To let you know, I did some case studies in C under Pharo.
Cheers, Alexandre
On 22 Jul 2009, at 08:36, Alberto Bacchelli wrote:
Hi,
I need to study one (or more) C++ systems. However, due to the macro definition issue, it is quite long (and the results can be approximate) to generate the mse files using iPlasma (or also inFusion), if you want to analyze a C++ system that you don't know.
For this reason, I was wondering if there's somebody who can share the mse files of C++ systems with me. The ideal situation is a system big enough to have a bug reporting system (e.g. bugzilla) and a mailing list.
Thank you in advance, Alberto _______________________________________________ Moose-dev mailing list Moose-dev@iam.unibe.ch https://www.iam.unibe.ch/mailman/listinfo/moose-dev
-- _,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;: Alexandre Bergel http://www.bergel.eu ^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;.
Moose-dev mailing list Moose-dev@iam.unibe.ch https://www.iam.unibe.ch/mailman/listinfo/moose-dev
Moose-dev mailing list Moose-dev@iam.unibe.ch https://www.iam.unibe.ch/mailman/listinfo/moose-dev
Unfortunately they don't fit my need. However, I'd be interested in having a look at how is a MSE file for a C software. Can you send me one of yours mse file of the linux kernel, please?
Thank you! Alberto
2009/7/22 Alexandre Bergel alexandre@bergel.eu
The linux kernel and an industrial application
Alexandre
On 22 Jul 2009, at 10:31, Alberto Bacchelli wrote:
Interesting :) Which projects did you study? So I can see if they are ok for me
In the meanwhile, thank you for letting me know,
Alberto
2009/7/22 Alexandre Bergel alexandre@bergel.eu Hi Alberto,
To let you know, I did some case studies in C under Pharo.
Cheers, Alexandre
On 22 Jul 2009, at 08:36, Alberto Bacchelli wrote:
Hi,
I need to study one (or more) C++ systems. However, due to the macro definition issue, it is quite long (and the results can be approximate) to generate the mse files using iPlasma (or also inFusion), if you want to analyze a C++ system that you don't know.
For this reason, I was wondering if there's somebody who can share the mse files of C++ systems with me. The ideal situation is a system big enough to have a bug reporting system (e.g. bugzilla) and a mailing list.
Thank you in advance, Alberto _______________________________________________ Moose-dev mailing list Moose-dev@iam.unibe.ch https://www.iam.unibe.ch/mailman/listinfo/moose-dev
-- _,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;: Alexandre Bergel http://www.bergel.eu ^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;.
Moose-dev mailing list Moose-dev@iam.unibe.ch https://www.iam.unibe.ch/mailman/listinfo/moose-dev
Moose-dev mailing list Moose-dev@iam.unibe.ch https://www.iam.unibe.ch/mailman/listinfo/moose-dev
-- _,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;: Alexandre Bergel http://www.bergel.eu ^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;.
Moose-dev mailing list Moose-dev@iam.unibe.ch https://www.iam.unibe.ch/mailman/listinfo/moose-dev
I do not use MSE for C models, but XML files produced by srcML instead Hello world example:
'/* Hello World program */
#include<stdio.h>
main() { printf("Hello World");
}'
XML version: '<?xml version="1.0" encoding="UTF-8" standalone="yes"?> <unit xmlns="http://www.sdml.info/srcML/src" xmlns:cpp="http://www.sdml.info/srcML/cpp " language="C++" dir="" filename="helloworld.c"><comment type="block">/ * Hello World program */</comment>
cpp:include#cpp:directiveinclude</ cpp:directive>cpp:file<stdio.h></cpp:file></cpp:include>
<function><name>main</name><parameter_list>()</parameter_list> <block>{ <expr_stmt><expr><call><name>printf</ name><argument_list>(<argument><expr>"Hello World"</expr></argument>)</ argument_list></call></expr>;</expr_stmt>
}</block></function></unit> '
srcML has nice properties, such as bijection between the source and the XML file. You can always retrieve the source from the XML.
Alexandre
On 23 Jul 2009, at 09:34, Alberto Bacchelli wrote:
Unfortunately they don't fit my need. However, I'd be interested in having a look at how is a MSE file for a C software. Can you send me one of yours mse file of the linux kernel, please?
Thank you! Alberto
2009/7/22 Alexandre Bergel alexandre@bergel.eu The linux kernel and an industrial application
Alexandre
On 22 Jul 2009, at 10:31, Alberto Bacchelli wrote:
Interesting :) Which projects did you study? So I can see if they are ok for me
In the meanwhile, thank you for letting me know,
Alberto
2009/7/22 Alexandre Bergel alexandre@bergel.eu Hi Alberto,
To let you know, I did some case studies in C under Pharo.
Cheers, Alexandre
On 22 Jul 2009, at 08:36, Alberto Bacchelli wrote:
Hi,
I need to study one (or more) C++ systems. However, due to the
macro
definition issue, it is quite long (and the results can be approximate) to generate the mse files using iPlasma (or also inFusion), if you want to analyze a C++ system that you don't
know.
For this reason, I was wondering if there's somebody who can share the mse files of C++ systems with me. The ideal situation is a system big enough to have a bug reporting system (e.g. bugzilla)
and
a mailing list.
Thank you in advance, Alberto _______________________________________________ Moose-dev mailing list Moose-dev@iam.unibe.ch https://www.iam.unibe.ch/mailman/listinfo/moose-dev
-- _,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;: Alexandre Bergel http://www.bergel.eu ^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;.
Moose-dev mailing list Moose-dev@iam.unibe.ch https://www.iam.unibe.ch/mailman/listinfo/moose-dev
Moose-dev mailing list Moose-dev@iam.unibe.ch https://www.iam.unibe.ch/mailman/listinfo/moose-dev
-- _,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;: Alexandre Bergel http://www.bergel.eu ^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;.
Moose-dev mailing list Moose-dev@iam.unibe.ch https://www.iam.unibe.ch/mailman/listinfo/moose-dev
Moose-dev mailing list Moose-dev@iam.unibe.ch https://www.iam.unibe.ch/mailman/listinfo/moose-dev
Really interesting!
Which version do you suggest me to use? The one on the repository or the mac binary?
Thank you!! Alberto
2009/7/23 Alexandre Bergel alexandre@bergel.eu
I do not use MSE for C models, but XML files produced by srcML instead Hello world example:
'/* Hello World program */
#include<stdio.h>
main() { printf("Hello World");
}'
XML version: '<?xml version="1.0" encoding="UTF-8" standalone="yes"?> <unit xmlns="http://www.sdml.info/srcML/src" xmlns:cpp=" http://www.sdml.info/srcML/cpp " language="C++" dir="" filename="helloworld.c"><comment type="block">/
- Hello World program */</comment>
cpp:include#cpp:directiveinclude</ cpp:directive>cpp:file<stdio.h></cpp:file></cpp:include>
<function><name>main</name><parameter_list>()</parameter_list> <block>{ <expr_stmt><expr><call><name>printf</ name><argument_list>(<argument><expr>"Hello World"</expr></argument>)</ argument_list></call></expr>;</expr_stmt>
}</block></function></unit> '
srcML has nice properties, such as bijection between the source and the XML file. You can always retrieve the source from the XML.
Alexandre
On 23 Jul 2009, at 09:34, Alberto Bacchelli wrote:
Unfortunately they don't fit my need. However, I'd be interested in having a look at how is a MSE file for a C software. Can you send me one of yours mse file of the linux kernel, please?
Thank you! Alberto
2009/7/22 Alexandre Bergel alexandre@bergel.eu The linux kernel and an industrial application
Alexandre
On 22 Jul 2009, at 10:31, Alberto Bacchelli wrote:
Interesting :) Which projects did you study? So I can see if they are ok for me
In the meanwhile, thank you for letting me know,
Alberto
2009/7/22 Alexandre Bergel alexandre@bergel.eu Hi Alberto,
To let you know, I did some case studies in C under Pharo.
Cheers, Alexandre
On 22 Jul 2009, at 08:36, Alberto Bacchelli wrote:
Hi,
I need to study one (or more) C++ systems. However, due to the
macro
definition issue, it is quite long (and the results can be approximate) to generate the mse files using iPlasma (or also inFusion), if you want to analyze a C++ system that you don't
know.
For this reason, I was wondering if there's somebody who can share the mse files of C++ systems with me. The ideal situation is a system big enough to have a bug reporting system (e.g. bugzilla)
and
a mailing list.
Thank you in advance, Alberto _______________________________________________ Moose-dev mailing list Moose-dev@iam.unibe.ch https://www.iam.unibe.ch/mailman/listinfo/moose-dev
-- _,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;: Alexandre Bergel http://www.bergel.eu ^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;.
Moose-dev mailing list Moose-dev@iam.unibe.ch https://www.iam.unibe.ch/mailman/listinfo/moose-dev
Moose-dev mailing list Moose-dev@iam.unibe.ch https://www.iam.unibe.ch/mailman/listinfo/moose-dev
-- _,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;: Alexandre Bergel http://www.bergel.eu ^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;.
Moose-dev mailing list Moose-dev@iam.unibe.ch https://www.iam.unibe.ch/mailman/listinfo/moose-dev
Moose-dev mailing list Moose-dev@iam.unibe.ch https://www.iam.unibe.ch/mailman/listinfo/moose-dev
-- _,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;: Alexandre Bergel http://www.bergel.eu ^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;.
Moose-dev mailing list Moose-dev@iam.unibe.ch https://www.iam.unibe.ch/mailman/listinfo/moose-dev
Of what? srcML ? I use the one for mac and it made me happy.
Alexandre
On 23 Jul 2009, at 11:50, Alberto Bacchelli wrote:
Really interesting!
Which version do you suggest me to use? The one on the repository or the mac binary?
Thank you!! Alberto
2009/7/23 Alexandre Bergel alexandre@bergel.eu I do not use MSE for C models, but XML files produced by srcML instead Hello world example:
'/* Hello World program */
#include<stdio.h>
main() { printf("Hello World");
}'
XML version: '<?xml version="1.0" encoding="UTF-8" standalone="yes"?> <unit xmlns="http://www.sdml.info/srcML/src" xmlns:cpp="http://www.sdml.info/srcML/cpp " language="C++" dir="" filename="helloworld.c"><comment type="block">/
- Hello World program */</comment>
cpp:include#cpp:directiveinclude</ cpp:directive>cpp:file<stdio.h></cpp:file></cpp:include>
<function><name>main</name><parameter_list>()</parameter_list> <block>{ <expr_stmt><expr><call><name>printf</ name><argument_list>(<argument><expr>"Hello World"</expr></ argument>)</ argument_list></call></expr>;</expr_stmt>
}</block></function></unit> '
srcML has nice properties, such as bijection between the source and the XML file. You can always retrieve the source from the XML.
Alexandre
On 23 Jul 2009, at 09:34, Alberto Bacchelli wrote:
Unfortunately they don't fit my need. However, I'd be interested in having a look at how is a MSE file for a C software. Can you send me one of yours mse file of the linux kernel, please?
Thank you! Alberto
2009/7/22 Alexandre Bergel alexandre@bergel.eu The linux kernel and an industrial application
Alexandre
On 22 Jul 2009, at 10:31, Alberto Bacchelli wrote:
Interesting :) Which projects did you study? So I can see if they are ok for me
In the meanwhile, thank you for letting me know,
Alberto
2009/7/22 Alexandre Bergel alexandre@bergel.eu Hi Alberto,
To let you know, I did some case studies in C under Pharo.
Cheers, Alexandre
On 22 Jul 2009, at 08:36, Alberto Bacchelli wrote:
Hi,
I need to study one (or more) C++ systems. However, due to the
macro
definition issue, it is quite long (and the results can be approximate) to generate the mse files using iPlasma (or also inFusion), if you want to analyze a C++ system that you don't
know.
For this reason, I was wondering if there's somebody who can
share
the mse files of C++ systems with me. The ideal situation is a system big enough to have a bug reporting system (e.g. bugzilla)
and
a mailing list.
Thank you in advance, Alberto _______________________________________________ Moose-dev mailing list Moose-dev@iam.unibe.ch https://www.iam.unibe.ch/mailman/listinfo/moose-dev
-- _,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;: Alexandre Bergel http://www.bergel.eu ^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;.
Moose-dev mailing list Moose-dev@iam.unibe.ch https://www.iam.unibe.ch/mailman/listinfo/moose-dev
Moose-dev mailing list Moose-dev@iam.unibe.ch https://www.iam.unibe.ch/mailman/listinfo/moose-dev
-- _,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;: Alexandre Bergel http://www.bergel.eu ^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;.
Moose-dev mailing list Moose-dev@iam.unibe.ch https://www.iam.unibe.ch/mailman/listinfo/moose-dev
Moose-dev mailing list Moose-dev@iam.unibe.ch https://www.iam.unibe.ch/mailman/listinfo/moose-dev
-- _,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;: Alexandre Bergel http://www.bergel.eu ^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;.
Moose-dev mailing list Moose-dev@iam.unibe.ch https://www.iam.unibe.ch/mailman/listinfo/moose-dev
Moose-dev mailing list Moose-dev@iam.unibe.ch https://www.iam.unibe.ch/mailman/listinfo/moose-dev
-
Alberto Bacchelli -
Alexandre Bergel