A Codesonar (https://www.grammatech.com/products/codesonar) plugin which integrates Frama-c WP plugin (https://frama-c.com/wp.html) with the Codesonar.
AnnotationsForAll/CodeSonarFramacPlugin
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
| Name | Name | Last commit date | ||
|---|---|---|---|---|
A Codesonar (https://www.grammatech.com/products/codesonar) plugin which integrates Frama-c WP plugin (https://frama-c.com/wp.html) with the Codesonar.