LLVM 中间语言参考

发表于 2023-12-22 分类于 learning-notes ， compiler-principle 本文字数： 720 阅读时长 ≈ 3 分钟

#概述

LLVM is a Static Single Assignment (SSA) based representation that provides type safety, low-level operations, flexibility, and the capability of representing ‘all’ high-level languages cleanly

jpf-symbc 踩坑记录

发表于 2023-12-20 分类于 software-test 本文字数： 890 阅读时长 ≈ 3 分钟

JPF

Analysis system for Java

自己动手写编译器

发表于 2023-12-19 分类于 learning-notes ， compiler-principle 本文字数： 196 阅读时长 ≈ 1 分钟

What I cannot create, I do not understand. – Richard Feynman

#目标

KLEE 符号执行

发表于 2023-12-19 分类于 software-test 本文字数： 817 阅读时长 ≈ 3 分钟

#基本使用

修改程序源码，在合适的地方插入符号值

模糊测试 Fuzzing test

发表于 2023-12-19 分类于 software-test 本文字数： 125 阅读时长 ≈ 1 分钟

#编译项目，插桩

#!/bin/sh
set -e

export CC=afl-clang-fast
export CXX=afl-clang-fast++

./configure --enable-shared=no --enable-static=yes
make -j 32

自签名 SSL 证书

发表于 2023-11-22 分类于 misc 本文字数： 213 阅读时长 ≈ 1 分钟

#成为 CA！

# Generate private key
openssl genrsa -des3 -out myCA.key 2048
# Generate root certificate
openssl req -x509 -new -nodes -key myCA.key -sha256 -days 825 -out myCA.pem \
    -subj "/C=CN/ST=Shanghai/L=Shanghai/O=/OU=/CN=My first CA"