Boomerang

디 컴파일러는 입력으로 실행 파일을 받아, 높은 수준의, 같은 일을 컴파일 가능한, 어쩌면 유지 보수 소스 파일을 만들려고 시도합니다.
따라서, 소스 파일을 받아서 실행한다 컴파일러의 반대이다. 그러나, 일반적으로 디 컴파일러는 오히려 결과가 하이 레벨의 소스 코드를 반복해서 입력 프로그램을 바꾸어, 디 컴파일러의 모든 동작을 반전하지 않는다. 따라서, 원래의 소스 파일을 다시하지 않을 것이다; 좋아 아마 아무것도 없습니다.
실행 파일이 심볼을 가지고 여부, 또는 특정 언어에서 컴파일 된 경우 그것은 중요하지 않습니다. (단, ML 같은 선언적 언어로는 간주되지 않습니다.)
목적은 타겟을 디 컴파일러 (겸손한 노력으로 기계 코드 파일의 다른 유형을 디 컴파일 할 수 있습니다 즉, 하나, 예를 들어, 86-창, SPARC-솔라리스 등)을 만드는 것입니다. 또한, 디 컴파일러의 다른 부분은 실험 모듈로 교체 될 수 있도록 모듈 식 것으로 의도되었다. 그것은 몇 가지 (이 아니지만 그냥 변수 이름 및 코멘트, 분명히 매우 중요하다) 때문에, 결국 라 IDA 프로, 상호 작용하게하기위한 전문적인 개입을 요구했다. 상호 작용이 디 컴파일러 나에 속하는지 여부를 별도의 도구는 확실하지 않다.
개별 명령들의 시맨틱을 변환하고, 단일 정적 할당 흐름 분석 강력한 기술을 사용함으로써 부메랑이 사용될 우연히 컴파일러의 정확한 동작 (크게) 독립적이어야한다. 최적화 결과에 영향을 미치지 않습니다. 따라서, 목표는 일반적인 디 컴파일러이다.
제한 사항 :
· 경우 당신은 (그것을 실험, 또는 개선 반대)는 디 컴파일러로 그대로 부메랑을 시도하려는에서의 심각한 한계에 유의하십시오. 2004 년 초 현재, 부메랑만이 86 (리눅스 / 86 또는 Windows PE), SPARC (솔라리스, 또는 아마도 리눅스 / SPARC), 또는 파워 PC (리눅스 / PPC 또는 Mac OS / X) 프로그램을 디 컴파일. 특히,이 DOS 나 네브라스카 (윈도우 3.1) 프로그램을 디 컴파일되지 않습니다. 다른 프로세서를 추가하는 것은 큰 (몇 개월) 사업이다.
 
· 그것은 단지 C가 아니라 C ++를 생성합니다. 그것은 C를 컴파일합니다 + + 물론 프로그램 (및 어셈블러를 포함하여 프로그램의 종류). 당신은 가능한 C ++ 소스 코드에 약간의 C ++ 프로그램을 편집 손으로 할 수 있습니다. MSVC 컴파일 된 프로그램의 경우, 현재 당신은 디 컴파일러를 spoonfeed 하나의 레지스터 매개 변수 (thiscall 호출 규칙이)가 있음을 이야기한다. 스위치는이 복잡하고 처리하는 단계; -sf 스위치 사용을 참조하십시오.