从C生成Java代码时SWIG错误使用指针类型的接口修改方案

问题根源 #

原生C函数bitwuzla_set_option的第三个参数是值类型uint32_t，但SWIG默认处理时错误将其识别为指针类型，生成了SWIGTYPE_p_uint32_t的Java接口。调用时传递的数值被当作指针地址（比如传1就对应0x1地址），JNI wrapper中对该地址解引用直接触发段错误（SIGSEGV）。

解决方案：修改SWIG接口文件引入标准类型映射 #

SWIG提供了专门处理标准固定宽度整数类型的库文件stdint.i，只需在接口文件中引入它，就能让SWIG正确识别uint32_t为值类型，而非指针类型。

修改后的SWIG接口文件如下：

%module bitwuzla
%{
#include "bitwuzla.h"
%}

// 引入SWIG标准库，正确映射uint32_t等固定宽度整数类型
%include <stdint.i>

typedef struct Bitwuzla Bitwuzla;

%include "bitwuzla.h"

效果验证 #

修改后重新生成代码：

1. Java层的调用会简化为直接传递数值，无需创建指针类型对象：

   bitwuzla.bitwuzla_set_option(bzla, BitwuzlaOption.BITWUZLA_OPT_INCREMENTAL, 1);
   

2. JNI wrapper会直接将Java的int参数转为C的uint32_t值，不再进行指针解引用操作，彻底避免段错误。

备选方案：手动编写类型映射 #

如果引入stdint.i后仍有问题，可以手动为uint32_t添加类型映射，强制SWIG按值类型处理：

%module bitwuzla
%{
#include "bitwuzla.h"
%}

// 手动映射uint32_t为Java的int类型（值传递）
%typemap(jni) uint32_t "jint"
%typemap(jtype) uint32_t "int"
%typemap(jstype) uint32_t "int"
%typemap(in) uint32_t {
  $1 = (uint32_t)$input;
}

typedef struct Bitwuzla Bitwuzla;

%include "bitwuzla.h"

内容的提问来源于stack exchange，提问作者HDSL