En Decompiler tar indata en körbar fil, och försöker att skapa en hög nivå, compilable, kanske till och med att underhålla källfilen som gör samma sak.
Det är därför motsatsen till en kompilator, som tar en källfil och gör en körbar. Men en allmän decompiler inte försöka vända varje handling av Decompiler, snarare den förändrar ingångsprogrammet tills resultatet är hög nivå källkod. Det kommer därför inte att återskapa den ursprungliga källfilen; antagligen något liknande.
Det spelar ingen roll om den körbara filen har symboler eller inte, eller har sammanställts från något visst språk. (Dock deklarativa språk som ML inte vara.)
Avsikten är att skapa en retargetable decompiler (dvs. en som kan dekompilera olika typer av maskin kodfiler med blygsam ansträngning, t.ex. X86-windows, SPARC-Solaris, etc.). Det var också tänkt att vara mycket modulärt, så att olika delar av Decompiler kan ersättas med experimentella moduler. Avsikten var att så småningom bli interaktiva, a la IDA Pro, eftersom vissa saker (inte bara variabelnamn och kommentarer, men dessa är naturligtvis mycket viktigt) kräver expert ingripande. Huruvida inter hör hemma i Decompiler eller i ett separat verktyg är fortfarande oklart.
Genom att omvandla semantiken för individuella instruktioner, och med hjälp av kraftfulla tekniker såsom statisk Single Assignment dataflödesanalys, bör Boomerang vara (i stort sett) oberoende av den exakta beteendet hos kompilator som råkade vara användas. Optimering bör inte påverka resultaten. Därför är målet en allmän decompiler.
Begränsningar:
· Om du vill prova Boomerang eftersom det är som en Decompiler (i motsats till att experimentera med det, eller förbättra det), vara medveten om sina allvarliga begränsningar. Från och med början av 2004, Boomerang kommer bara dekompilera X86 (Linux / X86 eller Windows PE), SPARC (Solaris, eller förmodligen Linux / SPARC) eller Power PC (Linux / PPC eller Mac OS / X) program. I synnerhet konstatera att det inte kommer att dekompilera DOS eller NE (Windows 3.1) program. Lägga en annan processor är en stor (flera månader) företag.
· Det kommer bara att generera C, inte C ++. Det kommer att dekompilera C ++ program naturligtvis (och alla typer av program, inklusive assembler). Du kanske kunna lämna redigera vissa C ++ program till användbara C ++ källkod. För MSVC kompilerade program, för närvarande måste du spoonfeed den Decompiler och berätta att det finns ett register parameter (thiscall ringer konventionen). De växlar för att hantera detta är komplexa; se använda -sf omkopplaren.
Kommentarer hittades inte