To focus the search input from anywhere on the page, press the 'S' key.
in-package search v0.1.0
MetAcsl plugin of Frama-C for writing pervasives properties
Install
Authors
Maintainers
Sources
meta-0.5-beta.tar.bz2
md5=33be7f72b15f8c373f26b607717f3006
sha512=d8f72397ee9017ed321f0f7dc65103db7394616ddd22a35cf2b293bdccf26eabf4272efad9ba32b0a824e65b6cf661c148f893ad6e120de54b5ab5086b8c79e3
Description
MetAcsl let users write properties that need to be checked at particular contexts (e.g. each time a location is written to inside a given set of functions). It will then generate all the corresponding ACSL annotations, leaving it to analysis plug-ins (e.g. WP) to prove the resulting clauses.
On This Page