odfa.cpp File Reference

#include <elm/io/BlockInStream.h>
#include <elm/option/ListOption.h>
#include <elm/option/SwitchOption.h>
#include <otawa/app/Application.h>
#include <otawa/cfg/features.h>
#include <otawa/data/clp/features.h>
#include <otawa/data/clp/ClpAnalysis.h>
#include <otawa/data/clp/SymbolicExpr.h>
#include <otawa/display/CFGOutput.h>
#include <otawa/hard.h>
#include <otawa/proc/BBProcessor.h>
#include <otawa/prog/sem.h>
#include <otawa/stack/features.h>
#include <otawa/stack/AccessedAddress.h>

Functions
	OTAWA_RUN (ODFA)

Variables
Identifier< bool >	BEFORE ("", false)
Identifier< bool >	AFTER ("", false)
Identifier< bool >	SEM ("", false)
Identifier< bool >	FILTER ("", false)

Function Documentation

OTAWA_RUN

(

ODFA

)

Variable Documentation

Identifier<bool> AFTER("", false)

Identifier<bool> BEFORE("", false)

Identifier<bool> FILTER("", false)

Identifier<bool> SEM("", false)