kedr_manual

KEDR 0.5 Reference Manual

Authors: Eugene Shatokhin, Andrey Tsyvarev

KEDR Framework version 0.5 (May 12, 2014)

Copyright © 2012-2014 KEDR development team

Copyright © 2010-2012 Institute for System Programming of the Russian Academy of Sciences (ISPRAS)

Table of Contents

Introduction

Overview

General

Types of Analysis KEDR Supports

System Requirements

Common Use Case

Key Technologies KEDR Relies Upon

Limitations

Reporting Bugs and Asking Questions

Getting Started

Installation

Analyzing the Sample Module

Detecting Memory Leaks

Fault Simulation

Call Monitoring (Call Tracing)

Doing It All at Once

Using KEDR

Controlling KEDR

Capturing the Trace

How KEDR Works

Call Monitoring (Call Tracing)

Fault Simulation

Detecting Memory Leaks

Analyzing the Call Location Information

Customizing and Extending KEDR

Using Code Generator to Create Custom Modules

Writing Custom Payloads for Call Monitoring

trace.happensBefore Parameter for Call Monitoring

Writing Custom Payloads for Fault Simulation

Writing Custom Scenarios for Fault Simulation

Implementing Custom Types of Analysis

KEDR Reference

API for Payload Modules

Creating Trampolines

Standard Payloads for Call Monitoring

Standard Fault Simulation Payloads

Standard Fault Simulation Scenarios

API for Fault Simulation

Glossary