cfg_CFGCheckSummer.cpp File Reference

#include <otawa/cfg/CFGCheckSummer.h>
#include <elm/checksum/Fletcher.h>
#include <otawa/cfg/CFG.h>
#include <otawa/prog/WorkSpace.h>

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

Functions
SilentFeature	otawa::CFG_CHECKSUM_FEATURE ("otawa::CFG_CHECKSUM_FEATURE", maker)
	This feature ensures that each CFG has hooked a checksum allowing to check binary modifications between launch of an OTAWA application. More...
Identifier< unsigned long >	otawa::CHECKSUM ("otawa::CHECKSUM", 0)
	This property hooked on a CFG provides a checksum build on the instruction of the CFG. More...