ARMmbed/mbedtls
1
0
Fork 0
mirror of https://github.com/ARMmbed/mbedtls.git synced 2025-05-23 15:18:19 +08:00
Code Issues Releases Wiki Activity
14,507 Commits 172 Branches 268 Tags
Commit Graph

54 Commits

Author SHA1 Message Date
Gilles Peskine
f96ed6615c Fix bug in distribute_arguments for multi-argument macros 2019-01-29 16:08:46 +00:00
Gilles Peskine
cf9c18e696 Add option to keep the temporary C files 
Useful for debugging and for reviewing what test cases are generated.
 2019-01-29 16:08:45 +00:00
Gilles Peskine
a0a315c815 Add location information to input processing exceptions 
If parsing fails, report the input file name and line number.

If distribute_arguments fails, report for what name.
 2019-01-29 16:08:45 +00:00
Gilles Peskine
2482702d15 Test program for psa_constant_names 
Test psa_constant_names on many inputs. For each input, find out the
numerical value by compiling and running a C program, pass the
numerical value to psa_constant_names and compare the output with the
original input.

Gather inputs by parsing psa/crypto.h and
test_suite_psa_crypto_metadata.data. For macros that take an argument,
list some possible arguments using the parsed data.
 2019-01-29 16:07:45 +00:00