-
南大《软件分析》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，而用汇编的... -
Fuzzing with AFL workshop
环境搭建12345678# 拉镜像docker pull aflplusplus/aflplusplus:latest# 监听2222端口通过ssh连sudo docker run -it --privileged -e PASSMETHOD=env... -
看论文 Fuzz4All Universal Fuzzing with Large Language Models
Fuzz4All: Universal Fuzzing with Large Language Models论文链接：https://arxiv.org/pdf/2308.04748 开源代码：https://github.com/fuzz4all... -
LLVM 学习笔记
LLVM 学习笔记为了引入 llvm，这里我们先从编译器慢慢说起 1. 编译器设计简介传统静态编译器（如大多数 C 编译器）最流行的设计是三阶段设计，其主要组件是前端、优化器和后端。 前端解析源代码，检查错误，并构建特定于语言的抽象语法树 (AST)...