Page Index - llmhyy/microbat GitHub Wiki

29 page(s) in this GitHub Wiki:

• Home
• Microbat Tutorial
• Agent
• Architecture of Microbat Instrumentator
• Compile Runtime Agent
• Concurrent Program Example
• Continuous Integration
• Debuggin On Belief Propagation
• Debugging with DebugPilot
• DebugPilot Basic Knowledge
• DebugPilot Debugging
• DebugPilot Overview
• DebugPilot UI
• Dev Notes
• Dynamic Slicing
• Features
• How Trace Are Generated and Stored
• Instrumentation
• Recording Traces with Neo4j
• Run Sequential and Concurrent Program
• Sequential Program Example
• Support More Options in Microbat
• Three Modes of Debugger
• Trace Agent Configuration
• Trace Debugging
• Trace Representation
• Trace Variables
• User Feedback
• Working with Neo4j