jf_glM2sZ6i的专栏_电子工程师 - 电子技术论坛

jf_glM2sZ6i

经验：积分：0

查看完整档案 >>

+关注发私信

Python的C外部函数的静态类型推断
2023-7-14 17:42

静态类型推断是维护动态类型语言程序安全的重要手段之一。然而，另一种编程语言实现的外部函数往往不在宿主语言的类型推断范围内。...

0

783次阅读

0条评论
Collection Skeletons: 数据集合的声明式抽象
2023-3-7 11:30

使用这个 C++ 库，Franke 教授团队重写了 benchmarks，并在三个不同的硬件平台 (Intel Desktop、Intel Server、Arm Server) 上进行了实验。结果证明，部分 benchm...

0

440次阅读

0条评论
基于SMT的并发程序验证中约束求解问题
2023-2-2 09:25

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

0

2147次阅读

0条评论
探讨一下基于符号抽象的程序分析
2022-12-30 14:29

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

0

779次阅读

0条评论
基于智能状态和源代码插桩的C程序内存安全性动态分析
2022-12-23 09:16

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

0

1486次阅读

0条评论