Messages postés par "Ksass`Peuk"
2 messages sont invisibles car dans un sujet inaccessible.
| Sujet | Date | Extrait |
|---|---|---|
| vendredi 31 janvier 2020 à 14h23 | Lu'! Ça manque de traitement des erreurs dans `realloc` ;) > EDIT: à la lecture de code je vois souvent les pointeurs écrits `type *ptr` mais malgré tout je trouve que l'écrire `type* ptr` (qui… | |
|
La programmation en C++ moderne
Apprenez la programmation de zéro jusqu'à l'infini ! |
vendredi 31 janvier 2020 à 10h59 | > > Ici, j’ai effectuée une opération mathématiquement impossible et **mon programme est donc invalide.** > > Il n'est pas "invalide" dans l'absolu. Au pire, il est ou il n'est pas conforme aux a… |
|
La programmation en C++ moderne
Apprenez la programmation de zéro jusqu'à l'infini ! |
jeudi 09 janvier 2020 à 10h44 | > (je trouve personnellement que parler de "type polymorphique" est meilleur que de parler "entité") Source:[gbdivers](https://zestedesavoir.com/forums/sujet/3703/la-programmation-en-c-moderne/?page… |
|
Introduction à la preuve de programmes C avec Frama-C et son greffon WP
Introduction à la spécification et la preuve de programmes C, par l'usage de Frama-C, du langage ACSL et son greffon WP. Quelques rudiments théoriques sont donnés. |
jeudi 19 décembre 2019 à 18h19 | Bonjour les agrumes ! La bêta a été mise à jour et décante sa pulpe à l’adresse suivante : -> [Introduction à la preuve de programmes C avec Frama-C et son greffon WP](https://zestede… |
|
Vos recettes de crêpes
#Chandeleur |
mercredi 18 décembre 2019 à 09h38 | Quelle idée de mettre quelque chose sur une crêpe. S'il y a besoin de ça, c'est que les crêpes n'ont pas de goût. |
|
Introduction à la preuve de programmes C avec Frama-C et son greffon WP
Introduction à la spécification et la preuve de programmes C, par l'usage de Frama-C, du langage ACSL et son greffon WP. Quelques rudiments théoriques sont donnés. |
mercredi 11 décembre 2019 à 15h20 | Bonjour les agrumes ! La bêta a été mise à jour et décante sa pulpe à l’adresse suivante : -> [Introduction à la preuve de programmes C avec Frama-C et son greffon WP](https://zestede… |
| mardi 10 décembre 2019 à 09h15 | La qualité graphique n'est pas au rendez-vous, mais que voulez vous ?  ![Avatar de Noël](/media/galleries/666/a645ce95-13… | |
|
Introduction à la preuve de programmes C avec Frama-C et son greffon WP
Introduction à la spécification et la preuve de programmes C, par l'usage de Frama-C, du langage ACSL et son greffon WP. Quelques rudiments théoriques sont donnés. |
lundi 09 décembre 2019 à 19h06 | Bon. Bah la galerie n'est pas versionnée. Du coup, j'ai flingué la version en ligne. |
|
Introduction à la preuve de programmes C avec Frama-C et son greffon WP
Introduction à la spécification et la preuve de programmes C, par l'usage de Frama-C, du langage ACSL et son greffon WP. Quelques rudiments théoriques sont donnés. |
lundi 09 décembre 2019 à 13h27 | Encore du suivi. J'ai passé une partie de mon weekend sur le traduction, ce qui fait que : - la version FR est presque prête, il ne reste qu'à faire une relecture profonde puis je passerai le tout… |
|
Introduction à la preuve de programmes C avec Frama-C et son greffon WP
Introduction à la spécification et la preuve de programmes C, par l'usage de Frama-C, du langage ACSL et son greffon WP. Quelques rudiments théoriques sont donnés. |
vendredi 06 décembre 2019 à 08h41 | Un peu de suivi. Frama-C Calcium est sortie et avec ça j'ai eu quelques changements à faire qui sont pour certains notables et pour d'autres plus raisonnables. Dans l'ensemble ça a été relativemen… |
| jeudi 28 novembre 2019 à 12h22 | > Quelle différence entre ||char[]|| et ||char*|| ? Pour moi, les deux sont strictement équivalents. Source:[Green](https://zestedesavoir.com/forums/sujet/13273/probleme-de-compilation/?page=1#p2115… | |
| jeudi 28 novembre 2019 à 10h36 | Lu'! > Pour moi, la chaîne ||"/test"|| devrait être de type ||const char*|| non ? Source:[Green](https://zestedesavoir.com/forums/sujet/13273/probleme-de-compilation/?page=1#p211520) Alors no… | |
| vendredi 08 novembre 2019 à 13h33 | Oui, sauf que tu importes tout les noms du namespace std, ce qui n'est pas une super idée. | |
| vendredi 08 novembre 2019 à 13h27 | Ici, tu compares des chaînes C (de type const char[]). Dans un tel cas, en C, c'est `strcmp` qu'on utilisait (et qui s'utilise aussi très bien en C++). Mais tu peux aussi passer par des std::string, … | |
| vendredi 08 novembre 2019 à 11h32 | Lu'! Bienvenue dans le monde merveilleux de C++, où un programme tout buggé a le droit de faire n'importe quoi (après tout il est buggé, donc c'est normal qu'il fasse n'importe quoi). Ton code con… | |
| dimanche 27 octobre 2019 à 13h01 | > - Il n'y a pas de règle pour le prototype de operator+ Source:[Dedeun](https://zestedesavoir.com/forums/sujet/13158/c-prototype-de-operator/?page=1#p210314) Oh ben si quand même : il doit y avo… | |
| dimanche 27 octobre 2019 à 11h42 | Lu'! C'est des exemples, pas des règles. Exemples qui visiblement n'ont pas été mis à jour avec la version plus idiomatique aujourd'hui. | |
| samedi 26 octobre 2019 à 15h34 | (Pour avoir testé le programme plus haut avec le sanitizer de GCC, c'est bien détecté. Peut être une affaire de version). | |
| samedi 26 octobre 2019 à 13h47 | Avec `address` tu n'as pas d'erreur ? C'est curieux quand même. Normalement pour un buffer overflow aussi trivial, c'est détecté assez facilement. Après, pour avoir plus de précision, le mieux reste … | |
| samedi 26 octobre 2019 à 13h41 | > @romantik la version de mon compilateur et le 17.12 Source:[cerveau](https://zestedesavoir.com/forums/sujet/13146/probleme-de-recuperation-de-la-taille-dun-tableau-avec-stdsize/?page=1#p210288) … | |
| samedi 26 octobre 2019 à 11h20 | Lu'! > La norme me garantit-elle que le code suivant affecte toujours la valeur 0 à b ? Oui. |