SSTIC 2013 - Parsifal parser générique robuste

Par Olivier Levillain.

Pour comprendre un protocole, il faut l’implémenter. Python c’est bien, mais c’est lent. Wireshark, c’est l’enfer à étendre… C++ c’est chouette, mais c’est ultra-verbeux. Alors l’orateur à décidé d’implémenter son framework en OCaml.

Pourquoi ? pas de fuites mémoires, pas d’pb de buffer overflow etc… (un système de typage robuste ? 😉 ).

Le résultat est robuste, efficace, et permet rapidement d’implémenter son parser de façon incrémentale. Il suffit de déclarer la structure qui nous intéresse pour obtenir un parser capable de le retrouver dans un flux binaire. Par la suite, on peut ajouter des types aux différents composants de la structure.

Le code est public et disponible sur github