Naturalistic Static Program Analysis
Programming Languages
2023-01-13 v1 Cryptography and Security
Software Engineering
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.
Keywords
Cite
@article{arxiv.2301.04862,
title = {Naturalistic Static Program Analysis},
author = {Mohammad Mehdi Pourhashem Kallehbasti and Mohammad Ghafari},
journal= {arXiv preprint arXiv:2301.04862},
year = {2023}
}
Comments
The 30th IEEE International Conference on Software Analysis, Evolution and Reengineering, March 21st-24th, 2023