cz::muni::stanse::automatonchecker::FPDMemoryReassignedFilter Class Reference

Inheritance diagram for cz::muni::stanse::automatonchecker::FPDMemoryReassignedFilter:

[legend]

Collaboration diagram for cz::muni::stanse::automatonchecker::FPDMemoryReassignedFilter:

[legend]

List of all members.

Package Functions
int	getTraceImportance (final java.util.List< CFGNode > path, final java.util.Stack< CFGNode > cfgContext, final ErrorRule rule)

---

Detailed Description

Checks whether already freed pointer was not assigned again before dereference by a chance.

It is usually a = alloc(); if (!a) { a = b; a->x; } a = alloc(); free(a); a = b; a->x;

Author:

xslaby

---

Member Function Documentation

int cz::muni::stanse::automatonchecker::FPDMemoryReassignedFilter::getTraceImportance	(	final java.util.List< CFGNode >	path,
		final java.util.Stack< CFGNode >	cfgContext,
		final ErrorRule	rule
	)			[inline, package, virtual]

Implements cz::muni::stanse::automatonchecker::FalsePositivesDetector.

---

The documentation for this class was generated from the following file:

• src/cz/muni/stanse/automatonchecker/FPDMemoryReassignedFilter.java