A Framework for Applied Dynamic Analysis in IO