自定义博客皮肤VIP专享

*博客头图:

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

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

博客底图:

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

栏目图:

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

主标题颜色:

RGB颜色,例如:#AFAFAF

Hover:

RGB颜色,例如:#AFAFAF

副标题颜色:

RGB颜色,例如:#AFAFAF

自定义博客皮肤

-+
  • 博客(1)
  • 资源 (2)
  • 收藏
  • 关注

原创 Deepin Wine for Ubuntu的微信出现问题汇总

微信打开后有一个小黑框在屏幕中央无法消除:见Deepin-wine-ubuntu Issue72 暂时解决方案(重启后又要执行):只需要随便打开个人聊天,然后输入比如“开心”,然后会自动跳出表情包推荐(没跳出的话翻翻你的表情包名称随便找个)。再把字删掉,黑方块就没了。参考链接1 永久解决方案(尚未实测):参考链接2 微信有一个无法关闭的ChatContactMenu:解决方案:随便@一个人即可消...

2020-01-30 15:51:10 4492 1

利用 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关注的人

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