util_StackAnalysis.cpp File Reference

#include <otawa/prog/sem.h>
#include <otawa/proc/CFGProcessor.h>
#include <otawa/util/HalfAbsInt.h>
#include <otawa/util/DefaultFixPoint.h>
#include <otawa/util/DefaultListener.h>
#include <otawa/util/LoopInfoBuilder.h>
#include <otawa/proc/BBProcessor.h>
#include <otawa/cfg/Virtualizer.h>
#include <otawa/stack/StackAnalysis.h>
#include <otawa/stack/AccessedAddress.h>
#include <otawa/hard/Register.h>
#include <otawa/hard/Platform.h>
#include <otawa/dfa/State.h>

Namespaces
	otawa
	$Id$ Copyright (c) 2007, IRIT - UPS casse.nosp@m.@iri.nosp@m.t.fr
	otawa::stack

Macros
#define	TRACEU(t)
#define	TRACEI(t)
#define	TRACES(t)
#define	TRACED(t)

Functions
io::Output &	otawa::stack::operator<< (io::Output &out, const State &state)
p::feature	otawa::STACK_ANALYSIS_FEATURE ("otawa::STACK_ANALYSIS_FEATURE", new Maker< StackAnalysis >())
	This features ensure that the stack analysis has been identified. More...
p::feature	otawa::stack::ADDRESS_FEATURE ("otawa::stack::ADDRESS_FEATURE", new Maker< AddressBuilder >())
	Feature ensuring that addresses are built from stack analysis. More...

Variables
Identifier< State * >	otawa::stack::STATE ("otawa::stack::STATE", 0)
	Stack analysis state at entry of BBs. More...

Macro Definition Documentation

#define TRACED

(

t

)

#define TRACEI

(

t

)

#define TRACES

(

t

)

#define TRACEU

(

t

)