ocp-lint, A Plugin-based Style-Checker with Semantic Patches

Abstract : In this talk, we will present ocp-lint, a new style-checker for OCaml projects. ocp-lint can typically be used to check pull-requests in a Github-style workflow. ocp-lint is highly ex-tensible, with a simple API to define new plu-gins that can be linked dynamically. ocp-lint is easily configurable, with plugin-and analysis-specific options and arguments. ocp-lint can also use semantic patches, a patch-style format to describe code patterns to detect. Warnings found by ocp-lint are stored in a database, to avoid useless recomputations and ease the development of external tools and GUIs to exploit its results.
Type de document :
Communication dans un congrès
OCaml Users and Developers Workshop 2016, Sep 2016, Nara, Japan
Liste complète des métadonnées

https://hal.inria.fr/hal-01352013
Contributeur : Fabrice Le Fessant <>
Soumis le : vendredi 5 août 2016 - 11:11:02
Dernière modification le : dimanche 7 août 2016 - 01:02:49

Fichier

ocaml-2016-typerex-lint.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01352013, version 1

Collections

Citation

Çagdas Bozman, Théophane Huffschmitt, Michael Laporte, Fabrice Le Fessant. ocp-lint, A Plugin-based Style-Checker with Semantic Patches. OCaml Users and Developers Workshop 2016, Sep 2016, Nara, Japan. <hal-01352013>

Partager

Métriques

Consultations de
la notice

75

Téléchargements du document

65