 Who's Online
|
|
Zur Zeit sind Gäste und Mitglied(er) online.
Sie sind ein anonymer Benutzer. Sie können sich hier anmelden
|
|
Online Werbung
|
|
|
Hauptmenü
|
|
|
Languages
|
|
|
Sprache für das Interface auswählen
|
|  |
|
|
|
|
|
|
|
News - Central - News Center & News Guide !
 Forschungsbeitrag von GrammaTech für Bug Injector von IEEE SCAM 2019 ausgezeichnet
Geschrieben am Montag, dem 03. Februar 2020 von News-Central.de
|
|
PR-Gateway: Ithaca, NY (USA) - 3. Februar 2020 - Während der International Working Conference zu Source Code Analysis & Manipulation (SCAM) wurde ein Forschungsbeitrag von GrammaTech mit dem "Distinguished Paper Award" des Institute of Electrical and Electronics Engineers (IEEE) Computer Society TCSE (Technical Council on Software Engineering) ausgezeichnet.
Die Veröffentlichung wurde nach mehreren Reviews und Abstimmungen durch die Komiteemitglieder ausgewählt. Das Dokument beschreibt ausführlich Bug Injector, ein System zur automatischen Erstellung von Benchmarks zur individuellen Evaluierung von Tools zur statischen Code-Analyse. Das Papier steht hier zum Download bereit: https://arxiv.org/pdf/1901.02819.pdf
Bug Injector fügt echten Programmen gezielt Fehler auf Basis eines Bug-Templates hinzu. Das Tool führt auf dem Host-Programm Tests aus, um dynamische Spuren zu erkennen. In dieses Spuren sucht es nach einem Punkt, an dem der Zustand zu den Vorgaben eines Bug-Templates passt. Hier modifiziert Bug Injector das Host-Programm, indem es anhand dieses Templates einen Fehler injiziert. Die injizierten Bugs dienen als Testfälle, um einen Benchmark zur Evaluierung eines Tools zur statischen Analyse zu erstellen. Bug Injector verbindet jeden eingefügten Fehler mit dem passenden Programm-Input, um den Bug auszuführen. Das Forscherteam von GrammaTech identifizierte zahlreiche Anforderungen und Desiderate für Fehler-Benchmarks. Daraus ergaben sich Test-Benchmarks "on demand", die diesen Anforderungen gerecht werden. Auch ermöglichte es dieser Ansatz, individuelle Benchmarks zu entwickeln, mit denen Tools für spezifische Einsatzszenarien - etwa eine vorgegebene Codebasis oder Fehlerklasse - evaluiert werden können. Die Eignung der erzeugten Benchmarks für die Evaluierung statischer Bug-Detection-Tools und zum Vergleich unterschiedlicher Werkzeuge konnte experimentell gezeigt werden.
Laut der SCAM Website ist es das Ziel der International Working Conference, Forscher und Praktiker zusammenzubringen, um theoretische Grundlagen, Techniken und Anwendungen im Bereich der Analyse und/oder Manipulation von Quell-Code auf Computersystemen weiter zu entwickeln. Denn obwohl sich das Gros der Software-Entwickler-Community anderen Aspekten der Systementwicklung und -evolution zuwendet, ist der Source-Code die einzige exakte Beschreibung des Verhaltens eines Systems. Die Analyse und Manipulation dieses Source-Codes bleibt nach wie vor ein wichtiges Gebiet.
Weitere Details zu Bug-Injector finden Sie im GrammaTech-Blog
GrammaTech auf der Embedded World 2020 vom 25. bis 27. Februar 2020 in Nürnberg: Halle 4, Stand 4-423
Bug-Injector research was sponsored by the Defense Advanced Research Projects Agency (DARPA) under Contract No. D17PC00096 and the Department of Homeland Security (DHS) Science and Technology Directorate, Cyber Security Division (DHS S&T/CSD) via contract number HHSP233201600062C. The views, opinions, findings, and conclusions or recommendations contained herein are those of the authors and should not be interpreted as necessarily representing the official views policies or endorsements, either expressed or implied, of DARPA or DHS.
About GrammaTech:
GrammaTech's advanced static analysis tools are used by software developers worldwide, spanning a myriad of embedded software industries including avionics, government, medical, military, industrial control, and other applications where reliability and security are paramount. Originally developed within Cornell University, GrammaTech is now a leading research center for software security and a commercial vendor of software-assurance tools and advanced cyber-security solutions. With both static and dynamic analysis tools that analyze source code as well as binary executables, GrammaTech continues to advance the science of superior software analysis, providing technology for developers to produce safer software. For more information, visit www.grammatech.com or follow us on LinkedIn: https://www.linkedin.com/company/grammatech
GrammaTech, Inc.
Rodney Fleming
Esty Street 531
14850 Ithaca, NY
+1-607-273-7340
www.grammatech.com
Pressekontakt:
sayIT Public Relations
Jan Schulze
Franz-Brombach-Str. 11
85435 Erding
jan@sayit-pr.de
08122-954 77 13
www.sayit-pr.de
(Weitere interessante Software News & Software Infos & Software Tipps gibt es hier.)
Zitiert aus der Veröffentlichung des Autors >> PR-Gateway << auf http://www.freie-pressemitteilungen.de. Haftungsausschluss: Freie-PresseMitteilungen.de / dieses News-Portal distanzieren sich von dem Inhalt der News / Pressemitteilung und machen sich den Inhalt nicht zu eigen!
|
|
Für die Inhalte dieser Veröffentlichung ist nicht News-Central.de als News-Portal sondern ausschließlich der Autor (PR-Gateway) verantwortlich (siehe AGB). Haftungsausschluss: News-Central.de distanziert sich von dem Inhalt dieser Veröffentlichung (News / Pressemitteilung inklusive etwaiger Bilder) und macht sich diesen demzufolge auch nicht zu Eigen! |
| "Forschungsbeitrag von GrammaTech für Bug Injector von IEEE SCAM 2019 ausgezeichnet" | Anmelden/Neuanmeldung | 0 Kommentare |
|
| | Für den Inhalt der Kommentare sind die Verfasser verantwortlich. |
|
|
|
Keine anonymen Kommentare möglich, bitte zuerst anmelden |
|
| Diese Web-Videos bei News-Central.de könnten Sie auch interessieren: |
Gekaufte Asylverfahren: Bamf-Affäre in Bremen
 | Kanada und Mexiko: Starke Gegenmaßnahmen auf Einfuh ...
 | Handelsstreit: USA verhängen Zölle gegen EU-Staaten
 |
