tantan的博客

#概述

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

Analysis system for Java

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

#目标

#基本使用

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

#编译项目，插桩

1
2
3
4
5
6
7
8
9

#!/bin/sh
set -e

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

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

#成为 CA

1
2
3
4
5

# 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"

#What’s it

2013 年，Google 开源的，用于词向量计算的工具

#基本概念

随机试验

可以在相同的条件下重复进行，并且每次试验的结果不确定，但试验前可以明确试验的所有可能结果。

样本空间

随机试验$E$ 的所有可能结果组成的集合，记为$S$。

样本点

样本空间中的元素，记为$\omega$。

事件

样本空间$S$ 的子集称为随机事件，简称事件，通常用大写字母$A, B, C, ...$ 表示。

基本事件

只包含一个样本点的随机事件。

#访问 https://www.kernel.org/ 查看最新的内核版本，获取下载链接