JNI program analysis with automatically extracted C semantic summary.

Sungho Lee

Browse the full ISSTA paper archive.