Posts

• Nov 4, 2026

  Concolic Execution Does Not Have to Be Slow

• Sep 1, 2026

  Directed Fuzzing Is Path Finding in Latent Space

• May 3, 2022

  JIGSAW: Fuzzing Path Constraints

• Mar 8, 2021

  Path Constraints collected by Kirenenko

• Nov 18, 2020

  Kirenenko: Dynamic Symbolic Execution as Taint Analysis

subscribe via RSS