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:
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:
> 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
--
_,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:
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