Klocwork

Klocwork: Faster delivery of secure, reliable, and conformant code. As teams develop code with more features, shorter timelines, and stricter standards than ever before, it gets increasingly difficult to find bugs and fix security flaws. With this complexity, how do we stop data breaches and application crashes before they’re passed on to the customer? How do we find them earlier in the process, so developers can spend more time creating real value for the customer rather than fixing defective code? It starts at the developer’s desktop. It’s here where code is written, tested, reviewed, and written again. Finding problems here, at the earliest possible point before the build, means less testing later on and fewer downstream impacts to cost and schedule. It continues with Continuous Integration (CI), only Klocwork supports popular CI tools to perform analysis on incremental code changes, during check in, to keep pace with rapid release delivery cycles. Klocwork puts static code analysis where you need it, identifying critical safety, reliability, and coding standards issues in front of developers’ eyes - before, during, and after check in.


References in zbMATH (referenced in 7 articles )

Showing results 1 to 7 of 7.
Sorted by year (citations)

  1. Cook, Byron; Khazem, Kareem; Kroening, Daniel; Tasiran, Serdar; Tautschnig, Michael; Tuttle, Mark R.: Model checking boot code from AWS data centers (2021)
  2. Marmsoler, Diego; Petrovska, Ana: Runtime verification for dynamic architectures (2021)
  3. Ivannikov, V.; Belevantsev, A.; Borodin, A.; Ignatiev, V.; Zhurikhin, D.; Avetisyan, A.: Static analyzer svace for finding defects in a source program code (2014) ioport
  4. Bronshteyn, I. E.: Study of defects in a program code in Python (2013) ioport
  5. Jan Obdržálek, Jiří Slabý, Marek Trtík: STANSE: Bug-finding Framework for C Programs (2012) arXiv
  6. Marpons, Guillem; Mariño, Julio; Carro, Manuel; Herranz, Ángel; Fredlund, Lars-Åke; Moreno-Navarro, Juan José; Polo, Álvaro: A coding rule conformance checker integrated into GCC (2009) ioport
  7. Terekhov, A. N.; Sokolov, V. V.: Implementation of the conformation of MSC and SDL diagrams in the REAL technology (2007)