Un endroit pour stocker des liens intéressant sur le C.
Sources d’information
- la norme C11 (n1570) en ligne : pratique pour transmettre des liens car il suffit d’ajouter la section dans l’adresse (exemple : les décalages) ;
- SEI CERT C Coding Standard ;
- [comp.lang.c](FAQ http://c-faq.com/index.html)
- le blog de John
- le blog de Frama-C
- le blog de TrustInSoft
Histoires de comportements non définis
- des Undefined Behaviors sur le blog de Frama-C ;
- au sujet des UB lors des décalages :
- problème des rotation dans le blog de John
- au sujet de problèmes d’alignement
- Both true and false
- au sujet de comparaisons de pointeurs : discussion autour d’une optimisation de gcc jugée trop agressive par l’auteur
- Undefined behavior : plein de petits exemples
- Undefined behavior can result in time travel : exemples d’optimisations “surprenantes”
A compléter…
Voir aussi :
Table des matières
Tags
ack
acronymes
analyse_statique
android
apt-get
awk
bash
bits
boot
c
checksum
coq
couleurs
css
csv
cut
dessin
diff
disque
docbook
docker
documentation
dokuwiki
dot
développement
fenêtres
firefox
frama-c
fstab
ftp
gcc
gestion_de_projet
gestion_de_version
git
graph
graphe
grep
grub
gzip
heredoc
htaccess-réseau
html
ide
ikiwiki
imagemagick
images
imprimer
ip
jenkins
js-of-ocaml
langage
latex
linux
make
mercurial
merlin
nvidia
ocaml
ocamlfind
ocamlgraph
orthographe
outil
parallel
path
pdf
perl
pgp
preuve_formelle
regexp
réseau
script
sed
sphinx
sqlite
ssh
sudo
svg
svn
syncbox
syntastic
systeme
système
tableurs
tcp-ip
texte
thunderbird
tikz
time
trac
txt2tags
ubuntu
unix
usb
utf-8
vim
virtualbox
virtualisation
vnc
web
windows
xfce
xkcd
xml
xmlstarlet
xmodmap
xsd
xslt
xubuntu
zcat
zenity
éditeur
émoticône
Dernières notes
- Afficher un pourcentage dans une page HTML
- VNC : Virtual Network Computing
- Git : déménagement d'un dépôt
- Quelques liens au sujet de l'analyse statique
- Ocaml: mon principal langage de développement
- Disque dur externe
- Les profiles dans Firefox
- Cryptographie et mail sous Android
- Quelques liens au sujet du C
- Git rebase : pour diviser un commit