Jack-Ji/smatch-emu — pull request #1 by Jack-Ji (2013-10-05 15:05:58+00:00)
Title: add skeleton of smatchos

merge new updates