GitHub · Where software is built

Labels Milestones New issue

KEDR 0.4.1 could not be built in Kernel 3.11.10 x86_64 (Fedora 20)

Priority-Medium

#23

· GoogleCodeExporter opened

on Mar 26, 2015

Templates for Fault Simulation payloads should support conditional simulation points

Priority-Medium

#22

· GoogleCodeExporter opened

on Mar 26, 2015

Test leak_check.kfree_rcu.01 freeze system

Priority-Medium

#20

· GoogleCodeExporter opened

on Mar 26, 2015

Use .owner field for module, which own functions registered by structure

Type-Enhancement

#21

· GoogleCodeExporter opened

on Mar 26, 2015

Instrumentation facilities do not work for kernel 3.16-rc2: RO/NX issue

Priority-Medium

#18

· GoogleCodeExporter opened

on Mar 26, 2015

Analyze multiple modules at a time

Component-Logic

Priority-Medium

Type-Enhancement

#14

· GoogleCodeExporter opened

on Mar 26, 2015

Add support for suppressions in LeakCheck

Priority-Medium

Type-Enhancement

#12

· GoogleCodeExporter opened

on Mar 26, 2015

Leak check: process PID and name (patch included)

Priority-Medium

Type-Enhancement

#11

· GoogleCodeExporter opened

on Mar 26, 2015

Some functions to simulate

Priority-Medium

Type-Enhancement

#10

· GoogleCodeExporter opened

on Mar 26, 2015

Documentation should introduce "KEDR Fault Simulation" when describe fault simulation facility

Type-Enhancement

#7

· GoogleCodeExporter opened

on Mar 26, 2015

Add processing of put_page()

Priority-Medium

Type-Enhancement

#8

· GoogleCodeExporter opened

on Mar 26, 2015