QSKs are currently available for Astrée as well as for the following checks on call graph and control flow graph level, the example ELF executables having been created with a generic C compiler.
Neben einem QSK für Astrée sind zurzeit die folgenden QSKs für aiT und StackAnalyzer erhältlich: Prozessor WCET-Generische QSKs führen Überprüfungen auf der Aufruf- und Kontrollflußgraphebene durch.
The Linux/Remaiten downloaders are small ELF executables embedded in the bot binary itself.
Die Linux/Remaiten Downloader sind kleine ausführbare ELF Dateien, die im Bot-Binärprogramm eingebunden sind.
Stack usage on call-graph and control-flow-graph level, on ELF executables created with a generic C compiler.
Die beiliegenden ELF-Beispieldateien werden mit einem generischen C-Compiler erzeugt.
Generic QSKs perform checks on call graph and control flow graph level, the example ELF executables having been created with a generic C compiler.
Generische QSKs führen Tests auf ELF-Beispieldateien durch, die mit einem „generischen" C-Compiler erzeugt wurden, z. B. einer weitverbreiteten GCC-Version.
This program is merely a wrapper around dpkg-shlibdeps(1) that calls it once for each package listed in the control file, passing it a list of ELF executables and shared libraries it has found. OPTIONS
Dieses Programm ist lediglich ein Wrapper um dpkg-shlibdeps(1), der es einmal für jedes in der Datei control aufgelistete Paket aufruft und ihm eine Liste aller ELF-Programme und gemeinsam benutzten Bibliotheken übergibt, die es gefunden hat.
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.