Explore les tests basés sur des propriétés en utilisant QuickChick, en mettant l'accent sur l'exactitude des logiciels, les spécifications et le contrôle dynamique du flux d'information.
Explore la gestion de la mémoire, la sécurité, les techniques automatisées, la collecte des ordures, la répartition dynamique et les fonctions de première classe.
Couvre l'injection de code et les attaques de détournement de flux de contrôle, ainsi que des défenses telles que la prévention de l'exécution des données et Stack Canaries.
Explore l'allocation dynamique de la mémoire en C, couvrant les fonctions malloc, calloc et realloc, en mettant l'accent sur la gestion appropriée de la mémoire et les tableaux dynamiques.
Explore les pointeurs pour les structures de données complexes, la fonction principale en C et la gestion de la mémoire, en mettant l'accent sur les meilleures pratiques d'allocation dynamique.
