We konden deze vermelding niet vinden. Er worden benaderende resultaten weergegeven. Controleer je spelling of stel voor deze term aan het woordenboek toe te voegen.
Polyspace Bug
Polyspace Bug Finder erkennt Laufzeitfehler, Nebenläufigkeitsfehler, Sicherheitslücken und andere Fehler in eingebetteter C- und C++-Software.
Polyspace Bug Finder identifies run-time errors, concurrency issues, security vulnerabilities, and other defects in C and C++ embedded software.
Mittels Verwendung von statischer Analyse mit semantischen Analyse-Methoden analysiert Polyspace Bug Finder den Daten- und Kontrollfluss sowie das interprozedurale Verhalten.
Using static analysis, including semantic analysis, Polyspace Bug Finder analyzes software control, data flow, and interprocedural behavior.
Mithilfe der statischen Analyse analysiert Polyspace Bug Finder die Softwaresteuerung, den Datenfluss und das Verhalten während des Prozesses.
Using static analysis, Polyspace Bug Finder analyzes software control, data flow, and interprocedural behavior.
Polyspace Code Prover arbeitet mit Polyspace Bug Finder zusammen, um sicherheitskritische Fehler wie Division durch Null oder sicherheitsrelevante Pufferüberläufe in Ihrem Quellcode zu finden und die Einhaltung von Coding-Standards wie MISRA zu prüfen.
Polyspace Code Prover works with Polyspace Bug Finder to find safety-critical defects, such as divide by zero or security critical buffer overflows, in your source code and check compliance to coding standards such as MISRA.
Systemanforderungen für die aktuelle Polyspace Bug Finder-Version.
View system requirements for the latest release of Polyspace Bug Finder.
Integrieren Sie Polyspace Bug Finder in verschiedene Compiler-, Zielprozessor- und RTOS-Umgebungen.
Integrate Polyspace Bug Finder with any compiler, target processor, and RTOS environment.
Polyspace Bug Finder Access bietet eine Webbrowser-Benutzeroberfläche für Ergebnisse der statischen Codeanalyse durch Polyspace mit Qualitätsmetriken, die in einem zentralen Repository gespeichert werden.
Polyspace Bug Finder Access provides a web browser interface to Polyspace static code analysis results and quality metrics stored in a central repository.
Polyspace Bug Finder überprüft die Einhaltung von Programmierstandards wie beispielsweise MISRA C, MISRA C++, JSF++ und benutzerdefinierten Namenskonventionen.
Polyspace Bug Finder checks compliance with coding rule standards such as MISRA C, MISRA C++, JSF++, and custom naming conventions.
Polyspace Code Prover und Polyspace Bug Finder sind ab sofort erhältlich.
Polyspace Bug Finder and Polyspace Code Prover for formal verification of hand-written and generated code
Polyspace Bug Finder kann mit der Eclipse IDE verwendet werden und in bestehende Build-Systeme integriert werden.
Polyspace Bug Finder can be used with the Eclipse IDE and integrated into existing build systems.
Führen Sie die statische Analyse von Polyspace Bug Finder Server mit Build-Automatisierungstools wie Jenkins und Bamoo auf einem Servercomputer aus.
Run the Polyspace Bug Finder Server static analysis engine on a server class machine with build automation tools such as Jenkins and Bamboo.
Abschließend können Sie die MISRA-Compliance mit Polyspace Bug Finder überprüfen.
Lastly, you can check MISRA compliance with Polyspace Bug Finder.
Einheitliche Benutzeroberfläche: Erstellung und Konfiguration eines gemeinsamen Projekts für Analysen mit Polyspace Bug Finder und Polyspace Code Prover
Unified User Interface: Create and maintain a single Polyspace project for Bug Finder and Code Prover analysis
Potentieel gevoelige of ongepaste informatie
Er worden alleen voorbeelden gegeven om u te helpen het woord of de woordcombinatie waarop u hebt gezocht, te vertalen. Deze worden niet door ons geselecteerd of gevalideerd en kunnen ongepaste taal bevatten. Wij vragen u melding te maken van voorbeelden die dienen te worden aangepast of verwijderd. Vertalingen met grof of informeel taalgebruik worden meestal rood of oranje gemarkeerd.
