diff --git a/post/optimal_debugging.html b/post/optimal_debugging.html
index 5a2534f..5a7614d 100644
--- a/post/optimal_debugging.html
+++ b/post/optimal_debugging.html
@@ -214,10 +214,10 @@
Towards an optimal debugging framework library.
Resource leaks (Freestanding/Kernel)
sanitizer
- Deadlocks
- sanitizer?
+ Freezes (deadlocks, softlocks, signal safety, unbounded loops etc)
+ sanitizer, validator
Performance
- tracer
+ simulator, tracer
Logic problems: unclear which logic(s) necessary to apply when ignoring hardware,
memory problems, UB and other above problems