Inteligentní DISassembler

• schopný disassembler zejména pro AMD64 a možností snadné rozšiřitelnosti pro jiné platformy
• možnost snadného scriptování pluginů v pythonu pro rychlé docílení požadované operace
• GUI pro jednoduchou orientaci v kódu a snadný přístup k datům
• automatické zpracování kódu – detekce a analýza aritmetiky, zpracování běžných konstruktů generovaných vyššími jazyky (podmínky, smyčky, volání funkcí ABI)
• interaktivní disassemblování – možnost označit začátek kódu, data atp.
• detekce obfuskování

• možnosti debuggingu
  • načítání corefilu a propagace hodnot z doby smrti kódem zpět pro zefektivnění zjistování root-cause
  • asumpce na kód (přiřazení hodnoty, výsledku podmínky)

Stav jednotlivých částí projektu – “funkční” znamená, že část funguje, “hotový” že je hotová a “todo” že není vůbec, nebo nemá ani základní funkčnost.

• Generátor syntaxe (funkční)
• Dekodér instrukcí (funkční)
• Pluginovací systém (funkční)
• Abstrakce instrukcí a aritmetiky (funkční, chybí definice)
  • n-ární operace
  • modifies/sets, provázání s assumpcema
  • asumpce mezi basicblocky
• GUI (todo)
• Generátor assembleru (todo)
  • IAS (todo)
  • Intel (funkční) – generuje v zásadě validní assembler, ale není to úplně jisté
  • AT&T (funkční) – generuje něco, co se mu zanačně podobá, ale není to validní (příklad: 0x8())