A Codesonar (https://www.grammatech.com/products/codesonar) plugin which integrates Frama-c WP plugin (https://frama-c.com/wp.html) with the Codesonar.
-
Notifications
You must be signed in to change notification settings - Fork 0
AnnotationsForAll/CodeSonarFramacPlugin
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Plugin to integrate Frama-C with Codesonar
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published