jf_glM2sZ6i的个人主页_电子工程师 - 电子技术论坛

jf_glM2sZ6i

经验：积分：0

查看完整档案 >>

+关注发私信

他的动态

发布了文章 2023-2-2 14:23

如何使用程序分析技术缓解漏洞修复的过拟合问题

高效快速地修复软件漏洞是增强软件安全性的关键。然而，据统计，一个漏洞从发现到修复平均需要 60 天，这会让软件系统长期暴露在风险中。...

0

690次阅读

0条评论
发布了文章 2023-2-2 09:26

并发程序验证中的约束求解问题

众所周知，(串行) 程序验证的复杂度极高。并发程序在大大提高软件执行效率的同时，也会显著增加程序执行的不确定性，使得并发程序验证的复杂度更高。有趣的是，并发程序中内存访问的执行顺序可以利用偏序关系进行建模。沿着这个思路，我们在基于 SMT ...

0

次阅读

条评论
发布了文章 2023-2-2 09:25

基于SMT的并发程序验证中约束求解问题

本质上讲，要验证一个程序的正确性，需要验证程序中所有执行都正确。对并发程序来说，由于线程之间的交织，不同线程中程序指令的执行顺序有很多种情况，导致并发程序的执行空间远大于同等规模下串行程序的执行空间。因此，并发程序验证的复杂度远高于串行程序...

0

2147次阅读

0条评论
发布了文章 2022-12-30 14:29

探讨一下基于符号抽象的程序分析

抽象解释是静态分析的核心理论，其关键想法是对程序的可达状态做一个上近似。...

0

779次阅读

0条评论
发布了文章 2022-12-23 09:16

基于智能状态和源代码插桩的C程序内存安全性动态分析

C 程序的内存错误可能导致程序崩溃和安全缺陷，因此使用动态分析工具在运行时自动发现内存错误是工业界面临的一个痛点，然而传统的内存安全性动态分析工具具有三个缺点：低有效性、优化敏感和平台依赖。...

0

1486次阅读

0条评论
发布了文章 2022-11-14 14:24

类型检查：时常被忽略的编译器组件

大家好，我是朱子润，很高兴为大家带来本次有关类型检查与推导的分享。...

0

870次阅读

0条评论

ta 的专栏

关注

粉丝

搜索历史

如何使用程序分析技术缓解漏洞修复的过拟合问题

并发程序验证中的约束求解问题

基于SMT的并发程序验证中约束求解问题

探讨一下基于符号抽象的程序分析

基于智能状态和源代码插桩的C程序内存安全性动态分析

类型检查：时常被忽略的编译器组件

站长推荐 /6