This is my simple note of CPAchecker source code analysis
Note of Regular Language
This is my simple note of Regular Language.
Note of Kairux
This is my simple note of paper "Kairux" by Yongle Zhang et al. at SOSP 2019.
Symbolic Automata-based String Analysis
This is my note of chapter 4 "Automata Based String Analysis" in book "String Analysis for Software Verification and Security".
Note of Configurable Program Analysis
This is the note of Configurable Program Analysis (CPA).
Note of BLAST
This is the note of paper "BLAST" by Dirk Beyer et al. at STTT 2007.
Concepts of Program Analysis
This is my understanding of several concepts of program analysis.
State Space Exploration
This is my note of chapter 3 "State Space Exploration" in book "String Analysis for Software Verification and Security".
Introduction to Model Checking
This is my note of basic concepts of model checking.
String Analysis in JayHorn
This is my note of paper "Towards String Support in JayHorn" at SV-COMP'21.