• Linux (general)
• Using Symbolic Debugging