Symbolic execution

2 posts · 2 sources

CloudflareBlog8 Apr

From bytecode to bytes- automated magic packet generation

Two SigmaBlog22 Jul

Scaling Up DPLL(T) String Solvers Using Context-Dependent Simplification