自定义博客皮肤VIP专享

*博客头图:

格式为PNG、JPG,宽度*高度大于1920*100像素,不超过2MB,主视觉建议放在右侧,请参照线上博客头图

请上传大于1920*100像素的图片!

博客底图:

图片格式为PNG、JPG,不超过1MB,可上下左右平铺至整个背景

栏目图:

图片格式为PNG、JPG,图片宽度*高度为300*38像素,不超过0.5MB

主标题颜色:

RGB颜色,例如:#AFAFAF

Hover:

RGB颜色,例如:#AFAFAF

副标题颜色:

RGB颜色,例如:#AFAFAF

自定义博客皮肤

-+
  • 博客(5)
  • 收藏
  • 关注

原创 【刷题记录】LeetCode 2022.3.19刷题记录

LeetCode 2022.3.19刷题记录448、449、450、560

2022-03-19 18:20:28 775

原创 【项目学习】背景知识

【项目学习】背景知识【基础知识】本文主要对自动生成单元测试工具的基础知识进行介绍学习,主要从三大技术模块方向进行介绍。首先假设现在要求我们自动生成单元测试用例,我们该从哪些方面入手?要求的关键词在于“自动”“单元测试”。先不管自动,我们怎么手动写一个单元测试用例呢?我们得给出输入,或者说得给出代码调用我们测试的函数块。但是我们也知道函数之间是相联的,不是彼此独立的,所以单独测试一个函数块必然会涉及到外部函数或者外部变量的调用,那么这时候我们就要通过插桩替换掉本来的外部调用,这也就是我们的第一部分内容—

2021-07-14 18:04:02 261 2

原创 【项目学习】background了解

目录1.单元测试2.mock使用3.符号执行(symbolic execution)4.具体执行(concrete execution)5.中间表达形式 IR(intermediate representation)6.Run Klee、阅读Klee的tutorials、LLVM/CLANG/KLEE区别1.单元测试一个很详细的单元测试介绍简单粗暴的百度百科简单来说,单元测试可以看作脱离出来只针对某个单元进行测试。单元可以是函数、类或者其他块。如果单元内部进...

2021-04-29 18:44:59 137

原创 【项目学习】运行KLEE的tutorial one

首先进入目录:cd klee_src/examples/get_sign可以注意下这个例子中是如何make symbolic的:int main() { int a; klee_make_symbolic(&a, sizeof(a), "a"); return get_sign(a);}然后编译到LLVM的字节码:clang -I ../../include -emit-llvm -c -g -O0 -Xclang -disable-O0-optnone...

2021-04-29 18:31:16 255

原创 【项目准备】安装KLEE

目录一、Windows10安装WSL二、WSL安装centOS三、centOS下跑KLEE一、Windows10安装WSL 参考在 Windows 10 上安装 WSL | Microsoft Docs 照着做就行。二、WSL安装centOS windows 10 WSL 安装 Centos - 两仪清风 - 博客园 (cnblogs.com) 下载centos和进行LxRunOffline的时候要换...

2021-04-29 11:40:46 581 1

空空如也

空空如也

TA创建的收藏夹 TA关注的收藏夹

TA关注的人

提示
确定要删除当前文章?
取消 删除