mgrojo
cdbad34284
Ada: include use of WolfSSL.Get_Error in the example
2025-08-29 09:57:04 -07:00
mgrojo
a0c8efdffe
Ada: fix wrapping of wolfSSL_ERR_error_string_n
...
Use unchecked conversion instead of type conversion to mimic C style
conversion from int to unsigned long, avoiding the Ada overflow check that is raised when a negative value is converted to an unsigned type.
2025-08-29 09:57:04 -07:00
JacobBarthelmeh
629c5b4cf6
updating license from GPLv2 to GPLv3
2025-07-10 16:11:36 -06:00
mgrojo
e6e64515c7
Ada: prepare inclusion of v5.8.0 in Alire index
2025-04-25 20:56:06 +02:00
JacobBarthelmeh
3ff4e5e303
Merge pull request #8606 from mgrojo/feature/alire-usability
...
Ada: preparation for Alire index and fixes detected by GNATprove
2025-04-04 11:07:29 -06:00
mgrojo
e6f09b8372
Ada: fixes for the No_Secondary_Stack restriction
...
- Align README.md and GPR files with the fact that the server no longer compiles with the No_Secondary_Stack restriction.
- Fix include.am to reference the new name for the adc file.
2025-03-31 23:27:31 +02:00
mgrojo
98eda78857
Ada: fix issues in tls_server.adb detected by gnatprove
...
Checked with:
```
gnatprove -Pdefault.gpr --level=4 -j12
```
2025-03-28 19:33:42 +01:00
mgrojo
bf5009b544
Ada: fix initialization issue in examples
...
Detected by
```
gnatprove -Pclient.gpr --level=4 -j12
```
2025-03-28 18:38:22 +01:00
mgrojo
db4ebfb77e
Allow use of the library with an Alire pin
...
- Allow enabling WOLFSSL_STATIC_PSK via an Alire configuration variable
- `gnat.adc` applies unconditionally when using the library through Alire, so it has been renamed and used only in the default project file.
- Clean-up of the Alire project file `wolfssl.gpr`.
2025-03-28 18:16:06 +01:00
JacobBarthelmeh
2c24291ed5
update copyright date
2025-01-21 09:55:03 -07:00
mgrojo
8122181e45
Ada binding: add support for the PSK server callbacks
...
Plus fix location of the certificate files in the examples.
Tested with both Ada examples:
```
obj/tls_server_main --psk
obj/tls_client_main 127.0.0.1 --psk
```
2025-01-09 00:11:01 +01:00
mgrojo
815f99d0c2
Ada binding: improve comments and arguments in the PSK case
...
- Add comments for the PSK value in the example.
- Add runtime argument for executing the PSK test.
- Warn user that their callback implementation can't be in the SPARK subset.
2025-01-07 23:12:14 +01:00
mgrojo
11a40a610e
Ada binding: add support for PSK client callback
...
Tested with:
`wolfSSL/wolfssl-examples/psk/server-psk.c`
after changing `DTLSv1_3_Client_Method` to `DTLSv1_2_Client_Method` to comply with the server example.
2025-01-04 20:03:04 +01:00
JacobBarthelmeh
70e41d1ed1
prepare for release 5.7.6
2024-12-31 08:27:53 -07:00
Andrew Hutchings
158d62591f
Fix broken verify on Ada wrapper
...
The Ada wrapper had an `&` operator for the verification mode. This
effectively caused the verification mode to equal `0`.
The operator has been switched to `or` now, in addition, a getter has
been added to the API. This allows for the test I've added to the server
code to verify that it is being set correctly.
`OPENSSL_ALL` flag added to Ada so that the verify mode getter function
is compiled in.
Fixes #7461
Thanks to @dalybrown for reporting it.
2024-12-06 12:44:15 +00:00
JacobBarthelmeh
dd2b191c36
update version listed in wolfssl-fips.rc and Ada wrapper
2024-10-24 14:19:17 -06:00
Irvise
2a96981dbe
Ada binding: correct Alire manifest and fix build
2024-09-04 09:42:24 +02:00
Daniel Pouzzner
4d837e74c4
Merge pull request #7303 from Irvise/master
...
[Ada] Initial library support
2024-08-31 00:26:29 -05:00
Fernando Oleo Blanco
5ea22effcc
Update documentation
2024-08-13 10:56:25 +02:00
David Garske
537827ebde
Add missing config.h on some .c files.
2024-08-12 09:29:07 -07:00
Fernando Oleo Blanco
bec3cd8b6f
Document Alire use
2024-08-11 18:36:54 +02:00
Fernando Oleo Blanco
ae7e7e716a
Update upstream
2024-08-10 13:56:14 +02:00
JacobBarthelmeh
31a6a2bf59
update copyright to 2024
2024-07-19 13:15:05 -06: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
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
