[Haskell-cafe] ANN: powerpc-0.0.1
tomahawkins at gmail.com
Wed Mar 10 01:35:47 EST 2010
Here is a new library for analyzing PowerPC programs . At this
point it does instruction set simulation on machine code -- and not
all instructions are implemented yet, BTW.
To run a simulation, the user defines an instance of the Memory class
 to represent both instruction and data memory. The Memory class
declares functions for memory loads and stores, instruction fetches,
and reading and writing special purpose registers. In our test bench,
we set up the 'fetch' method to dump out register values so we can see
the state of the processor at every step.
A neat feature of the library is the instruction behavior is captured
by a little DSL . This makes it easy to add new instructions
because the translation from the instruction RTL spec  to the DSL
is nearly one-to-one. And with instruction behavior captured
symbolically, this opens the door to other types of analysis besides
I hope a few folks find it useful.
More information about the Haskell-Cafe