Package ghidra.pcode.emu.taint

Class TaintPcodeEmulator

java.lang.Object

ghidra.pcode.emu.AbstractPcodeMachine<org.apache.commons.lang3.tuple.Pair<byte[],TaintVec>>

ghidra.pcode.emu.auxiliary.AuxPcodeEmulator<TaintVec>

ghidra.pcode.emu.taint.TaintPcodeEmulator

All Implemented Interfaces:

PcodeMachine<org.apache.commons.lang3.tuple.Pair<byte[],TaintVec>>

public class TaintPcodeEmulator
extends AuxPcodeEmulator<TaintVec>

An emulator with taint analysis

Nested Class Summary

Nested classes/interfaces inherited from interface ghidra.pcode.emu.PcodeMachine

PcodeMachine.AccessKind, PcodeMachine.SwiMode

Field Summary

Fields inherited from class ghidra.pcode.emu.AbstractPcodeMachine

accessBreakpoints, arithmetic, cb, injects, language, library, stubLibrary, suspended, swiMode, threads, threadsView

Constructor Summary

Constructors

Constructor	Description
TaintPcodeEmulator(Language language)	Create an emulator
TaintPcodeEmulator(Language language, PcodeEmulationCallbacks<org.apache.commons.lang3.tuple.Pair<byte[],TaintVec>> cb)	Create an emulator

Method Summary

Modifier and Type	Method	Description
protected AuxEmulatorPartsFactory<TaintVec>	getPartsFactory()	Get the factory that manufactures parts for this emulator
TaintPcodeExecutorState	getSharedState()	Get the machine's shared (memory) state

Methods inherited from class ghidra.pcode.emu.auxiliary.AuxPcodeEmulator

createArithmetic, createLocalState, createSharedState, createThread, createThreadStubLibrary, createUseropLibrary

Methods inherited from class ghidra.pcode.emu.AbstractPcodeMachine

addAccessBreakpoint, addBreakpoint, assertSleigh, checkLoad, checkStore, clearAccessBreakpoints, clearAllInjects, clearInject, compileSleigh, doPluggableInitialization, getAllThreads, getArithmetic, getInject, getLanguage, getPluggableInitializer, getSoftwareInterruptMode, getStubUseropLibrary, getThread, getUseropLibrary, inject, isSuspended, newThread, newThread, setSoftwareInterruptMode, setSuspended, stepped, swi

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

TaintPcodeEmulator

public TaintPcodeEmulator(Language language,
 PcodeEmulationCallbacks<org.apache.commons.lang3.tuple.Pair<byte[],TaintVec>> cb)

Create an emulator

Parameters:

language - the language (processor model)

cb - callbacks to receive emulation events

TaintPcodeEmulator

public TaintPcodeEmulator(Language language)

Create an emulator

Parameters:

language - the language (processor model)

Method Details

getPartsFactory

protected AuxEmulatorPartsFactory<TaintVec> getPartsFactory()

Get the factory that manufactures parts for this emulator

Here, we just return the singleton parts factory. This appears simple because all the complexity is encapsulated in the factory. See TaintPartsFactory to see everything the implementation actually entails.

Specified by:

getPartsFactory in class AuxPcodeEmulator<TaintVec>

Returns:

the factory

getSharedState

public TaintPcodeExecutorState getSharedState()

Get the machine's shared (memory) state

The returned state will may throw IllegalArgumentException if the client requests register values of it. This state is shared among all threads in this machine.

We override this here so that clients don't have to cast the state.

Specified by:

getSharedState in interface PcodeMachine<org.apache.commons.lang3.tuple.Pair<byte[],TaintVec>>

Overrides:

getSharedState in class AbstractPcodeMachine<org.apache.commons.lang3.tuple.Pair<byte[],TaintVec>>

Returns:

the memory state