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
It is evaluated by detecting memory access errors, infinite loops, information exposures, dead code and data race conditions in test programs from the Juliet test suite for program analyzers.
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".