ocp-lint, A Plugin-based Style-Checker with Semantic Patches - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2016

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

Çagdas Bozman
Théophane Huffschmitt
  • Function : Author
  • PersonId : 987371
Michael Laporte
  • Function : Author
  • PersonId : 987372

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.
Fichier principal
Vignette du fichier
ocaml-2016-typerex-lint.pdf (141.14 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-01352013 , version 1 (05-08-2016)

Identifiers

  • HAL Id : hal-01352013 , version 1

Cite

Ç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⟩

Collections

INRIA INRIA2
121 View
234 Download

Share

Gmail Facebook X LinkedIn More