Le Lézard
Classified in: Science and technology
Subjects: AWD, SVY

GrammaTech Wins IEEE SCAM 2019 Distinguished Paper Award For Bug-Injector Research


ITHACA, N.Y., Jan. 29, 2020 /PRNewswire/ -- During the International Working Conference on Source Code Analysis & Manipulation (SCAM), a GrammaTech research publication was awarded the Institute of Electrical and Electronics Engineers (IEEE) Computer Society TCSE (Technical Council on Software Engineering) Distinguished Paper Award.

GrammaTech

The publication was chosen through further rounds of review and voting among program committee members. The paper, available here for viewing, details Bug-Injector, a system that automatically creates benchmarks for customized evaluation of static analysis tools.

Bug-Injector works by inserting bugs based on bug templates into real-world host programs. It runs tests on the host program to collect dynamic traces, searches the traces for a point where the state satisfies the preconditions for some bug template, then modifies the host program to "inject" a bug based on that template. Injected bugs were used as test cases to build a static analysis tool evaluation benchmark. Bug-Injector pairs every injected bug with the program input that exercises that bug. The team identified a broad range of requirements and desiderata for bug benchmarks; their approach generated on-demand test benchmarks to meet these requirements. It also allowed them to create customized benchmarks suitable for evaluating tools for a specific use case (e.g., a given codebase and class of bug). Their experimental evaluation demonstrates the suitability of the generated benchmark for evaluating static bug-detection tools and for comparing the performance of different tools.

According to their website, "[t]he aim of the International Working Conference on Source Code Analysis & Manipulation (SCAM) is to bring together researchers and practitioners working on theory, techniques and applications which concern analysis and/or manipulation of the source code of computer systems. While much attention in the wider software engineering community is properly directed towards other aspects of systems development and evolution, such as specification, design and requirements engineering, it is the source code that contains the only precise description of the behavior of the system. The analysis and manipulation of source code thus remains a pressing concern."

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 interagency agreements HSHQDC-16-X-00076 and 70RSAT18KPM000161 with the Department of Health and Human Services (HHS) resulting in contract No. 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.

SOURCE GrammaTech


These press releases may also interest you

at 20:09
Not Just 1, But 2: BASIS Charter Schools Celebrates a Pair of Students Named Presidential Scholars by the U.S. Department of Education
BASIS Charter Schools proudly announce that two of its exceptional students have been named 2024 U.S. Presidential Scholars by the U.S. Department of Education. Matteo N. Huish from BASIS Mesa and Sruti Peddi from BASIS Scottsdale have been...

at 20:00
Greenberg Traurigs Kemal Hawa to Moderate Panel at DICE East 2024
Kemal Hawa, co-chair of the Digital Infrastructure, Data Center and Cloud Computing Practice of global law firm Greenberg Traurig, LLP, will moderate a panel at DICE East 2024 May 22 in Reston, Virginia. Hawa, a member of the firm's Washington,...

at 19:45
WIO Taps Gracenote to Revolutionize Television Broadcast Reporting
WIO LLC, parent company of the global TV broadcast airings platform, WIOprotm, has announced a new strategic agreement with Gracenote, the global content data business unit of Nielsen, to address the longstanding challenge of accurately tracking and...

at 19:35
Mirum Pharmaceuticals Reports Inducement Grants Under Nasdaq Listing Rule 5635(c)(4)
Mirum Pharmaceuticals, Inc. today announced that on May 10, 2024, the Compensation Committee of Mirum's Board of Directors granted inducement awards consisting of non-qualified stock options to purchase 38,600 shares of common stock and 19,300...

at 19:00
Evolus Reports Inducement Grants Under Nasdaq Listing Rule 5635(c)(4)
Evolus, Inc. , a performance beauty company with a focus on building an aesthetic portfolio of consumer brands, today reported the grant of non-qualified stock options to purchase an aggregate of 10,990 shares of Evolus and an aggregate of 42,759...

at 18:50
Aliyah Galea'i-Ava Crowned the 2024 Women's World Fireknife Champion
Thirty nine adults, featuring 32 men and seven women, gathered at the Polynesian Cultural Center (PCC) to compete in the Men's and Women's Division competition of the 31st Annual World Fireknife Championship. The women kicked off a very...

More news about Science and technology...


News published on and distributed by: