OpenSSL大数函数中BN_CTX的使用逻辑及版本兼容性问题咨询

问题背景 #

头文件<openssl/bn.h>中的BN_mod、BN_div、BN_mul等函数，会将BN_CTX *ctx作为最后一个参数传入。该结构体用于存储运算所需的临时BIGNUM变量，目的是避免重复调用子例程时频繁分配/释放内存，属于性能优化机制。

原本认为ctx是可选参数——比如单次调用除法操作时传NULL也能正常工作，但实际测试发现：OpenSSL 1.1.1版本中传NULL可以正常运行，而3.2.0版本中会直接触发段错误，尤其是访问BN_div的运算结果时崩溃。

BN_CTX 的核心逻辑与版本变化 #

本质：临时内存池 #

BN_CTX是OpenSSL为大整数运算设计的临时变量复用池，内部维护了一组预分配的BIGNUM结构。在多次连续的大整数运算（比如循环调用BN_div）中，复用这些临时变量可以避免反复调用BN_new()和BN_free()带来的内存开销与碎片问题。

从兼容到强制的版本演进 #

• OpenSSL 1.1.1及更早版本：部分函数会在传入NULL时，内部隐式创建临时BN_CTX并自动释放。这种行为是未公开的兼容逻辑，并非API设计的本意，只是为了兼容旧代码。
• OpenSSL 3.x及以后版本：官方彻底移除了这种隐式兼容逻辑，要求调用者必须传入合法的BN_CTX指针。原因包括：
  • 消除隐式内存分配带来的不确定性（比如异常路径下的内存泄漏风险）；
  • 明确调用者的内存管理责任，统一API规范；
  • 进一步优化性能，避免内部创建/销毁BN_CTX的额外开销。

正确使用方式 #

• 调用运算函数前，用BN_CTX_new()创建上下文，运算完成后用BN_CTX_free()释放；
• 同一个BN_CTX可以在多次运算中复用，比如循环内的连续大整数操作；
• 绝对不要传入NULL，即使旧版本能运行，新版本会直接因访问空指针触发段错误。

复现示例分析 #

你提供的测试代码中，若将BN_div(dv, rem, a, d, ctx)改为BN_div(dv, rem, a, d, NULL)，在OpenSSL 3.2.0中会出现以下问题：

1. BN_div内部会直接尝试访问NULL指针指向的BN_CTX结构体成员，触发段错误；
2. 即使未立刻崩溃，运算过程中临时变量未正确分配，导致dv或rem的内部结构不合法，后续访问时同样会触发内存错误。

只有传入通过BN_CTX_new()创建的合法上下文，才能保证运算正常执行。

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