Actions
Evolution #336
ouvertProvide verification options
Statut:
Nouveau
Priorité:
Normal
Assigné à:
-
Catégorie:
Architecture & Component Model
Version cible:
-
Début:
23/06/2011
Echéance:
% réalisé:
0%
Temps estimé:
Description
Verify that:
- There is no leak of "this" in a component
- There is no assignment of ports to variable (or to a call arguments)
- Other ideas?
See works on: http://types.cs.washington.edu/checker-framework/
Actions