Another framework to check out is Vdb/Vivisect http://visi.kenshoto.com/viki/MainPageVdb and Vivisect
- Vdb - Python based debugger and programatic debugging API
- VdbTargetVMWare32 - Kernel debugging using the vmware hypervisor
- VdbOnAndroid - Using vdb to debug android processes
- Vivisect - Python based static analysis and emulation framework