Projet

Général

Profil

Actions
Copier le lien

Evolution #336

ouvert

Provide verification options

Ajouté par Anonyme il y a presque 15 ans. Mis à jour il y a plus de 11 ans.

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
Copier le lien
 #1

Mis à jour par Anonyme il y a plus de 11 ans

  • Version cible 27 supprimé
  • Translation missing: fr.field_position 29 supprimé
Actions
Copier le lien

Formats disponibles : Atom PDF