We're sorry but this page doesn't work properly without JavaScript enabled. Please enable it to continue.
Feedback

Libabigail, State Of The Onion

00:00

Formale Metadaten

Titel
Libabigail, State Of The Onion
Untertitel
Current status and perspectives of the Libabigail project
Serientitel
Anzahl der Teile
542
Autor
Lizenz
CC-Namensnennung 2.0 Belgien:
Sie dürfen das Werk bzw. den Inhalt zu jedem legalen Zweck nutzen, verändern und in unveränderter oder veränderter Form vervielfältigen, verbreiten und öffentlich zugänglich machen, sofern Sie den Namen des Autors/Rechteinhabers in der von ihm festgelegten Weise nennen.
Identifikatoren
Herausgeber
Erscheinungsjahr
Sprache

Inhaltliche Metadaten

Fachgebiet
Genre
Abstract
The Libabigail project is a framework and a set of tools aimed at analysing the ABI of ELF binaries by using their associated debug information as well as various ELF artifacts. The tools are currently geared at analysing and comparing ABI representations of binaries and binary packages. This talk aims at presenting the recent developments at the level of the framework, the tools and their use cases, as well as the perspectives we are currently envisoning for the near future.
DateiformatStrebeDeklarative ProgrammierspracheFormale SpracheProgrammierungSyntaktische AnalyseAppletE-MailFahne <Mathematik>Coxeter-GruppeMIDI <Musikelektronik>SoftwareentwicklerProgrammbibliothekParserKombinatorBinärdatenWeg <Topologie>DateiformatCASE <Informatik>Coxeter-GruppeProgrammierspracheOpen SourceFormale SpracheÜbersetzer <Informatik>HilfesystemGüte der AnpassungNeuroinformatikSchnelltasteProgrammbibliothekBildschirmmaskeSyntaktische Analyset-TestObjekt <Kategorie>Arithmetisches MittelFormation <Mathematik>HypermediaTexteditorProjektive EbeneGruppenoperationKonfiguration <Informatik>WhiteboardProgrammierungDeklarative ProgrammierspracheTopologieBenutzerbeteiligungAppletSerielle SchnittstelleProzess <Informatik>AutorisierungParserProjektivitätFunktionalSystemverwaltungMultiplikationsoperatorFontBitDiagrammComputeranimation
ParserProgrammbibliothekDateiformatSampler <Musikinstrument>BinärdatenIntegriertes InformationssystemEin-AusgabeCompilerGebäude <Mathematik>Stochastische AbhängigkeitKartesische KoordinatenProgrammierspracheDeskriptive StatistikBitQuellcodeBinärdatenUmwandlungsenthalpieParserFunktion <Mathematik>Ein-AusgabeSpeicherabzugMultiplikationsoperatorTopologieProblemorientierte ProgrammierspracheSchaltnetzBildbearbeitungsprogrammCASE <Informatik>Syntaktische AnalyseDatenstrukturKonfiguration <Informatik>BenutzerfreundlichkeitAppletCompilerProgrammierungFormale SpracheDateiformatObjekt <Kategorie>MAPProgrammbibliothekCodep-BlockLaufzeitfehlerTypentheorieGanze ZahlDomain <Netzwerk>DifferenteURLPuls <Technik>GruppenoperationAggregatzustandMereologieGeradeElektronische PublikationQuaderWeg <Topologie>Arithmetisches MittelEindeutigkeitWorkstation <Musikinstrument>BildschirmmaskeKreisflächeForcingComputeranimation
DateiformatProgrammbibliothekDiagrammFormale SpracheVisualisierungProgrammierumgebungWort <Informatik>StandardabweichungMagnettrommelspeicherCADSpieltheorieElektronische PublikationDatenbankCodeFirmwareEndliche ModelltheorieTypentheorieUmwandlungsenthalpieZustandsdichteMaschinencodeBefehlsprozessorDisassemblerMultimediaShape <Informatik>SpeicherabzugComputersicherheitProtokoll <Datenverarbeitungssystem>SpezialrechnerWeb logHardwareGraphProjektive EbeneGrenzschichtablösungDateiformatRechter WinkelUmwandlungsenthalpieVisualisierungBildschirmmaskePhysikalisches SystemMetropolitan area networkElektronische PublikationDiagrammPartikelsystemMultimediaSpieltheorieInformationPackprogrammProjektivitätCASE <Informatik>ProgrammierspracheMomentenproblemDatenflussWort <Informatik>EinsBitrateComputerspielStandardabweichungQuellcodeWeb-SeiteProzess <Informatik>ProgrammierungArithmetisches MittelFreewareKreisflächeUniformer RaumFormale SpracheSyntaktische AnalyseDifferenteBinärdatenProgrammiergerätAbstraktionsebeneGenerator <Informatik>Kartesische KoordinatenEinfache GenauigkeitCompilerProtokoll <Datenverarbeitungssystem>Computeranimation
Web-SeiteProzess <Informatik>TypentheorieFormale SpracheGerade ZahlGibbs-samplingCodierung <Programmierung>SpielkonsoleVisualisierungVisualisierungGarbentheorieCASE <Informatik>TypentheorieUmwandlungsenthalpieAttributierte GrammatikResultanteArithmetisches MittelOrtsoperatorQuick-SortArithmetischer AusdruckElektronische PublikationSyntaktische AnalyseDatenstrukturEin-AusgabeBinärdatenOrdnung <Mathematik>InstantiierungSichtenkonzeptBAYESDatenfeldDefaultZeichenketteMailing-ListeMeta-TagGanze ZahlDatenmodellFolge <Mathematik>Leistung <Physik>ZahlenbereichCodierung <Programmierung>Formale SpracheTafelbild
Formale SpracheTypentheorieProzess <Informatik>SpielkonsoleVisualisierungCliquenweiteWurzel <Mathematik>SpeicherabzugFunktion <Mathematik>Lokales MinimumEin-AusgabeProgrammierumgebungDynamisches RAMNormierter RaumBinärdatenFisher-InformationTopologieUmwandlungsenthalpieAbstraktionsebeneVisualisierungCASE <Informatik>SpeicherabzugSpielkonsoleDatenstrukturGeradeDatenmodellDateiformatTexteditorRechter WinkelElektronische PublikationEin-AusgabeProgrammierumgebungObjekt <Kategorie>URLTopologieBenutzerbeteiligungBinärdatenResultanteKategorie <Mathematik>Schwach besetzte MatrixTafelbildComputeranimation
BinärdatenAppletDateiformatUmsetzung <Informatik>VideokonferenzSpieltheoriePhasenumwandlungQuantenzustandDatenfeldStrom <Mathematik>MittelwertDickeEin-AusgabeWiderspruchsfreiheitFatou-MengeNebenbedingungResultanteWiderspruchsfreiheitRechter WinkelProzess <Informatik>CASE <Informatik>SoftwareentwicklerFormale SpracheAttributierte GrammatikComputerspielDämpfungElektronische PublikationDateiformatObjekt <Kategorie>Web-SeiteDickeDemoszene <Programmierung>MultiplikationsoperatorSuite <Programmpaket>Syntaktische AnalyseStreaming <Kommunikationstechnik>VerschlingungCLIStrömungsrichtungAutomatische HandlungsplanungInverser LimesArithmetischer AusdruckSchnittmengeKartesische KoordinatenOrdnung <Mathematik>p-BlockDefaultMomentenproblemProgrammbibliothekTaskBenutzerschnittstellenverwaltungssystemElement <Gruppentheorie>AnnulatorSerielle SchnittstelleÜbersetzer <Informatik>UmwandlungsenthalpieAppletWeg <Topologie>RechenbuchTypentheorieQuellcodeProgrammierumgebungParserBinärcodeDatenfeldComputeranimation
BenutzerschnittstellenverwaltungssystemImplementierungKartesische KoordinatenPunktTypentheorieOrtsoperatorQuantenzustandProgrammbibliothekBestimmtheitsmaßMaskierung <Informatik>Weg <Topologie>UmwandlungsenthalpieParserDateiformatFormale SpracheParametersystemSyntaktische AnalyseSkriptspracheComputeranimation
StrebeTexteditorMIDI <Musikelektronik>FontSoftwareentwicklerProgrammbibliothekDateiformatManufacturing Execution SystemFormale SpracheProzess <Informatik>TypentheoriePhasenumwandlungDatenfeldRechter WinkelParserFormale SpracheProgrammierspracheFunktionalDateiformatGraphfärbungDifferenteDefaultDeskriptive StatistikProgrammierungE-MailPhysikalisches SystemDifferenz <Mathematik>DatenparallelitätSpeicherabzugVerdeckungsrechnungArithmetischer AusdruckInstantiierungHash-AlgorithmusMereologieAdditionOrtsoperatorPunktMaßerweiterungComputerspielQuaderDruckspannungVersionsverwaltungSchlüsselverwaltungVererbungshierarchieComputeranimationVorlesung/KonferenzTafelbild
SpeicherabzugVisualisierungSpeicherabzugComputeranimation
ComputeranimationFlussdiagramm
Transkript: Englisch(automatisch erzeugt)