느긋한 심볼화를 활용한 바이너리 재조립 기술의 정확도 향상 기술 및 도구가 개시된다. 일 실시예에 따른 바이너리 재조립 시스템에 의해 수행되는 바이너리 재조립 방법은, 바이너리 파일에 역어셈블을 수행함에 따라 역어셈블 코드를 생성하는 단계; 상기 생성된 역어셈블 코드에 상기 역어셈블을 수행함에 따라 계산된 계측 코드를 삽입하여 바이너리 파일을 재조립하는 단계를 포함하고, 상기 바이너리 재조립 방법은, 정적 값 분석(value analysis)과 동적 메모리 계산 방식을 결합한 느긋한 심볼화를 적용할 수 있다.