This paper introduces JNI-HarnessGen, a multi-agent system that extends automated harness generation to native code libraries via JNI bridge synthesis, addressing the semantic gap between managed and native execution environments. It includes a bidirectional bridge synthesis algorithm, a safety constraint extraction mechanism, and a cross-language feedback loop for optimized harness generation.
Key findings
Proposes a novel multi-agent architecture for automated JNI bridge synthesis.
Introduces specialized agents for JNI signature inference and native type mapping.
Develops a safety constraint extraction mechanism to prevent common JNI vulnerabilities.
Plans to achieve 30% higher native code coverage compared to existing Java-focused approaches.
Limitations & open questions
Evaluation plan is pending, with results yet to be determined.