openssl3.2 - 测试程序的学习 - test\acvp_test.c

2024-01-28 16:36

本文主要是介绍openssl3.2 - 测试程序的学习 - test\acvp_test.c,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

文章目录

    • openssl3.2 - 测试程序的学习 - test\acvp_test.c
    • 概述
    • 笔记
    • 要单步学习的测试函数
    • 备注
    • END

openssl3.2 - 测试程序的学习 - test\acvp_test.c

概述

openssl3.2 - 测试程序的学习

将test*.c 收集起来后, 就不准备看makefile和make test的日志参考了. 按照收集的.c, 按照字母序拿来做实验就行.

直接将前面搭建的工程 test\sanitytest.c作为模板, 将acvp_test.c加进去, 将冲突的文件拿掉, 编译一下就过了.

openssl的工程是一个框架, 有main实现, 在具体的测试程序中, 只要实现3个函数就可以了.

// 每个测试.c都要实现的函数列表
const OPTIONS *test_get_options(void){};
int setup_tests(void) {};
void cleanup_tests(void) {};

笔记

在这里插入图片描述
只要搭好一个测试工程, 另外一个测试工程, 就将测试实现部分换掉, 公共部分不用动.
这个工程, 在上一个工程上搭建, 只需要将这个测试相关的acvp_test.c, acvp_test.inc换上, 编译即可.
公共部分如果有冲突的公共实现(test_get_options(), setup_tests(), cleanup_tests()), 说明工程中包含其他的测试实现, 将无关的测试实现删掉就行.

要单步学习的测试函数

