mirror of
https://github.com/wolfSSL/wolfssl.git
synced 2026-07-06 01:20:50 +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>
74 lines
2.0 KiB
YAML
74 lines
2.0 KiB
YAML
name: WolfSSL Ada Build Tests
|
|
|
|
on:
|
|
push:
|
|
branches: [ 'master', 'main', 'release/**' ]
|
|
pull_request:
|
|
branches: [ '*' ]
|
|
|
|
jobs:
|
|
build:
|
|
|
|
if: github.repository_owner == 'wolfssl'
|
|
runs-on: ubuntu-latest
|
|
|
|
steps:
|
|
- uses: actions/checkout@master
|
|
|
|
- name: Install alire
|
|
uses: alire-project/setup-alire@v5
|
|
|
|
- name: Install wolfssl Ada
|
|
working-directory: ./wrapper/Ada
|
|
run: alr install
|
|
|
|
- name: Build default.gpr
|
|
working-directory: ./wrapper/Ada
|
|
run: alr exec -- gprbuild default.gpr -j$(nproc)
|
|
|
|
- name: Run Ada wrapper tests
|
|
working-directory: ./wrapper/Ada/tests
|
|
run: alr run
|
|
|
|
- name: Run Ada examples
|
|
id: examples
|
|
working-directory: ./wrapper/Ada/examples
|
|
run: |
|
|
alr build
|
|
|
|
echo "Running sha256_main example..."
|
|
alr run sha256_main
|
|
|
|
echo "Running aes_verify_main example..."
|
|
alr run aes_verify_main
|
|
|
|
echo "Running rsa_verify_main example..."
|
|
alr run rsa_verify_main
|
|
|
|
echo "Running TLS server/client example..."
|
|
alr run tls_server_main &> server.log &
|
|
SERVER_PID=$!
|
|
sleep 1
|
|
echo "test message" | alr run tls_client_main --args=127.0.0.1
|
|
kill $SERVER_PID || true
|
|
|
|
- name: show errors
|
|
if: ${{ failure() && steps.examples.outcome == 'failure' }}
|
|
run: cat ./wrapper/Ada/examples/server.log
|
|
|
|
- name: Run Ada wrapper tests (valgrind)
|
|
working-directory: ./wrapper/Ada/tests
|
|
run: |
|
|
sudo apt-get update
|
|
sudo apt-get install -y valgrind
|
|
valgrind --leak-check=full --error-exitcode=1 \
|
|
--suppressions=valgrind.supp ./bin/tests
|
|
|
|
- name: Run gnatprove on wolfssl
|
|
working-directory: ./wrapper/Ada
|
|
run: alr gnatprove --level=4 -P wolfssl.gpr -j 0 --warnings=error --checks-as-errors --proof-warnings -U
|
|
|
|
- name: Run gnatprove on examples
|
|
working-directory: ./wrapper/Ada/examples
|
|
run: alr gnatprove --level=4 -P examples.gpr -j 0 --warnings=error --checks-as-errors --proof-warnings -U
|