Hi,
You can always download it at:
https://www.intooitus.com/products/infamix/download
Cheers,
Vincent
-----Message d'origine-----
De : moose-dev-bounces(a)iam.unibe.ch [mailto:moose-dev-bounces@iam.unibe.ch] De la part de
Damien Cassou
Envoyé : lundi 20 avril 2015 14:54
À : Moose-related development
Objet : [Moose-dev] InFAMIX
Hi,
I can't find the InFAMIX C-to-mse tool anymore
(
http://www.intooitus.com/products/infamix is answering an access denied error). I would
like to see what is generated for code with pointers to functions such as:
int
f(int a) {
return a+1;
}
int
g(int a) {
return a+2;
}
int
main() {
int a = 5;
int (*func)(int) = g;
a = (*func)(a);
printf("%d\n", a);
return EXIT_SUCCESS;
}
Best
--
Damien Cassou
http://damiencassou.seasidehosting.st
"Success is the ability to go from one failure to another without losing
enthusiasm." --Winston Churchill _______________________________________________
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.