arXiv Open Access 2023

Naturalistic Static Program Analysis

Mohammad Mehdi Pourhashem Kallehbasti Mohammad Ghafari

Lihat Sumber

Abstrak

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.

Topik & Kata Kunci

cs.PL cs.CR cs.SE

Penulis (2)

Mohammad Mehdi Pourhashem Kallehbasti

Mohammad Ghafari

Format Sitasi

APA MLA BibTeX

Kallehbasti, M.M.P., Ghafari, M. (2023). Naturalistic Static Program Analysis. https://arxiv.org/abs/2301.04862

Akses Cepat

Lihat di Sumber

Informasi Jurnal

Tahun Terbit: 2023
Bahasa: en
Sumber Database: arXiv
Akses: Open Access ✓