2022

2022-07-10

摄影随想-大画幅

• photography

2022-05-27

Detection of Software Vulnerabilities: Dynamic Analysis

• sec

• Security
• Software Security

2022-05-05

Detection of Software Vulnerabilities: Static Analysis

• sec

• Security
• Software Security

2022-05-02

Fuzzing A Software Verifier - POP

• sec

• Security
• ESBMC

2022-04-22

ESBMC Symbol Table

• sec

• Security
• ESBMC

2022-04-22

GOTO Language Syntax Grammar

• sec

• Security
• ESBMC

2022-04-20

ESBMC-An Efficient SMT-based Software Model Checker

• sec

• Security
• ESBMC

2022-04-08

软件安全备忘录：CERT C Coding Standard笔记

• sec

• Security
• Software Security

2022-04-01

软件安全备忘录：Mem Management

• sec

• Security
• Software Security

2022-03-30

Bounded Model Checking

• sec

• Security
• ESBMC