13. The non-transitory computer readable medium of claim 12 , wherein, after compilation of the program analysis module, the program analysis module comprises a program analysis engine, a specialized extractor, and a query API.
13. The non-transitory computer readable medium of claim 12 , wherein, after compilation of the program analysis module, the program analysis module comprises a program analysis engine, a specialized extractor, and a query API. 14. The non-transitory computer readable medium of claim 13 , wherein the method further comprises: receiving, via the query API, a static program analysis query; and returning, in response to the static program analysis query, a static program analysis result comprising a security vulnerability of the program.