Work

Naturalistic Static Program Analysis

Year: 2023

Type: conference-paper

Abstract: Static program analysis development is a non-trivial and time-consuming task. We present a framework through which developers can define static program analyses in natural language. We show the application of this framework to identify cryptography misuses in Java programs, and we discuss how it facilitates static program analysis development for developers.

Source: IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER)

DOI: 10.1109/saner56733.2023.00083

Authors: Mohammad Mehdi Pourhashem Kallehbasti, Mohammad Ghafari

Institutions: University of Science and Technology of Mazandaran, Clausthal University of Technology

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

OpenAlex ID: W4376606823

FWCI: 0.177

Cites: 16

Cited by: 1

Related to: 10