Udostępnij za pośrednictwem


Porady: tworzenie weryfikowalnych projektów C++ (C++/CLI)

Visual C++ aplikacji wizards nie tworzą projektów weryfikowalne, ale projekty mogą być konwertowane na być do sprawdzenia.W tym temacie opisano sposób ustawiania właściwości projektu i modyfikować pliki źródłowe projektu do przekształcania projektów Visual C++ do produkcji sprawdzalne aplikacji.

Ustawienia Linker i kompilatora

Domyślnie projekty .NET użyć flagi/CLR kompilatora i skonfigurować program łączący do urządzenia docelowego x 86.Sprawdzalne kodu należy użyć flagi /clr:safe i należy poinstruować program łączący do generowania MSIL zamiast instrukcji maszyny macierzystego.

Aby zmienić ustawienia kompilatora i linker

  1. Wyświetlić stronę właściwości projektu.Aby uzyskać dodatkowe informacje, zobacz Porady: otwieranie stron właściwości projektów.

  2. Na Ogólne stronie pod Właściwości konfiguracji zestaw węzłów, Obsługę wspólne środowiska wykonawczego języka właściwość, aby bezpieczne obsługę czasu wykonywania języka wspólnego MSIL (/ clr:safe).

  3. Na Zaawansowane strony pod Linker zestaw węzłów, Typu CLR obrazu właściwość, aby życie awaryjnym IL obrazu (/ CLRIMAGETYPE:SAFE).

Usuwanie macierzyste typy danych

Ponieważ macierzyste typy danych są non zweryfikowania, nawet jeśli nie są właściwie wykorzystywane, należy usunąć wszystkie pliki nagłówkowe zawierające typy macierzystym.

[!UWAGA]

Poniższa procedura dotyczy projektów aplikacji Windows Forms (.NET) i aplikacji konsoli (.NET).

Aby usunąć odwołania do macierzyste typy danych

  • Komentarz, wszystko, co w pliku Stdafx.h.

Konfigurowanie punktu wejścia

Ponieważ sprawdzalne aplikacji nie można użyć biblioteki run-time C (CRT), nie zależą one CRT do wywołania funkcji głównego jako punkt wejścia standardowego.Oznacza to, że musi jawnie Podaj nazwę funkcji do wywołania początkowo linker. (W tym przypadku Main() jest używany zamiast main() lub _tmain(), aby wskazać punkt wejścia-CRT, ale ponieważ punkt wejścia musi być jawnie określona, nazwa ta jest dowolny.)

[!UWAGA]

Poniższe procedury dotyczą projektów aplikacji konsoli (.NET).

Aby skonfigurować punkt wejścia

  1. Zmień _tmain() na Main() w pliku CPP głównym projektu.

  2. Wyświetlić stronę właściwości projektu.Aby uzyskać dodatkowe informacje, zobacz Porady: otwieranie stron właściwości projektów.

  3. Na Zaawansowane stronie pod Linker węzła, wprowadź główne jako Punktu wejścia wartość właściwości.

Zobacz też

Informacje

Kod czysty i weryfikowalny (C++/CLI)