22 Jul
2009
22 Jul
'09
2:36 p.m.
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
22 Jul
22 Jul
4:28 p.m.
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(a)iam.unibe.ch
https://www.iam.unibe.ch/mailman/listinfo/moose-dev
--
_,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:
Alexandre Bergel http://www.bergel.eu
^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;.
4:31 p.m.
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(a)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(a)iam.unibe.ch
https://www.iam.unibe.ch/mailman/listinfo/moose-dev
--
_,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:
Alexandre Bergel http://www.bergel.eu
^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;.
_______________________________________________
Moose-dev mailing list
Moose-dev(a)iam.unibe.ch
https://www.iam.unibe.ch/mailman/listinfo/moose-dev
4:40 p.m.
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(a)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:
--
_,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:
Alexandre Bergel http://www.bergel.eu
^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;.
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(a)iam.unibe.ch
https://www.iam.unibe.ch/mailman/listinfo/moose-dev
--
_,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:
Alexandre Bergel http://www.bergel.eu
^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;.
_______________________________________________
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
23 Jul
23 Jul
3:34 p.m.
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(a)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(a)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:
--
_,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:
Alexandre Bergel http://www.bergel.eu
^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;.
_______________________________________________
Moose-dev mailing list
Moose-dev(a)iam.unibe.ch
https://www.iam.unibe.ch/mailman/listinfo/moose-dev
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(a)iam.unibe.ch
https://www.iam.unibe.ch/mailman/listinfo/moose-dev
--
_,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:
Alexandre Bergel http://www.bergel.eu
^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;.
_______________________________________________
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
5:16 p.m.
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:directive>include</
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(a)bergel.eu>
The linux kernel and an industrial application
Alexandre
On 22 Jul 2009, at 10:31, Alberto Bacchelli wrote:
--
_,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:
Alexandre Bergel http://www.bergel.eu
^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;.
_______________________________________________
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
--
_,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:
Alexandre Bergel http://www.bergel.eu
^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;.
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(a)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(a)iam.unibe.ch
https://www.iam.unibe.ch/mailman/listinfo/moose-dev
--
_,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:
Alexandre Bergel http://www.bergel.eu
^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;.
_______________________________________________
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
5:50 p.m.
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(a)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:directive>include</
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(a)bergel.eu>
The linux kernel and an industrial application
Alexandre
On 22 Jul 2009, at 10:31, Alberto Bacchelli wrote:
--
_,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:
Alexandre Bergel http://www.bergel.eu
^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;.
_______________________________________________
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
--
_,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:
Alexandre Bergel http://www.bergel.eu
^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;.
_______________________________________________
Moose-dev mailing list
Moose-dev(a)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(a)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(a)iam.unibe.ch
https://www.iam.unibe.ch/mailman/listinfo/moose-dev
--
_,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:
Alexandre Bergel http://www.bergel.eu
^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;.
_______________________________________________
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
6:19 p.m.
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(a)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:directive>include</
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:
--
_,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:
Alexandre Bergel http://www.bergel.eu
^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;.
_______________________________________________
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
--
_,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:
Alexandre Bergel http://www.bergel.eu
^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;.
_______________________________________________
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
--
_,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:
Alexandre Bergel http://www.bergel.eu
^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;.
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(a)bergel.eu>
The linux kernel and an industrial application
Alexandre
On 22 Jul 2009, at 10:31, Alberto Bacchelli wrote:
share
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(a)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 > 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(a)iam.unibe.ch
https://www.iam.unibe.ch/mailman/listinfo/moose-dev
--
_,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:
Alexandre Bergel http://www.bergel.eu
^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;.
_______________________________________________
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
5631
days inactive
5632
days old
7 comments
2 participants
participants (2)
-
Alberto Bacchelli -
Alexandre Bergel