A debugger backend and LUA wrapper for PIN