Research Review 2020. Static Analysis Classification: Line-Funded Research FY16-20

Abstract

Static Analysis Classification: Line-Funded Research FY16-20: In the last five years of line-funded research projects Ive led, several techniques and tools were developed. Each project built on tools and techniques from the previous project. For more details on my FY20 project, attend my Friday Research Review presentation. At the conclusion of this presentation, I include ideas for combining SA classification andautomated code repair.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jan 01, 2020
Accession Number
AD1110357

Entities

People

  • David Shepard
  • David Svoboda
  • Ebonie Mcneil
  • Hasan Yaşar
  • Joseph Yankel
  • Lori A. Flynn
  • Matt Sisk
  • Shane Ficorilli

Organizations

  • Carnegie Mellon University

Tags

Communities of Interest

  • Autonomy
  • Cyber

DTIC Thesaurus Topics

  • Artificial Intelligence
  • Auditing
  • Classification
  • Commerce
  • Computer Programming
  • Computer Programs
  • Debugging
  • Department Of Defense
  • Engineering
  • Language
  • Machine Learning
  • Materials
  • Security
  • Software Development
  • Software Testing
  • Standards
  • Universities

Fields of Study

  • Engineering

Readers

  • Acoustical Oceanography.
  • STEM Education
  • Technical Research and Report Writing.