Category Archives: virtual machine

Fun with C / ASM

Posted on April 30, 2011 by admin

Hacking around with C and ASM is fun! Here are two blobs of C code useful for future reference: Use function return to actually call another function via the stored IP: #include <stdio.h> register void ** base_pointer __asm(“%rbp”); register void … Continue reading →

Posted in C, hacking, virtual machine | 2 Comments

Pinocchio Parallel Debugging

Posted on April 1, 2010 by admin

In this post I will quickly go over a nice new demo-feature we implemented in Pinocchio: Parallel Debugging. The idea with Parallel Debugging is that you might have a small piece of code that fails (most often a test), but … Continue reading →

Posted in coroutines, debugging, modelling, Pinocchio, virtual machine | Comments Off