Astrée is a static program analyzer that proves the absence of run-time errors (RTE) in safety-critical embedded applications written or automatically generated in C.
Beschreibung Astrée ist eine Software zur statischen Programmanalyse, die C-Programme automatisch auf Laufzeitfehler überprüft.
Anti Hacker, an advanced anti-root kit utility, can answer these questions by utilizing four powerful functions: keylogger detection, open port scanner, remote connection spy, and suspicious/unwanted program analyzer.
Anti-Hacker, ein fortgeschrittenes Anti-Root Paket, kann Ihnen Antworten zu diesen Fragen geben, mit den vier starken Funktionen: Schaltrekorder-Erkennung, Offener Port-Scanner, Remote-Anschluss-Spion, und verdaechtigte/ungewollte Programm-Analyse.
Each test person received a corresponding handheld device, which then emitted electrical impulses, which the Program Analyzer, affectionately called "Little Annie" by the inventors, drew on a kind of roller plotter as a long line.
Jeder Proband erhielt dazu ein entsprechendes Handgerät, das dann elektrische Impulse abgab, die der Program Analyzer, von den Erfindern liebevoll „Little Annie" genannt, auf einer Art Rollenplotter als lange Linie zeichnete.
The program analyzer generator PAG supports the implementation of static program analyzers.
Astrée, a static program analyzer designed to prove the absence of runtime errors in safety-critical C programs.
Astrée ermöglicht den Nachweis der Abwesenheit von Laufzeitfehlern in sicherheitskritischen C-Programmen.
Astrée, a static program analyzer designed to prove the absence of runtime errors in safety-critical C programs.
Nachweis der Abwesenheit von Laufzeitfehlern Unser Programm-Analysator Astrée überprüft C-Programme automatisch auf Laufzeitfehler.
Anti-Hacker contains four powerful functions: keylogger detection, open port scanner, remote connection spy, and suspicious/unwanted program analyzer.
Anti-Hacker enthält vier effektive Funktionen: Keylogger-Aufspürung, Port Scanner, Remoteverbindungs-Spion und Analyse von verdächtigen Programme.
Other results
The package includes monitoring program, powerful log analyzer and deployment utility.
Designed to efficiently program and control the analyzer.
It allows the laboratory computer to down load sample programs to the analyzers.
In broadcasting, the laboratory computer sends a given sample program to all analyzers simultaneously.
The evaluation of the game video is now done with the program "Video Analyzer".
This easy-to-use program both controls the analyzer and does the actual analysis of the results.
Dieses einfach zu bedienende Programm steuert den Analysator und nimmt auch die eigentliche Analyse der Ergebnisse vor.