Bonjour,

Je vous écris pour avoir quelques bonnes références concernant un projet sur le fuzzing.
Je me suis documenté et j'ai lu des techniques intéressantes consistent notamment à collecter les contraintes sur les embranchements ( if ... else ...) pour tester une plus grande partie du code.

Il me faut un parser et un solveur de contraintes. Je suis débutant mais plutôt motivé alors si vous connaissez de bonnes addresses ou que vous-même pouvez me donner conseil, je vous remercie. Je cherche des cours, des tuto, des logiciels pratiques.

Le langage est donc le C.

Je voudrais avoir la certitude de me lancer avec de bons atouts.

Merci à vous