Statische Analyse in VS2008

Strict Standards: Non-static method serendipity_plugin_api::hook_event() should not be called statically in /usr/share/serendipity/www/include/functions_smarty.inc.php on line 545

Strict Standards: Non-static method serendipity_plugin_api::get_event_plugins() should not be called statically in /usr/share/serendipity/www/include/plugin_api.inc.php on line 1012

Mittwoch, 28. November 2007

Justus

Noch keine Kommentare
Kommentar schreiben
Keine Trackbacks

Tags für diesen Artikel: .net, 2008, c#, fxcop, visual studio

Artikel mit ähnlichen Themen:

Ich hatte heute etwas Zeit mit den neuen Features von Visual Studio rumzispielen. Dabei habe ich einige tolle Sachen entdeckt. Dabei geht es nicht um die gerne beschriebenen neuen Sprachkonstrukte sondern zum Beispiel um die FXCop integration.

Die neuen Tools im Bereich der statischen Analyse sind ziemlich spannend, ich kann jedem nur empfehlen, sich diese einmal anzuschauen.

FXCop ist ein Tool für statische Analyse. Die Statische Analyse hat zum Ziel, ein Programm nicht zur Laufzeit, sondern anhand des Quelltexts zu analysieren. Dabei kommen verschiedene Algorithmen zum Einsatzt, die gewisse Dinge überprüfen klnnen. Die Meldung "unreachable Code detected" ist ein typisches Beispiel dafür, daß der Compiler weiß, daß ein bestimmter Teil des Codes nicht erreicht werden kann. Sie kann zum Beispiel hier auftreten:

public static int main()
{
    Console.WriteLine("Test");
    return 0;
    //Diese Zeilen werden nie erreicht
    Console.WriteLine("Hello to all the others");
    return 0;
}

Dieser Test ist noch relativ einfach im Vergleich zu den Möglichkeiten, die es heutzzutage schon gibt.:

Null-Pointer
Variablenzugriffe
teilweise Schleifenbedingungen (hört die Schleife auf)
Vor- und Nachbedingungen
usw.

Es gibt auch einige Spracherweiterungen mit denen man eine genauere Analyse durführen kann, für Java z.B. gibt es JML und für C# gibt es Spec#. Diese Spracherweiterungen sind allerdings noch relativ starken Entwicklungen unterworfen.

Spec# ist zum Teil nicht benutzbar, ich habe es einmal probiert und mußte nach jeder Änderung des Quellcodes Visual Studio neustarten. Außerdem ist es gerade noch ein wenig langsam, es kann sein, daß man auch mal eine Minute wartet, bis die gerade eingegebenen Zeichen auf dem Bildschirm erscheinen. Seit Microsoft allerdings Z3 anstatt simplify benutzt ist es doch deutlich besser geworden. Die Geschwindigkeit der alten .Net 1.1 Version konnten sie noch nicht erreichen, aber sie sind auf einem guten Weg dorthin. Um diese Spracherweiterungen nutzen zu können, muß man seine Programme mit speziellen Schlüsselwörtern annotieren, zum Beispiel so:

public static int main()
{
    static void Main(string![]! args)        
    // The following precondition is redundant
    // with the type signature for theparameter,
    // but shown here as an example.
    requires forall
        {int i in (0:args.Length); args[i] != null};
    {
        Console.WriteLine("Spec# says hello!");
    }
}

Man erkennt die neuen Konstrukte auch als nicht C#-Programmierer relativ einfach. Das Ausrufezeichen bei den Objektdeklarationen bedeutet, daß eine Referenz initialisiert werdem muß, d.h. nicht null sein darf. Hier darf das Array nicht null sein. Das gleiche wird auch für die einzelnen Felder überprüft und zwar mit dem forall Schlüsselwort.

Die wichtigsten neuen Schlüsselwörter sind:

requires: eine Bedingung muß eingehalten werden (Vorbedingung)
assumes: es wird angenommen, eine Bedingung wird eingehalten
assert: die Bedingung wird vom Programm sichergestellt (Nachbedingung)

Wer genaueres darüber erfahren möchte, kann sich gerne mit dem Hoare-Kalkül auseinandersetzen, es gibt auch interessante Vorlesungen zu dem Thema (z.B. Formale Methoden für Java an der Uni Freiburg).

Damit man sich noch nicht mit diesen neuen Konstrukten rumschlagen muß gibt es den FXCop. Mit diesem können ein Teil dieser Analysen relativ einfach und schnell während des Compilierens ausgeführt werden.

Trackbacks

Trackback-URL für diesen Eintrag

Strict Standards: Only variables should be assigned by reference in /usr/share/serendipity/www/include/functions_smarty.inc.php on line 73

Keine Trackbacks

Kommentare

Ansicht der Kommentare: (Linear | Verschachtelt)

Strict Standards: Non-static method serendipity_plugin_api::hook_event() should not be called statically in /usr/share/serendipity/www/include/functions_comments.inc.php on line 292

Strict Standards: Non-static method serendipity_plugin_api::get_event_plugins() should not be called statically in /usr/share/serendipity/www/include/plugin_api.inc.php on line 1012

Strict Standards: Only variables should be assigned by reference in /usr/share/serendipity/www/include/functions_smarty.inc.php on line 73

Noch keine Kommentare

Kommentar schreiben

Startseite - Ursprung
Strict Standards: Non-static method serendipity_plugin_api::hook_event() should not be called statically in /usr/share/serendipity/www/include/functions_smarty.inc.php on line 545

Strict Standards: Non-static method serendipity_plugin_api::get_event_plugins() should not be called statically in /usr/share/serendipity/www/include/plugin_api.inc.php on line 1012

Diesen Eintrag per E-Mail schicken an:
Ihr Name:
Ihre E-Mail Adresse:
Nachricht (optional):

«	Mai '12					»
Mo	Di	Mi	Do	Fr	Sa	So
	1	2	3	4	5	6
7	8	9	10	11	12	13
14	15	16	17	18	19	20
21	22	23	24	25	26	27
28	29	30	31

Statische Analyse in VS2008

Justus' .Net Blog

Mittwoch, 28. November 2007

Statische Analyse in VS2008

Kalender

Google the Site

Blog abonnieren

Werbung

IP-Version

Getaggte Artikel

Login

Powered by

Technorati

Tracker