ssl/net/ssl_context.pony:13 declares use @TLS_method[Pointer[None]](), and :14 takes the result as method: Pointer[None]. TLS_method returns const SSL_METHOD *, and SSL_METHOD is opaque on every backend this repo supports.
A pointer to an opaque C struct should be Pointer[_Name] with a phantom primitive; Pointer[None] is for void * or a pointer only ever passed as null. This pointer is neither, and it is the only declaration in the tree that does this. Two of exactly the same shape get it right: @EVP_sha256[Pointer[_EVPMD]]() at ssl/crypto/digest.pony:32 for const EVP_MD *, and @BIO_s_mem[Pointer[_BIOMethod]]() at ssl/net/ssl.pony:11 for const BIO_METHOD *.
Benign today, since nothing takes addressof an SSL_METHOD. It is the same class of defect as #78 and #80, and neither of those covered it.
ssl/net/ssl_context.pony:13declaresuse @TLS_method[Pointer[None]](), and:14takes the result asmethod: Pointer[None].TLS_methodreturnsconst SSL_METHOD *, andSSL_METHODis opaque on every backend this repo supports.A pointer to an opaque C struct should be
Pointer[_Name]with a phantom primitive;Pointer[None]is forvoid *or a pointer only ever passed as null. This pointer is neither, and it is the only declaration in the tree that does this. Two of exactly the same shape get it right:@EVP_sha256[Pointer[_EVPMD]]()atssl/crypto/digest.pony:32forconst EVP_MD *, and@BIO_s_mem[Pointer[_BIOMethod]]()atssl/net/ssl.pony:11forconst BIO_METHOD *.Benign today, since nothing takes
addressofanSSL_METHOD. It is the same class of defect as #78 and #80, and neither of those covered it.