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.

翻译：静态程序分析开发是一项非边际和耗时的任务。 我们提出了一个框架, 开发者可以通过这个框架来定义自然语言的静态程序分析。 我们展示了这个框架在 Java 方案中用于识别加密误用, 我们讨论它如何促进静态程序分析开发者开发。