Citons la compilation vers de « langages de haut-niveau » vers C (qu'il faudra alors à son tour compiler), ou vers des langages interprétés par des machines virtuelles.
Des exemples :
Gambit-C compile du Scheme vers du C;
OCaml compile de l'OCaml vers du code octet pour sa machine virtuelle, ou produit directement du code machine pour certains processeurs;
Java qui compile vers la JVM.
>> Une tendance récente de GCC est de permettre bientôt des traitements de plus en plus variés sur le code source des programmes,
J'aurais aimé plus de détails sur ces points. Autant j'ai une bonne idée de ce qu'il est possible de faire, autant je n'ai aucune idée de ce que GCC sait faire...
Fait-il de l'évaluation partielle (Partial_evaluation) ? de l'analyse d'alias (Alias_analysis) ? de la détection de débordement de tampons ?
J'ai rien contre les optimisations, mais je me demande s'il ne faudrait pas insister un peu plus sur l'analyse de code dans une optique sécuritaire, afin de repérer plus de bogues et d'inciter les développeurs à fournir du code plus sûr et correct...
[^] # Re: Pas une super definition...
Posté par Axioplase ıɥs∀ (site web personnel) . En réponse à la dépêche Conférence Parinux : "le compilateur GCC : développements récents, greffons et outil MELT". Évalué à 3.
Citons la compilation vers de « langages de haut-niveau » vers C (qu'il faudra alors à son tour compiler), ou vers des langages interprétés par des machines virtuelles.
Des exemples :
Gambit-C compile du Scheme vers du C;
OCaml compile de l'OCaml vers du code octet pour sa machine virtuelle, ou produit directement du code machine pour certains processeurs;
Java qui compile vers la JVM.
>> Une tendance récente de GCC est de permettre bientôt des traitements de plus en plus variés sur le code source des programmes,
J'aurais aimé plus de détails sur ces points. Autant j'ai une bonne idée de ce qu'il est possible de faire, autant je n'ai aucune idée de ce que GCC sait faire...
Fait-il de l'évaluation partielle (Partial_evaluation) ? de l'analyse d'alias (Alias_analysis) ? de la détection de débordement de tampons ?
J'ai rien contre les optimisations, mais je me demande s'il ne faudrait pas insister un peu plus sur l'analyse de code dans une optique sécuritaire, afin de repérer plus de bogues et d'inciter les développeurs à fournir du code plus sûr et correct...