自定义博客皮肤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)
  • 资源 (2)
  • 收藏
  • 关注

原创 Latex中大括号内换行显示

$LaTeX$中括号内折行显示的方法

2020-02-23 21:01:56 8765

原创 Ubuntu 18.04 LTS安装搜狗输入法

Ubuntu 18.04 LTS安装搜狗输入法

2020-02-06 10:45:54 575

原创 Ubuntu 18.04实现Alt+Tab不跨工作区

一、问题描述Ubuntu 18.04在Gnome 3桌面环境下使用多个工作区时,若采用快捷键Alt+Tab切换应用会出现跨工作区切换的问题。二、解决方案打开终端并输入如下命令:gsettings set org.gnome.shell.app-switcher current-workspace-only true

2020-02-04 07:23:02 396

原创 Ubuntu18.04 LTS必备软件安装与必要配置(持续更新)

本文为Ubuntu18.04 LTS安装后必要的环境配置以及常用办公软件、开发工具的安装。

2020-02-02 09:10:52 2109

原创 Ubuntu 18.04 LTS安装NVIDIA显卡驱动

写在前面硬件说明安装过程写在后面

2020-02-01 10:28:02 3568 2

利用 clang-tidy 实现 GJB 中的相关代码的自动检测

实现了 GJB 4.1.1.6, GJB 4.1.2.7, GJB 4.2.1.10, GJB 4.6.1.15, GJB 4.6.2.1, GJB 4.7.2.1, GJB 4.9.1.1, GJB 4.14.1.1, GJB 4.14.1.2

2021-07-07

Phasar 实现漏洞:CWE-170 检测

实现的漏洞是 CWE-170,基于 Phasar 的 TaintAnalysis 实现(Eric Bodden, PLDI'18)

2021-07-07

动态符号执行引擎(使用 DFS 作为搜索策略)

实现了一个简单的动态符号执行框架

2021-07-07

MC_DC_Coverage_Calculating.zip

利用 LLVM Pass 实现对简单代码的 MC/DC 测试用例的覆盖率计算

2021-07-07

空空如也

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

TA关注的人

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