cz::muni::stanse::automatonchecker::FPDMemoryGlobalVarFilter Class Reference

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

[legend]

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

[legend]

List of all members.

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

---

Detailed Description

Lowers importance when a variable with allocated memory is global and memory leak is reported.

Author:

xslaby

---

Constructor & Destructor Documentation

cz::muni::stanse::automatonchecker::FPDMemoryGlobalVarFilter::FPDMemoryGlobalVarFilter

(

LazyInternalStructures

internals

)

[inline]

---

Member Function Documentation

int cz::muni::stanse::automatonchecker::FPDMemoryGlobalVarFilter::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/FPDMemoryGlobalVarFilter.java