Mikail Khan
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...