바이너리 코드 명령어 의미론에 대한 공식적 설명을 활용하여 바이너리 코드를 직접 기호 실행하는 접근법을 제안한다.
FoC는 바이너리 코드에 포함된 암호화 기능의 동작을 자연어로 요약하고, 유사한 구현을 데이터베이스에서 검색할 수 있는 임베딩을 생성한다.