Capturing memory corruptions with symbolic execution - Introduction to KLEE (part 3)

46 views

AdaLogics

2 months ago

Capturing memory corruptions with symbolic execution - Introduction to KLEE (part 3)

Capturing memory corruptions with symbolic execution - Introduction to KLEE (part 3)