Murtadoc
MyBoerse.bz Pro Member
PVS-Studio v7.06.37100
Überblick
PVS-Studio ist ein Tool zur Fehlererkennung im Quellcode von Programmen, die in C, C ++ und C # geschrieben sind. Es funktioniert in Windows- und Linux-Umgebungen.
PVS-Studio führt eine statische Code-Analyse durch und generiert einen Bericht, mit dem ein Programmierer Fehler finden und beheben kann. PVS-Studio führt eine Vielzahl von Codeprüfungen durch. Es ist auch nützlich, nach Druckfehlern und Fehlern beim Kopieren und Einfügen zu suchen. Beispiele für solche Fehler: V501, V517, V522, V523, V3001.
Der Hauptwert der statischen Analyse liegt in ihrer regelmäßigen Verwendung, damit Fehler frühestens erkannt und behoben werden. Es macht keinen Sinn, 50 Stunden damit zu verschwenden, nach einem Fehler zu suchen, der mit statischen Analysen gefunden werden kann. Lassen Sie uns noch einmal darauf hinweisen - die Hauptidee der statischen Analyse besteht nicht darin, einen versteckten Fehler am Tag vor der Veröffentlichung zu finden, sondern Dutzende von Fehlern Tag für Tag zu beheben.
Der Analysator kann nachts auf dem Server ausgeführt werden und warnt vor verdächtigen Codefragmenten. Im Idealfall können diese Fehler erkannt und behoben werden, bevor sie in das Repository gelangen. PVS-Studio kann automatisch unmittelbar nach dem Compiler für die gerade geänderten Dateien gestartet werden. Es funktioniert unter Windows und Linux.
Schnellstart unter Windows und Linux
PVS-Studio kann in die Visual Studio-Entwicklungsumgebung 2010-2017 integriert werden. Wenn Sie diese IDE verwenden, müssen Sie höchstwahrscheinlich nur zum Menü des PVS-Studio-Plugins gehen und "Aktuelles Projekt prüfen" auswählen.
Oft kann es ein komplizierterer Prozess sein, und Sie müssen PVS-Studio in ein Build-System integrieren, sogar in ein exotisches. Das Thema Integration ist zu weit gefasst, um es hier zu beschreiben. Alle Informationen finden Sie in der ausführlichen Dokumentation.
Noch ein Punkt zu beachten: PVS-Studio für Windows und Linux verfügt über spezielle Dienstprogramme, mit denen Informationen zu den Compiler-Starts gesammelt werden. Diese Tools ermöglichen eine schnelle Analyse eines Projekts, das auf jede mögliche Weise kompiliert wird. Sie können die Funktionen des Analysators schnell ausprobieren, ohne Zeit für die Integration in Makefile oder ein Build-Skript zu verschwenden. Siehe die Beschreibung des Dienstprogramms Standalone (Windows) und pvs-studio-analyzer (Linux).
Die Technologie der Analyse
• Die musterbasierte Analyse auf der Basis eines abstrakten Syntaxbaums wird verwendet, um Fragmente im Quellcode zu suchen, die den bekannten Codemustern mit einem Fehler ähnlich sind.
• Die auf dem semantischen Modell des Programms basierende Typinferenz ermöglicht es dem Analysator, vollständige Informationen über alle Variablen und Anweisungen im Code zu erhalten.
• Die symbolische Ausführung ermöglicht die Auswertung von Variablenwerten, die zu Fehlern führen können, sowie die Bereichsprüfung von Werten.
• Die Datenflussanalyse wird verwendet, um Einschränkungen zu bewerten, die den Werten von Variablen bei der Verarbeitung verschiedener Sprachkonstrukte auferlegt werden. Zum Beispiel Werte, die eine Variable innerhalb von if / else-Blöcken annehmen kann.
• Methodenanmerkungen enthalten mehr Informationen zu den verwendeten Methoden, als nur durch Analyse ihrer Signaturen erhalten werden können.
Hauptmerkmale von PVS-Studio
• Einfache und nahtlose Integration in Visual Studio 2010-2017
• Automatische Analyse einzelner Dateien nach ihrer Neukompilierung
• Online-Referenzhandbuch zu allen im Programm verfügbaren Diagnosen, auf der Website und in der Dokumentation (als PDF-Datei dargestellt) Bis zu 400 Seiten Dokumentation
• Das Speichern und Laden von Analyseergebnissen ermöglicht die Durchführung von Überprüfungen über Nacht. Während der Nacht führt der Analysator das Scannen durch und liefert Ihnen die Ergebnisse am Morgen.
• Projektanalyse über die Befehlszeile: Hilft bei der Integration von PVS-Studio in Builds über Nacht. Am Morgen wird ein neues Protokoll ausgestellt.
• Hervorragende Skalierbarkeit Unterstützung von Multi-Core- und Multi-Prozessor-Systemen mit der Möglichkeit, die Anzahl der zu verwendenden Kerne anzugeben. IncrediBuild-Unterstützung.
• Interaktive Filterung der Analyseergebnisse (der Protokolldatei) im PVS-Studio-Fenster: nach Diagnosenummer, Dateiname, Schlüsselwort im Text der Diagnose.
• Automatische Überprüfung von PVS-Studio-Updates (während der Arbeit in IDE und über Nacht Builds).
• Dienstprogramm BlameNotifier. Mit dem Tool können Sie E-Mail-Benachrichtigungen an die Entwickler über Fehler senden, die PVS-Studio während eines Nachtlaufs gefunden hat.
• Eine Vielzahl von Optionen für die Integration in Projekte, die unter Linux entwickelt wurden.
• Als Fehlalarm markieren - Möglichkeit, den Code zu markieren, um eine bestimmte Diagnose in einem bestimmten Codefragment zu unterdrücken.
• Massenunterdrückung - Möglichkeit, alle alten Nachrichten zu unterdrücken, die für den Legacy-Code ausgelöst wurden, sodass der Analysator 0 Warnungen meldet. Sie können später jederzeit zu den unterdrückten Nachrichten zurückkehren. Mit dieser Funktion können Sie PVS-Studio nahtlos in Ihren Entwicklungsprozess integrieren und sich auf Fehler konzentrieren, die nur in neuem Code enthalten sind.
• Fehlerstatistiken können in Excel angezeigt werden. Möglichkeit, die Geschwindigkeit der Fehlerkorrektur, die Anzahl der für einen bestimmten Zeitraum gefundenen Fehler usw. anzuzeigen.
• Relative Pfade in Berichtsdateien, um sie auf verschiedenen Computern anzuzeigen.
• Mit der CLMonitoring-Funktion können Projekte analysiert werden, die keine Visual Studio-Dateien enthalten (.sln / .vcxproj). Falls die CLMonitoring-Funktionalität nicht ausreicht, besteht die Möglichkeit
145.6 MB
rar archive
Download Link:
Überblick
PVS-Studio ist ein Tool zur Fehlererkennung im Quellcode von Programmen, die in C, C ++ und C # geschrieben sind. Es funktioniert in Windows- und Linux-Umgebungen.
PVS-Studio führt eine statische Code-Analyse durch und generiert einen Bericht, mit dem ein Programmierer Fehler finden und beheben kann. PVS-Studio führt eine Vielzahl von Codeprüfungen durch. Es ist auch nützlich, nach Druckfehlern und Fehlern beim Kopieren und Einfügen zu suchen. Beispiele für solche Fehler: V501, V517, V522, V523, V3001.
Der Hauptwert der statischen Analyse liegt in ihrer regelmäßigen Verwendung, damit Fehler frühestens erkannt und behoben werden. Es macht keinen Sinn, 50 Stunden damit zu verschwenden, nach einem Fehler zu suchen, der mit statischen Analysen gefunden werden kann. Lassen Sie uns noch einmal darauf hinweisen - die Hauptidee der statischen Analyse besteht nicht darin, einen versteckten Fehler am Tag vor der Veröffentlichung zu finden, sondern Dutzende von Fehlern Tag für Tag zu beheben.
Der Analysator kann nachts auf dem Server ausgeführt werden und warnt vor verdächtigen Codefragmenten. Im Idealfall können diese Fehler erkannt und behoben werden, bevor sie in das Repository gelangen. PVS-Studio kann automatisch unmittelbar nach dem Compiler für die gerade geänderten Dateien gestartet werden. Es funktioniert unter Windows und Linux.
Schnellstart unter Windows und Linux
PVS-Studio kann in die Visual Studio-Entwicklungsumgebung 2010-2017 integriert werden. Wenn Sie diese IDE verwenden, müssen Sie höchstwahrscheinlich nur zum Menü des PVS-Studio-Plugins gehen und "Aktuelles Projekt prüfen" auswählen.
Oft kann es ein komplizierterer Prozess sein, und Sie müssen PVS-Studio in ein Build-System integrieren, sogar in ein exotisches. Das Thema Integration ist zu weit gefasst, um es hier zu beschreiben. Alle Informationen finden Sie in der ausführlichen Dokumentation.
Noch ein Punkt zu beachten: PVS-Studio für Windows und Linux verfügt über spezielle Dienstprogramme, mit denen Informationen zu den Compiler-Starts gesammelt werden. Diese Tools ermöglichen eine schnelle Analyse eines Projekts, das auf jede mögliche Weise kompiliert wird. Sie können die Funktionen des Analysators schnell ausprobieren, ohne Zeit für die Integration in Makefile oder ein Build-Skript zu verschwenden. Siehe die Beschreibung des Dienstprogramms Standalone (Windows) und pvs-studio-analyzer (Linux).
Die Technologie der Analyse
• Die musterbasierte Analyse auf der Basis eines abstrakten Syntaxbaums wird verwendet, um Fragmente im Quellcode zu suchen, die den bekannten Codemustern mit einem Fehler ähnlich sind.
• Die auf dem semantischen Modell des Programms basierende Typinferenz ermöglicht es dem Analysator, vollständige Informationen über alle Variablen und Anweisungen im Code zu erhalten.
• Die symbolische Ausführung ermöglicht die Auswertung von Variablenwerten, die zu Fehlern führen können, sowie die Bereichsprüfung von Werten.
• Die Datenflussanalyse wird verwendet, um Einschränkungen zu bewerten, die den Werten von Variablen bei der Verarbeitung verschiedener Sprachkonstrukte auferlegt werden. Zum Beispiel Werte, die eine Variable innerhalb von if / else-Blöcken annehmen kann.
• Methodenanmerkungen enthalten mehr Informationen zu den verwendeten Methoden, als nur durch Analyse ihrer Signaturen erhalten werden können.
Hauptmerkmale von PVS-Studio
• Einfache und nahtlose Integration in Visual Studio 2010-2017
• Automatische Analyse einzelner Dateien nach ihrer Neukompilierung
• Online-Referenzhandbuch zu allen im Programm verfügbaren Diagnosen, auf der Website und in der Dokumentation (als PDF-Datei dargestellt) Bis zu 400 Seiten Dokumentation
• Das Speichern und Laden von Analyseergebnissen ermöglicht die Durchführung von Überprüfungen über Nacht. Während der Nacht führt der Analysator das Scannen durch und liefert Ihnen die Ergebnisse am Morgen.
• Projektanalyse über die Befehlszeile: Hilft bei der Integration von PVS-Studio in Builds über Nacht. Am Morgen wird ein neues Protokoll ausgestellt.
• Hervorragende Skalierbarkeit Unterstützung von Multi-Core- und Multi-Prozessor-Systemen mit der Möglichkeit, die Anzahl der zu verwendenden Kerne anzugeben. IncrediBuild-Unterstützung.
• Interaktive Filterung der Analyseergebnisse (der Protokolldatei) im PVS-Studio-Fenster: nach Diagnosenummer, Dateiname, Schlüsselwort im Text der Diagnose.
• Automatische Überprüfung von PVS-Studio-Updates (während der Arbeit in IDE und über Nacht Builds).
• Dienstprogramm BlameNotifier. Mit dem Tool können Sie E-Mail-Benachrichtigungen an die Entwickler über Fehler senden, die PVS-Studio während eines Nachtlaufs gefunden hat.
• Eine Vielzahl von Optionen für die Integration in Projekte, die unter Linux entwickelt wurden.
• Als Fehlalarm markieren - Möglichkeit, den Code zu markieren, um eine bestimmte Diagnose in einem bestimmten Codefragment zu unterdrücken.
• Massenunterdrückung - Möglichkeit, alle alten Nachrichten zu unterdrücken, die für den Legacy-Code ausgelöst wurden, sodass der Analysator 0 Warnungen meldet. Sie können später jederzeit zu den unterdrückten Nachrichten zurückkehren. Mit dieser Funktion können Sie PVS-Studio nahtlos in Ihren Entwicklungsprozess integrieren und sich auf Fehler konzentrieren, die nur in neuem Code enthalten sind.
• Fehlerstatistiken können in Excel angezeigt werden. Möglichkeit, die Geschwindigkeit der Fehlerkorrektur, die Anzahl der für einen bestimmten Zeitraum gefundenen Fehler usw. anzuzeigen.
• Relative Pfade in Berichtsdateien, um sie auf verschiedenen Computern anzuzeigen.
• Mit der CLMonitoring-Funktion können Projekte analysiert werden, die keine Visual Studio-Dateien enthalten (.sln / .vcxproj). Falls die CLMonitoring-Funktionalität nicht ausreicht, besteht die Möglichkeit
145.6 MB
rar archive
Download Link:
-> Englisch