|
|
| Diese Testberichte bei News-Central.de könnten Sie auch interessieren: |
 Rotwein Femar Roma Rosso DOC Der Femar Roma Rosso DOC (0,75L) von Femar Vini Sr, IT-Monte Porzio Catone, Roma, ist einer der besten Rotweine, den man zu seinem Preis bekommt - kaum zu toppen!
(Weitere Testberichte zu Le ... (Peter, 07.4.2024)
REEVA Instant-Nudelgericht RIND GESCHMACK Reeva Instant Nudeln mit BBQ-Rindfleischgeschmack (60g):
In nur 5 Minuten fertig – mit 300 ml heißem Wasser übergießen, 5 Minuten ziehen lassen und umrühren.
Solide kleine Mahlzeit ... (xyz_101, 04.4.2024)
Saperavi 2018 - Rotwein aus Russland Saperavi ist eine dunkle Rebsorte aus dem Alasani-Tal in der Region Kachetien in Ost-Georgien.
Der russische Saperavi 2018 kommt aus Sennoy im Temryuksky District desKrasnodar Kra ... (HildeBL2022, 20.2.2023)
Japanische Nudelsuppe Ramen von OYAKATA (Sojasoße) Hier in der Variante mit dem Geschmack von Sojasoße und einer Gemüsemischung aus Schnittlauch, Mais, Karotten und Lauch.
Mir hat sie nicht zugesagt - ich fand sie geschmacksarm.
( ... (KlausFPM, 20.2.2023)
Wesenitz-Bitter - schmackhafter sächsischer Magenbitter Der Sächsischer Magenbitter Wesenitz-Bitter (33%) ist mild und schmackhaft.
Der Wesenitz-Bitter wird seit 1906 nach einem überlieferten Rezept in Dürrröhrsdorf hergestellt.
Saftorangen
Zur Zeit im Angebot bei Famila:
Ägyptische Saftorangen "Valencia".
Bitte beachten: Bei optimaler Reife ist das Verhältnis zwischen Süße und Säure besonders ausgew ... (Heinz-absolut-Berlin, 05.5.2021)
Badesalz AntiStress 1300g - Meersalz mit 100% natürlichem ätherischem Rosmarin- & Wacholderöl
Das Meersalz verbessert die Hautbeschaffenheit und hat auf den Körper eine positive Wirkung, es versorgt ihn mit notwendigen Makro-und Mikroelementen.
Das Badesalz ist reich ... (Bernd-Berlin-13189, 05.5.2021)
Lamm-Hüfte tiefgefroren aus Neuseeland (Metro)
Lamm-Hüfte tiefgefroren aus Neuseeland von der Metro
4 Stück á 175 g Stücke, ohne Fettdeckel, ohne Knochen, aeinzeln vak.-verpackt ca. 700 g
Qualität und Geschmac ... (Petra-38-Berlin, 05.5.2021)
Greywacke Sauvignon Blanc Marlborough NZL trocken 0,75l
Ein trockener Weißwein mit kräftiger gelber Farbe aus Neuseeland, würziger Geschmack mit Fruchtaromen.
Er passt sehr gut zu Gerichten mit Meeresfrüchten und zu asiatischen G ... (Heinz-integerBLN, 02.5.2021)
Doña María Mole Gewürzpaste
Diese Paste ist das Topping für ihre Enchiladas.
Und wenn sie sich beim Essen fragen, ist da etwa Schokolade drin, richtig, auch die kann man zum Würzen nehmen.
B ... (Frederik de Kulm, 24.4.2021)
| Diese News bei News-Central.de könnten Sie auch interessieren: |
Suchmaschinenoptimierung (SEO) Manager (PR-Gateway, Freitag, 26. April 2024)
Was macht eigentlich ein SEO-Manager wie Daniel Görs?
Ein SEO-Manager wie Diplom-Sozialwirt Daniel Görs ist für die Planung, Umsetzung und Optimierung von Maßnahmen im Bereich der Suchmaschinenoptimierung (SEO) verantwortlich, um die Sichtbarkeit einer Website in den Suchergebnissen zu verbessern.
Hier sind 16 Bereiche des SEO-Managements, d ...
KDPOF und Hinge Technology kooperieren (PR-Gateway, Freitag, 26. April 2024)
Strategische Partnerschaft treibt optische Kommunikation im Fahrzeug für zukünftige Anforderungen an das Netzwerk voran
KDPOF (ein führender Anbieter für Gigabit-Konnektivität über Faseroptik in rauer Umgebung) gibt stolz seine strategische Partnerschaft mit Hinge Technology (führendem chinesischen Anbieter fortschrittlicher Fahrzeugelektronik) bekannt, um wesentliche technische Probleme bei industriellen Anwendungen von optischer Kommunikation in Fahrzeugen zu lösen.
STÜKEN plant Galvanik-Neubau (PR-Gateway, Freitag, 26. April 2024)
Der Hersteller von Präzisions-Tiefziehteilen investiert 28 Millionen Euro in den Standort Rinteln
STÜKEN wird eine neue Galvanikanlage am Fertigungsstandort im Industriegebiet Rinteln-Süd bauen. Der Weltmarktführer im Tiefziehen wird dafür rund 28 Millionen Euro investieren. In einer Auftaktveranstaltung mit Rintelns Bürgermeisterin Andrea Lange sowie Teilnehmern von Fachfirmen und Gewerbeaufsicht wurde das Projekt Ende Februar gestartet.
STÜKEN steht als weltweit f ...
Controlware erhält erneut die \'\'Great Place to Work\'\'-Auszeichnungen \'\'Beste Arbeitgeber ITK\'\' und \'\'Beste Arbeitgeber Hessen\'\' (PR-Gateway, Freitag, 26. April 2024)
Dietzenbach, 24. April 2024 - Controlware wurde durch das internationale Forschungs- und Beratungsinstitut "Great Place to Work" auch 2024 mit den renommierten Qualitätssiegeln "Beste Arbeitgeber ITK" und "Beste Arbeitgeber Hessen" ausgezeichnet.
Die Vergabe des "Great Place to Work"-Siegels basiert auf anonymen und repräsentativen Befragungen der Mitarbeitenden und des Managements der teilnehmenden Unternehmen. Die Ergebnisse dieser Befragungen werden im Verhältni ...
Stefan Gaetano Ala: Das Leitprinzip der APOLONIA Gruppe und sein Einfluss auf den Immobilienmarkt (PR-Gateway, Freitag, 26. April 2024)
Stefan Gaetano Ala projektiert die APOLONIA Gruppe mit dem Ziel, bezahlbaren Wohnraum zu schaffen.
Stefan Gaetano Ala verbindet soziale Verantwortung mit unternehmerischem Denken in seiner Rolle als Projektleiter gemeinsam. Sein ambitioniertes Ziel ist es, ohne Einbußen an Komfort, bezahlbaren Wohn- und Gewerberaum zu schaffen. Mit einem klaren Blick auf die Bedürfnisse der Menschen will Stefan Ala durch innovative und nachhaltig ...
Ina Zierhut: Die Künstlerin des Permanent MakeUp aus Waldkraiburg (PR-Gateway, Donnerstag, 25. April 2024)
Ina Zierhut: Die Künstlerin des Permanent MakeUp erobert die Weltbühne
Waldkraiburg, den 18. April 2024:
Ina Zierhut hat die Welt des Permanent MakeUp erobert und sich als eine der führenden Künstlerinnen in dieser Branche etabliert. Mit ihrem außergewöhnlichen Talent und ihrer unermüdlichen Hingabe hat sie zahlreiche internationale Auszeichnungen und Titel gewonnen, die ihre Expertise und ihr Können unterstreichen.
Als mehrfache intern ...
Cannabis Hot Stock mit massivem Kaufsignal - Jetzt einsteigen. Neuer 305% Cannabis Aktientip nach 50.133% mit Aurora Cannabis ($ACB), 91.220% mit Curaleaf Holdings ($CURA) und 294.900% mit Canopy Grow (PR-Gateway, Donnerstag, 25. April 2024)
Cannabis Hot Stock mit massivem Kaufsignal - Jetzt einsteigen. 305% Cannabis Aktientip nach 294.900% mit Canopy Growth
25.04.24 08:02
AC Research
Vancouver ( www.aktiencheck.de, Anzeige)
https://www.irw-press.at/prcom/images/messages/2024/74358/AC-250424.001.png
...
tde: Innovatives Modul ermöglicht Patchen mit höchster Packungsdichte im Rückraum (PR-Gateway, Donnerstag, 25. April 2024)
Gleiche Portdichte im Rückraum und im Patchbereich: tde präsentiert tML Reverse Modul
Dortmund, 25. April 2024. tde - trans data elektronik GmbH ergänzt die tML-Systemplattform um eine zukunftsweisende Innovation: Mit dem neuen tML Reverse Modul bietet der Netzwerkspezialist als erster Hersteller ein Modul an, das sich auf der Plattform in zwei Richtungen bestücken lässt. Ein Patchen wird damit auch im Rückraum möglich. Vorder- wie rückseitig kann die gleiche Anzahl an Ports mit höchs ...
membraPure Geschäftsführer Dr. Erdmann Flindt stellt neues Produkt auf der diesjährigen Analytica vor (PR-Gateway, Donnerstag, 25. April 2024)
Neuer TOC-Analysator zur Online-Überwachung in Rein- und Reinstwasseranwendungen
Auf der weltweit führenden Messe für Labortechnik, Analytik und Biotechnologie, der "Analytica" in München, stellte die membraPure GmbH ihren neuen aktuellen TOC-Analysator für die Online-Überwachung im Bereich der Rein- und Reinstwasseranwendung vor. Der miniTOC², so der Name des innovativen Produkts, ist das Ergebnis intensiver Forschungs- und Entwicklungsarbeit durch das interdisziplinäre Team des Unte ...
Extreme Networks stellt Extreme Labs vor: Zentrum für Forschung, Entwicklung und Innovation im Networking (PR-Gateway, Mittwoch, 24. April 2024)
Ausblick auf Extreme AI Expert, eine zukunftsweisende Möglichkeit, Netzwerke zu konzipieren, zu optimieren und bereitzustellen
Extreme Connect, Fort Worth, TX, 24. April 2024 - Extreme Networks, Inc. (Nasdaq: EXTR), ein führender Anbieter cloudbasierter Netzwerklösungen, gibt heute den Launch von | Werbung bei News-Central.de: |
| Forschungsbeitrag von GrammaTech für Bug Injector von IEEE SCAM 2019 ausgezeichnet |
| |
|
Video Tipp @ News-Central.de
|
|
|
Online Werbung
|
|
|
Verwandte Links
|
|
|
Artikel Bewertung
|
|
durchschnittliche Punktzahl: 0
Stimmen: 0
|
|
Online Werbung
|
|
|
Möglichkeiten
|
|
|
