Mikail Khan

Home Blog Notes Socials

Notes


Notes about various concepts, mostly in Programming Languages or Functional Programming

Symbolic execution with SymCC - Don't interpret, compile!

2023-02-01

interpreters, symbolic-execution

Symbolic execution with SymCC - Don't interpret, compile!

This paper desc...

QSym - A Practical Concolic Execution Engine Tailored for Hybrid Fuzzing

2022-12-30

interpreters, symbolic-execution

[QSym - A Practical Concolic Execution Engine Tailored for Hybrid Fuzzing](https://www.usenix.org/system/files/conference/usenixsec...

DART - Directed Automated Random Testing

2022-12-25

interpreters, symbolic-execution

DART - Directed Automated Random Testing

This paper describe...

CUTE - A Concolic Unit Testing Engine for C

2022-12-24

interpreters, symbolic-execution

CUTE - A Concolic Unit Testing Engine for C

This paper desc...