Udostępnij za pośrednictwem


Jak: tworzenie sprawdzalnych projekty C++ (C + +/ CLI)

Visual C++ aplikacji kreatorzy nie tworzą projektów weryfikowalne, ale projekty mogą być konwertowane za możliwe do zweryfikowania.W tym temacie opisano sposób ustawiania właściwości projektu i modyfikowania plików źródłowych projektu do przekształcania projekty Visual C++ do wyprodukowania sprawdzalnych aplikacji.

Kompilator i program łączący ustawienia

Domyślnie.Projekty netto użyć flagi kompilatora/CLR i skonfigurować program łączący do urządzenia docelowego x 86.Kod, możliwych do zweryfikowania należy użyć flagi /clr:safe, i musi Poinstruuj program łączący do generowania MSIL zamiast instrukcji maszynowych macierzystym.

Aby zmienić ustawienia kompilator i program łączący

  1. Wyświetlić stronę właściwości projektu.Aby uzyskać więcej informacji, zobacz Jak: Otwórz strony właściwości projektu.

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

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

Usuwanie macierzysty typy danych

Ponieważ macierzyste typy danych są niemo┼╝liwy, nawet jeśli nie są faktycznie używane, należy usunąć wszystkie pliki nagłówków zawierające typy macierzystym.

[!UWAGA]

Poniższa procedura dotyczy stosowania Windows Forms (.NET) i aplikację konsoli (.Projekty netto).

Aby usunąć odwołania do macierzyste typy danych

  • Komentarz wszystko w pliku Stdafx.h.

Konfigurowanie punktu wejścia

Ponieważ aplikacje sprawdzalnych nie używać c bibliotek run-time (CRT), nie może zależeć CRT wywołać funkcję głównego punktu wejścia standardowego.Oznacza to, należy jawnie Podaj nazwę funkcji do wywołania początkowo do programu łączącego.(W tym przypadku Main() jest używany zamiast main() lub _tmain(), aby wskazać punkt wejścia-CRT, ale ponieważ punkt wejścia muszą być wyraźnie określone, nazwa ta jest arbitralny.)

[!UWAGA]

Poniższe procedury dotyczą aplikacji konsoli (.Projekty netto).

Aby skonfigurować punkt wejścia

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

  2. Wyświetlić stronę właściwości projektu.Aby uzyskać więcej informacji, zobacz Jak: Otwórz strony właściwości projektu.

  3. Na Zaawansowane strony pod program łączący węzła, wprowadź głównego jako Punktu wejścia wartości właściwości.

Zobacz też

Informacje

Kod czystej i zweryfikowania (C + +/ CLI)