Sicurezza dei provider di tipi
I provider di tipo sono assembly (DLL) cui fa riferimento il progetto o script F# che contiene codice per connettersi a origini dati esterne e fa risalire tali informazioni all'ambiente di tipo F#.In genere, il codice negli assembly a cui si fa riferimento viene eseguito solo quando viene compilato e poi si esegue il codice (o nel caso di uno script, viene inviato il codice a F# interactive).Tuttavia, un assembly di un provider di tipo verrà eseguito all'interno di Visual Studio quando il codice verrà soltanto sfogliato nell'editor.Ciò si verifica in quanto i provider di tipo devono essere eseguiti per aggiungere informazioni aggiuntive all'editor, quali descrizioni comandi di informazioni rapide, completamenti IntelliSense, e così via.Come risultato, ci sono considerazioni aggiuntive sulla sicurezza per gli assembly dei provider di tipo, poiché vengono eseguiti automaticamente nel processo di Visual Studio.
Finestra di dialogo Avviso di sicurezza
Quando si utilizza l' assembly di un provider di tipo particolare per la prima volta, Visual Studio visualizzerà una finestra di dialogo di sicurezza che avvisa che il provider di tipo sta per essere eseguito.Prima di caricare il provider di tipo, Visual Studio offre la possibilità di decidere se ritenere attendibile o meno questo particolare provider.Se si considera attendibile l' origine del provider di tipo, selezionare "Considero attendibile questo provider di tipo". Se non si considera attendibile l' origine del provider di tipo, selezionare “Non considero attendibile questo provider di tipo". Considerare attendibile il provider consente di eseguirlo in Visual Studio, di fornire IntelliSense e di compilarne le funzionalità.Ma se il provider di tipo è dannoso, l'esecuzione del codice potrebbe compromettere il computer.
Se il progetto contiene codice che fa riferimento a provider di tipo scelti nella finestra di dialogo come non attendibili, allora, in fase di compilazione, il compilatore segnala un errore che indica che il provider di tipo non è attendibile.I tipi che dipendono da provider di tipo non attendibili vengono segnalati da target rossi.Si consiglia di esplorare il codice nell'editor.
Se si decide di modificare le impostazioni di attendibilità direttamente in Visual Studio, effettuare i seguenti passaggi.
Per modificare le impostazioni di attendibilità per i provider di tipo
Nel menu Strumenti, scegliere Opzioni ed espandere il nodo Strumenti F#.
Selezionare Provider di tipo nell'elenco dei provider di tipo, selezionare la casella di controllo per i provider di tipo attendibili e deselezionare la casella di controllo per quelli non attendibili.