Work

Source code patches from dynamic analysis

Year: 2021

Type: conference-paper

Abstract: Dynamic analysis can identify improvements to programs that cannot feasibly be identified by static analysis; concurrency improvements are a motivating example. However, mapping these dynamic-analysis-based improvements back to patch-like source-code changes is non-trivial. We describe a system, Scopda, for generating source-code patches for improvements identified by execution-trace-based dynamic analysis. Scopda uses a graph-based static program representation (abstract program graph, APG), containing inter-procedural control flow and local data flow information, to analyse and transform static source-code. We demonstrate Scopda's ability to generate sensible source code patches for Java programs, though it is fundamentally language agnostic.

Source: Formal Techniques for Java-like Programs

DOI: 10.1145/3464971.3468416

Authors: Indigo Orton, Alan Mycroft

Institution: University of Cambridge

Language: English

Topic: Software Testing and Debugging Techniques

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: hybrid

Funders: University of Cambridge, Cambridge Trust, Engineering and Physical Sciences Research Council

OpenAlex ID: W3177786601

FWCI: 0.351

Cites: 14

Cited by: 2

Related to: 10