In der Computerprogrammierung war Scharpie der Name, der ursprünglich einem besonderen Programm gegeben ist, das einige misstrauische und nichttragbare Konstruktionen beflaggt hat (um wahrscheinlich Programmfehler zu sein), im Quellcode der c Sprache. Der Begriff wird jetzt allgemein auf Werkzeuge dass Fahne misstrauischer Gebrauch in der auf jeder Computersprache geschriebenen Software angewandt. Der Begriff einer Scharpie ähnliches Verhalten wird manchmal auf den Prozess angewandt, misstrauischen Sprachgebrauch zu beflaggen. Einer Scharpie ähnliche Werkzeuge führen allgemein statische Analyse des Quellcodes durch.

Hintergrund

Scharpie ist zuerst (außerhalb Glockenlaboratorien) in der siebenten Version (V7) von Unix Betriebssystem 1979 erschienen. Es wurde aus PCC, dem Tragbaren C Bearbeiter abgeleitet, der mit diesem System eingeschlossen wurde. Scharpie und PCC wurden von Stephen C. Johnson, wer auch authored der parser Generator yacc entwickelt.

Der Begriff wurde aus dem Namen der unerwünschten Bit der Faser und des in der Wolle des Schafs gefundenen Flaums abgeleitet.

Übersicht

Misstrauische Konstruktionen schließen ein: Variablen, die verwenden werden, bevor sie, Bedingungen gesetzt werden, die, und Berechnungen unveränderlich sind, deren Ergebnis wahrscheinlich außerhalb des Wertbereichs sein wird, der im verwendeten Typ wiederpräsentabel ist.

Viele der Formen der durch einer Scharpie ähnliche Werkzeuge durchgeführten Analyse werden auch durch die Optimierung von Bearbeitern durchgeführt, deren Hauptmotivation schnelleren Code erzeugen soll. Moderne Bearbeiter können häufig viele der Konstruktionen entdecken traditionell hat über durch die Scharpie gewarnt.

Schriftsteller von einer Scharpie ähnlichen Werkzeugen haben fortgesetzt, die Reihe von misstrauischen Konstruktionen zu verbessern, die sie entdecken. Moderne Werkzeuge führen Formen der Analyse durch, die viele Optimierungsbearbeiter normalerweise wie Quer-Modul-Konsistenz-Überprüfung nicht tun, überprüfend, dass der Code zu anderen Bearbeitern und Unterstützen-Anmerkungen tragbar sein wird, die beabsichtigtes Verhalten oder Eigenschaften des Codes angeben.

Siehe auch

• Liste von Werkzeugen für die statische Codeanalyse
• Schiene
• Stephen Johnson. Scharpie, ein C Programm-Kontrolleur. Informatik Technischer Bericht 65, Glockenlaboratorien, Dezember 1977.

Links

• http://www.unix.com/man-page/FreeBSD/1/lint Scharpie-Mann-Seite