mirror of
https://github.com/wolfSSL/wolfssl.git
synced 2026-07-06 08:00:48 +02:00
Juliusz Sosinowicz
40d3befa61
Add Ada bindings for SHA-256, RSA sign/verify, and AES-CBC from wolfCrypt. Use XMALLOC/XFREE for dynamic allocation and add GNATprove ownership annotations to enable static leak detection. Refactor the Ada wrapper into a base package (wolfssl.ads) and a child package (wolfssl-full_runtime) to separate code that depends on Interfaces.C.Strings and GNAT.Sockets from zero-footprint-compatible code. Add standalone examples for SHA-256 hashing, RSA signature verification, and AES encryption under wrapper/Ada/examples/. Add AUnit test suites for SHA-256, RSA, and AES bindings under wrapper/Ada/tests/ with Valgrind suppressions and Alire integration. Move TLS client/server examples into wrapper/Ada/examples/src/ and update build files (default.gpr, examples.gpr, include.am) accordingly. Update CI (ada.yml) to build default.gpr, run AUnit tests, run the client-server examples, and run GNATprove. Co-authored-by: Joakim Strandberg <joakim@mequinox.se>
23 lines
665 B
Ada
23 lines
665 B
Ada
with AUnit.Test_Suites;
|
|
|
|
package RSA_Verify_Bindings_Tests is
|
|
|
|
-- Tests derived from `rsa_verify_main.adb` example.
|
|
--
|
|
-- Intended coverage (bindings exercised):
|
|
-- - Create_RNG
|
|
-- - Create_RSA
|
|
-- - Rsa_Set_RNG
|
|
-- - Rsa_Private_Key_Decode
|
|
-- - Rsa_Public_Key_Decode
|
|
-- - Rsa_SSL_Sign
|
|
-- - Rsa_SSL_Verify
|
|
-- - RSA_Public_Encrypt
|
|
-- - RSA_Private_Decrypt
|
|
--
|
|
-- The implementation will use the exact embedded DER keys and test vectors
|
|
-- from the example to avoid assumptions about external files.
|
|
|
|
function Suite return AUnit.Test_Suites.Access_Test_Suite;
|
|
|
|
end RSA_Verify_Bindings_Tests; |