-
南大《软件分析》8.0 Pointer Analysis
课程环境：https://tai-e.pascal-lab.net/lectures.html 课程视频：https://www.bilibili.com/video/BV1b7411K7P4 南大《软件分析》8.0 Pointer Analys... -
南大《软件分析》6.0 Data Flow Analysis - Foundations II
课程环境：https://tai-e.pascal-lab.net/lectures.html 课程视频：https://www.bilibili.com/video/BV1b7411K7P4 南大《软件分析》6.0 Data Flow Anal... -
看论文 Program Environment Fuzzing
论文链接：https://arxiv.org/pdf/2404.13951 代码链接：https://github.com/GJDuck/EnvFuzz 看论文 Program Environment Fuzzing1 INTRODUCTION原... -
南大《软件分析》5.0 Data Flow Analysis - Foundations I
课程环境：https://tai-e.pascal-lab.net/lectures.html 课程视频：https://www.bilibili.com/video/BV1b7411K7P4 南大《软件分析》5.0 Data Flow Anal... -
南大《软件分析》4.0 Data Flow Analysis
课程环境：https://tai-e.pascal-lab.net/lectures.html 课程视频：https://www.bilibili.com/video/BV1b7411K7P4 南大《软件分析》4.0 Data Flow Anal... -
南大《软件分析》3.0 Data Flow Analysis
课程环境：https://tai-e.pascal-lab.net/lectures.html 课程视频：https://www.bilibili.com/video/BV1b7411K7P4 南大《软件分析》3.0 Data Flow Anal... -
南大《软件分析》2.0 IR
课程环境：https://tai-e.pascal-lab.net/lectures.html 课程视频：https://www.bilibili.com/video/BV1b7411K7P4 南大《软件分析》2.0 IRIR 即 Interme... -
南大《软件分析》1.0 Introduction
课程环境：https://tai-e.pascal-lab.net/lectures.html 课程视频：https://www.bilibili.com/video/BV1b7411K7P4 南大《软件分析》1.0 Introduction第一... -
blockchain solidity基础
在线智能合约环境：https://remix.ethereum.org/ Referencehttps://binschool.app/ 基本结构使用solidity编写的简单的智能合约 12345678910// SPDX-License-Id... -
LLVM ebpf 汇编学习
Reference https://arthurchiao.art/blog/ebpf-assembly-with-llvm-zh/ LLVM eBPF 汇编编程学习介绍学习基于 LLVM eBPF 汇编开发 BPF 程序，之所以不用C，而用汇编的...