Note of Kairux

This is my simple note of paper "Kairux" by Yongle Zhang et al. at SOSP 2019.
Read More

Note of BLAST

This is the note of paper "BLAST" by Dirk Beyer et al. at STTT 2007.
Read More

State Space Exploration

This is my note of chapter 3 "State Space Exploration" in book "String Analysis for Software Verification and Security".
Read More