WolfSSL
/
wolfssl
mirror of https://github.com/wolfSSL/wolfssl.git
1
0
Fork 0
Code Issues Releases Wiki Activity
24,991 Commits
27 Branches
168 Tags
358 MiB
Commit Graph

42 Commits (29482a3e4d17649c0b66e7c081d2ae05df6979b8)

Author SHA1 Message Date
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