int setup_tests(void)
{char *config_file = NULL;OPTION_CHOICE o;while ((o = opt_next()) != OPT_EOF) {switch (o) {case OPT_CONFIG_FILE:config_file = opt_arg();break;case OPT_TEST_CASES:break;default:case OPT_ERR:return 0;}}if (!test_get_libctx(&libctx, &prov_null, config_file, NULL, NULL))return 0;OSSL_SELF_TEST_set_callback(libctx, self_test_events, &self_test_args);ADD_TEST(aes_cfb1_bits_test);ADD_ALL_TESTS(cipher_enc_dec_test, OSSL_NELEM(cipher_enc_data));ADD_ALL_TESTS(aes_ccm_enc_dec_test, OSSL_NELEM(aes_ccm_enc_data));ADD_ALL_TESTS(aes_gcm_enc_dec_test, OSSL_NELEM(aes_gcm_enc_data));

在setup_tests()中, 官方会用ADD_TEST(), ADD_ALL_TESTS()添加测试函数.
在这些测试函数(e.g. aes_cfb1_bits_test(), aes_ccm_enc_dec_test())入口下断点, 然后将程序跑起来, 一个函数过一遍就可以了.

这些函数因为是测试专用, 用了一些预留的测试数据(在acvp_test.inc中定义), 只能学到一些流程性的东西.

static int aes_ccm_enc_dec_test(int id)
{const struct cipher_ccm_st *tst = &aes_ccm_enc_data[id]; // 预留数据/* The tag is on the end of the cipher text */const size_t tag_len = tst->ct_len - tst->pt_len;const size_t ct_len = tst->ct_len - tag_len;const unsigned char *tag = tst->ct + ct_len;const int enc = 1;const int pass = 1;if (ct_len < 1)return 0;return aes_ccm_enc_dec(tst->alg, tst->pt, tst->pt_len,tst->key, tst->key_len,tst->iv, tst->iv_len, tst->aad, tst->aad_len,tst->ct, ct_len, tag, tag_len, enc, pass)&& aes_ccm_enc_dec(tst->alg, tst->ct, ct_len,tst->key, tst->key_len,tst->iv, tst->iv_len, tst->aad, tst->aad_len,tst->pt, tst->pt_len, tag, tag_len, !enc, pass)/* test that it fails if the tag is incorrect */&& aes_ccm_enc_dec(tst->alg, tst->ct, ct_len,tst->key, tst->key_len,tst->iv, tst->iv_len, tst->aad, tst->aad_len,tst->pt, tst->pt_len,tag - 1, tag_len, !enc, !pass);
}
static int aes_ccm_enc_dec(const char *alg,const unsigned char *pt, size_t pt_len,const unsigned char *key, size_t key_len,const unsigned char *iv, size_t iv_len,const unsigned char *aad, size_t aad_len,const unsigned char *ct, size_t ct_len,const unsigned char *tag, size_t tag_len,int enc, int pass)
{int ret = 0;EVP_CIPHER_CTX *ctx;EVP_CIPHER *cipher = NULL;int out_len, len;unsigned char out[1024];TEST_note("%s : %s : expected to %s", alg, enc ? "encrypt" : "decrypt",pass ? "pass" : "fail");if (!TEST_ptr(ctx = EVP_CIPHER_CTX_new())|| !TEST_ptr(cipher = EVP_CIPHER_fetch(libctx, alg, ""))|| !TEST_true(EVP_CipherInit_ex(ctx, cipher, NULL, NULL, NULL, enc))|| !TEST_int_gt(EVP_CIPHER_CTX_ctrl(ctx, EVP_CTRL_AEAD_SET_IVLEN, iv_len,NULL), 0)|| !TEST_int_gt(EVP_CIPHER_CTX_ctrl(ctx, EVP_CTRL_AEAD_SET_TAG, tag_len,enc ? NULL : (void *)tag), 0)|| !TEST_true(EVP_CipherInit_ex(ctx, NULL, NULL, key, iv, enc))|| !TEST_true(EVP_CIPHER_CTX_set_padding(ctx, 0))|| !TEST_true(EVP_CipherUpdate(ctx, NULL, &len, NULL, pt_len))|| !TEST_true(EVP_CipherUpdate(ctx, NULL, &len, aad, aad_len))|| !TEST_int_eq(EVP_CipherUpdate(ctx, out, &len, pt, pt_len), pass))goto err;if (!pass) {ret = 1;goto err;}if (!TEST_true(EVP_CipherFinal_ex(ctx, out + len, &out_len)))goto err;if (enc) {out_len += len;if (!TEST_int_gt(EVP_CIPHER_CTX_ctrl(ctx, EVP_CTRL_AEAD_GET_TAG,tag_len, out + out_len), 0)|| !TEST_mem_eq(out, out_len, ct, ct_len)|| !TEST_mem_eq(out + out_len, tag_len, tag, tag_len))goto err;} else {if (!TEST_mem_eq(out, out_len + len, ct, ct_len))goto err;}ret = 1;
err:EVP_CIPHER_free(cipher);EVP_CIPHER_CTX_free(ctx);return ret;
}

感觉测试程序对于openssl库的使用者的唯一用处, 就是看一个操作, 是啥流程, 用到了哪些openssl API , API的调用顺序等.
真正要干和测试程序一样的任务时, 拿这些API去openssl.exe工程中去搜索, 大致可以找到干活的代码实现.
然后就可以琢磨一下(通过回溯API调用关系), 给openssl命令行什么参数, 可以进入到干活的实现中, 这样就知道具体编程细节了.
openssl命令行什么活都能干. 找到对应命令行参数后, 就可以迁移代码到自己工程了.

备注

在本地再搭建10个测试工程, 如果不同测试工程的搭建步骤没大区别, 就直接看test*.c的实现了. 那就不需要继续搭建测试工程来单步了, 意义不大.

因为看这些测试程序, 主要是看一些流程性的东西.

END

这篇关于openssl3.2 - 测试程序的学习 - test\acvp_test.c的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/654182

相关文章

HarmonyOS学习(七)——UI(五)常用布局总结

自适应布局 1.1、线性布局(LinearLayout) 通过线性容器Row和Column实现线性布局。Column容器内的子组件按照垂直方向排列,Row组件中的子组件按照水平方向排列。 属性说明space通过space参数设置主轴上子组件的间距,达到各子组件在排列上的等间距效果alignItems设置子组件在交叉轴上的对齐方式,且在各类尺寸屏幕上表现一致,其中交叉轴为垂直时,取值为Vert

Ilya-AI分享的他在OpenAI学习到的15个提示工程技巧

Ilya(不是本人,claude AI)在社交媒体上分享了他在OpenAI学习到的15个Prompt撰写技巧。 以下是详细的内容: 提示精确化:在编写提示时,力求表达清晰准确。清楚地阐述任务需求和概念定义至关重要。例:不用"分析文本",而用"判断这段话的情感倾向:积极、消极还是中性"。 快速迭代:善于快速连续调整提示。熟练的提示工程师能够灵活地进行多轮优化。例:从"总结文章"到"用

【前端学习】AntV G6-08 深入图形与图形分组、自定义节点、节点动画(下)

【课程链接】 AntV G6:深入图形与图形分组、自定义节点、节点动画(下)_哔哩哔哩_bilibili 本章十吾老师讲解了一个复杂的自定义节点中,应该怎样去计算和绘制图形,如何给一个图形制作不间断的动画,以及在鼠标事件之后产生动画。(有点难,需要好好理解) <!DOCTYPE html><html><head><meta charset="UTF-8"><title>06

学习hash总结

2014/1/29/   最近刚开始学hash,名字很陌生,但是hash的思想却很熟悉,以前早就做过此类的题,但是不知道这就是hash思想而已,说白了hash就是一个映射,往往灵活利用数组的下标来实现算法,hash的作用:1、判重;2、统计次数;

零基础学习Redis(10) -- zset类型命令使用

zset是有序集合,内部除了存储元素外,还会存储一个score,存储在zset中的元素会按照score的大小升序排列,不同元素的score可以重复,score相同的元素会按照元素的字典序排列。 1. zset常用命令 1.1 zadd  zadd key [NX | XX] [GT | LT]   [CH] [INCR] score member [score member ...]

【机器学习】高斯过程的基本概念和应用领域以及在python中的实例

引言 高斯过程(Gaussian Process,简称GP)是一种概率模型,用于描述一组随机变量的联合概率分布,其中任何一个有限维度的子集都具有高斯分布 文章目录 引言一、高斯过程1.1 基本定义1.1.1 随机过程1.1.2 高斯分布 1.2 高斯过程的特性1.2.1 联合高斯性1.2.2 均值函数1.2.3 协方差函数(或核函数) 1.3 核函数1.4 高斯过程回归(Gauss

【学习笔记】 陈强-机器学习-Python-Ch15 人工神经网络(1)sklearn

系列文章目录 监督学习:参数方法 【学习笔记】 陈强-机器学习-Python-Ch4 线性回归 【学习笔记】 陈强-机器学习-Python-Ch5 逻辑回归 【课后题练习】 陈强-机器学习-Python-Ch5 逻辑回归(SAheart.csv) 【学习笔记】 陈强-机器学习-Python-Ch6 多项逻辑回归 【学习笔记 及 课后题练习】 陈强-机器学习-Python-Ch7 判别分析 【学

系统架构师考试学习笔记第三篇——架构设计高级知识(20)通信系统架构设计理论与实践

本章知识考点:         第20课时主要学习通信系统架构设计的理论和工作中的实践。根据新版考试大纲,本课时知识点会涉及案例分析题(25分),而在历年考试中,案例题对该部分内容的考查并不多,虽在综合知识选择题目中经常考查,但分值也不高。本课时内容侧重于对知识点的记忆和理解,按照以往的出题规律,通信系统架构设计基础知识点多来源于教材内的基础网络设备、网络架构和教材外最新时事热点技术。本课时知识

线性代数|机器学习-P36在图中找聚类

文章目录 1. 常见图结构2. 谱聚类 感觉后面几节课的内容跨越太大,需要补充太多的知识点,教授讲得内容跨越较大,一般一节课的内容是书本上的一章节内容,所以看视频比较吃力,需要先预习课本内容后才能够很好的理解教授讲解的知识点。 1. 常见图结构 假设我们有如下图结构: Adjacency Matrix:行和列表示的是节点的位置,A[i,j]表示的第 i 个节点和第 j 个

Node.js学习记录(二)

目录 一、express 1、初识express 2、安装express 3、创建并启动web服务器 4、监听 GET&POST 请求、响应内容给客户端 5、获取URL中携带的查询参数 6、获取URL中动态参数 7、静态资源托管 二、工具nodemon 三、express路由 1、express中路由 2、路由的匹配 3、路由模块化 4、路由模块添加前缀 四、中间件