Generally, how are library summaries created?

[khatchad]

Looking at com.ibm.wala.ipa.summaries, I see that it is possible to summarize the analysis results of libraries using an XML file. But, how are these summaries generally created? Are they created by hand? Is there any documentation on how to create library summaries?

[msridhar]

I believe the XML summaries were created (long ago!) by hand. No documentation on how to create them, unfortunately. But I hope that the XML format isn't too complex, so one could figure out how to modify / extend if needed.

Note that I believe these summaries are only relevant to analysis of Java code; I'm not sure if there is a pipeline set up to load similar summaries for other languages.

[khatchad]

Thanks, @msridhar. But, when analyzing Java code using WALA, the JDK is included (sans the "exclusions" file), right? Are these summaries mainly for third-party libraries? It would be useful to have a tool that creates them.

I'm unsure about Javascript, but they seem to be extensively used for Python; @tatianacv can confirm.

[tatianacv]

Yes, they are used extensively for Python to model ML frameworks.