Personal tools

Hac Boston/Projects

From HaskellWiki

< Hac Boston(Difference between revisions)
Jump to: navigation, search
(Experience)
Line 27: Line 27:
   
 
* Edward Kmett
 
* Edward Kmett
  +
  +
=== Machine code analysis tools ===
  +
  +
Haskell could be a great platform for analyzing and reverse-engineering machine code. We already have disassemblers ([http://hackage.haskell.org/package/hdis86 x86], [https://github.com/copumpkin/charm ARM]), object format parsers ([http://hackage.haskell.org/package/elf ELF], [http://hackage.haskell.org/package/pecoff PE/COFF], [http://hackage.haskell.org/package/macho MachO]), SMT and [http://hackage.haskell.org/package/sbv bitvector] solvers, [http://hackage.haskell.org/package/hoopl dataflow analysis], etc. Let's improve these tools and fill in the gaps.
  +
  +
Some concrete projects in this area:
  +
  +
* Write bindings to [http://radare.org/ radare]
  +
* Finish up the [https://github.com/copumpkin/charm charm] disassembler for ARM, and get it on Hackage
  +
* Modify [http://hackage.haskell.org/package/elf elf] to support parsing relocation records
  +
* Add support to the object format libraries for writing data structures back out to disk
  +
* Write a format-agnostic layer on top of the object format libraries
  +
  +
Interested in this project:
  +
  +
* Keegan McAllister
   
 
== Experience ==
 
== Experience ==

Revision as of 09:46, 3 November 2011

Contents

1 Sharing your code

If you need a place to host a project so that others can help with it, we suggest github, but if you are using darcs patch-tag is just dandy as well.

You can also apply for an account on the community server.

2 Projects

If you have a project that you want to work on at the Hackathon, please describe it here.

Since Hackathons are great for teamwork, consider joining one of the projects mentioned below. If you're interested in one of these projects, add your name to the list of hackers under that project.


2.1 Trifecta

Trifecta is a library for dealing with both parsing and the ancillary concerns that arise once you have a parser.

  • Edward Kmett

2.2 Machine code analysis tools

Haskell could be a great platform for analyzing and reverse-engineering machine code. We already have disassemblers (x86, ARM), object format parsers (ELF, PE/COFF, MachO), SMT and bitvector solvers, dataflow analysis, etc. Let's improve these tools and fill in the gaps.

Some concrete projects in this area:

  • Write bindings to radare
  • Finish up the charm disassembler for ARM, and get it on Hackage
  • Modify elf to support parsing relocation records
  • Add support to the object format libraries for writing data structures back out to disk
  • Write a format-agnostic layer on top of the object format libraries

Interested in this project:

  • Keegan McAllister

3 Experience

Please list projects with which you are familiar. This way, people know whom to contact for more information or guidance on a particular project.

Name Projects
edwardk lots of projects, mtl, general libraries
ezyang ghc
keegan various, some GHC internals, FFI tricks