kirancodes.me
To Proof Maintenance & Beyond!

Interactive analysis of large code bases (invited talk)

Gerard J. Holzmann

Abstract

Current static source code analyzers can be slow, hard to use correctly, and expensive. If not properly configured, they can also generate large amounts of output, even for well-written code. To fix this, we developed a new tool called Cobra. The Cobra tool can be used interactively even on very large code bases, which means that it is very fast. It is also designed to be easy to use and free.

BibTeX
@inproceedings{Holzmann:FSE21,
  author    = {Gerard J. Holzmann},
  title     = {Interactive analysis of large code bases (invited talk)},
  booktitle = {{ESEC/SIGSOFT} {FSE}},
  pages     = {4},
  publisher = {{ACM}},
  year      = {2021},
}

Related papers