Project

General

Profile

Support #497

Clang: automatic bug finding

Added by John Abbott about 10 years ago. Updated about 10 years ago.

Status:
New
Priority:
Normal
Assignee:
-
Category:
Safety
Target version:
CoCoALib-1.0
Start date:
27 Mar 2014
Due date:
% Done:

0%

Estimated time:

Description

On the Clang web-site they offer a static analysis tool
(see http://clang-analyzer.llvm.org/)

It would be good(?!?) to run the CoCoALib code through it!
Maybe also the C5 code?

Related issues

Related to CoCoA-5 - Support #242: CoCoA-5 Projects for students (e.g. crediti F and tesi)In Progress2012-09-28

History

#1 Updated by Anna Maria Bigatti about 10 years ago

  • Target version set to CoCoALib-0.99533 Easter14

#2 Updated by John Abbott about 10 years ago

  • Target version changed from CoCoALib-0.99533 Easter14 to CoCoALib-1.0

Also available in: Atom PDF