Commit Graph

214 Commits

Author SHA1 Message Date
gasbytes c325de993d removed WOLFSSL_SNI_HOST_NAME_OUTER && minor fix (missing sniHostName got lost during editing) 2024-06-03 20:05:00 +02:00
gasbytes 6f567b58bc completed the examples 2024-06-02 00:01:51 +02:00
gasbytes 15ac366bf9 added missing wrappers for sni setup & frees 2024-06-01 17:46:17 +02:00
gasbytes 52f1caf699 minor changes to the prototypes and actual implementation 2024-05-30 16:44:34 +02:00
gasbytes 095609107d prototypes 2024-05-30 16:14:17 +02:00
gasbytes 23bfb01e54 environment setup, updated the README 2024-05-30 15:41:01 +02:00
Fernando Oleo Blanco ad25e9b063 [Ada] Clean Alire recipe 2024-05-15 22:33:29 +02:00
Daly Brown 707e60aa79 Address gnatprove issues in tls client 2024-04-08 19:40:06 -04:00
Fernando Oleo Blanco 8d49dce2cb [Ada] Fix crate name in Alire 2024-04-06 01:12:02 +02:00
Fernando Oleo Blanco afc1e96899 [Ada] Add initial Alire support, alpha version 2024-04-05 23:29:45 +02:00
Fernando Oleo Blanco 77cd3b837b [Ada] Explicitly add netdb.h support 2024-04-05 23:27:24 +02:00
Daly Brown 97e731f27b Address gnatprove warnings and errors 2024-04-05 12:09:11 -04:00
Daly Brown 42f7be20c8 Fix assertion that address length must be greater than zero 2024-04-04 16:19:44 -04:00
Daly Brown 63547d954a Fix formatting issues and remove unused variable 2024-04-04 16:06:19 -04:00
Daly Brown be72849d48 Expose DTLS in Ada wrapper and update examples 2024-04-04 15:52:14 -04:00
Fernando Oleo Blanco 79235a4698 [Ada] Initial library support 2024-03-06 20:20:55 +01:00
Joakim Strandberg 8794e3f2f6 Updated the Ada wrapper README.md file and removed mention of the c_tls_client_main.c and c_tls_server_main.c files. 2023-08-01 23:08:52 +02:00
Joakim Strandberg 0e74213692 Fix display of SPARK tool output in README 2023-08-01 22:45:07 +02:00
Joakim Strandberg 278f395542 Made sure the relative paths for finding the certificates is correct. 2023-07-31 23:48:44 +02:00
Joakim Strandberg 6893123edf Removed references to the c implementations of the client and server 2023-07-31 21:54:30 +02:00
Joakim Strandberg b6a11b8b01 Updated the README.md and updated client.gpr 2023-07-31 17:53:01 +02:00
Joakim Strandberg c76b0a0237 removed the C examples only keeping Ada code in the Ada wrapper example directory 2023-07-31 17:31:23 +02:00
Dimitri Papadopoulos 52f91e4ab9 Fix residual typos found by codespell 2023-07-28 09:29:28 +02:00
JacobBarthelmeh 3e63589664 Merge pull request #6605 from dgarske/ada
Ada Bindings for wolfSSL
2023-07-27 15:21:52 -06:00
Joakim Strandberg 58ac57861f Updated the README.md file and made sure that using default.gpr to build the Ada TLS server application does not try to build the Ada TCL client application that makes use of the secondary stack. 2023-07-17 19:50:05 +02:00
Joakim Strandberg 00b90adc97 Updated README.md file. Added description of subprograms in the specification file of the WolfSSL package. Made it possible to get error codes through the WolfSSL API. 2023-07-17 01:22:06 +02:00
Joakim Strandberg 71b28caa09 Added Initialize and Finalize functions to initialize and cleanup resources of the WolfSSL library. Removed definitions of exceptions. 2023-07-14 22:20:39 +02:00
Joakim Strandberg f49ffc0353 The implementations of the tls client and server applications can now be formally verified by the SPARK tools. 2023-07-14 20:30:34 +02:00
Joakim Strandberg 45d8a5b04c Ada version of TLS v1.3 client application implemented 2023-07-13 16:49:22 +02:00
David Garske d20a096ffa Ada Bindings for wolfSSL. Credit Joakim Dahlgren Strandberg <joakimds@kth.se> 2023-07-12 12:37:52 -07:00
Dimitri Papadopoulos 50752f5a2b Fix typos found by codespell 2023-07-04 07:21:27 +02:00
David Garske ea80e9e0ea Add documentation for the CSharp wrapper. 2023-01-16 11:13:25 -08:00
gojimmypi 91d2ff1fe9 no code change; CRLF line endings, trailing spaces 2023-01-13 16:29:19 -08:00
Jacob Barthelmeh 9dcc48c8f7 update copyright to 2023 2022-12-30 17:12:11 -07:00
Jacob Barthelmeh 8eaa85e412 update copyright year to 2022 2022-07-19 10:44:31 -06:00
David Garske a5225af1c7 Merge pull request #4973 from JacobBarthelmeh/CSharp
add example C# PSK client
2022-05-24 13:37:14 -07:00
Jacob Barthelmeh f19b426a3f fix for files included in make dist 2022-05-20 09:26:53 -06:00
JacobBarthelmeh e35c1e5a61 setup of default build config 2022-05-19 14:54:22 -06:00
JacobBarthelmeh 8de3765af9 clean up namespace and remove settings files 2022-05-19 14:28:23 -06:00
JacobBarthelmeh d8817266be trim down sln 2022-05-19 13:54:07 -06:00
JacobBarthelmeh 6dc47580ce fixing dependency for new project 2022-05-19 13:45:09 -06:00
JacobBarthelmeh 249afbbfc9 update output directory and add psk client example 2022-05-19 12:11:00 -06:00
Andrew Hutchings 7316a275ae Add EXTRA_DIST entry for include.am 2022-05-12 17:00:02 +01:00
Andrew Hutchings c3d4c3086e Add README to point to the new Python locations 2022-05-12 16:55:26 +01:00
Andrew Hutchings fd9e1e21ed Remove the Python wrappers from wolfSSL source
The wolfCrypt and wolfSSL Python wrappers are maintained in the
wolfCrypt-py and wolfSSL-py trees respectively. The duplicates in this
tree are stale. The content has been checked and any important changes
have been ported over to their respective trees.
2022-05-11 15:02:51 +01:00
Jacob Barthelmeh 4951646c91 touch up class name and function comments 2022-03-21 10:56:09 -06:00
Jacob Barthelmeh fb3d38c3e8 add example C# PSK client 2022-03-21 10:19:45 -06:00
Daniel Pouzzner abfc788389 script cleanup: use #!/bin/bash on all scripts that use "echo -e" (/bin/sh is sometimes a non-Bourne/non-POSIX shell, e.g. dash/ash, with no support for "echo -e"); fix whitespace. 2022-03-09 12:28:22 -06:00
Daniel Pouzzner c9a7393923 fixes for shell script errors detected by shellcheck --severity=error. 2022-03-08 12:51:48 -06:00
Daniel Pouzzner 8f121e7752 file modes: clear inappropriate executable bits. 2021-11-08 17:28:11 -06:00