Frama-C Server
Plugin Impact
Impact
plugins.impact.impact.impactStatement (
GET
)
Impact
plugins.impact.impact.impactStatement (
GET
)
Compute the impact of a statement
input
::=
marker
output
::=
marker
[]