qsynthesis

Qsynthesis QSynthesis는 비트벡터 표현식의 I/O 기반 프로그램 합성을 수행하기 위한 Python3 API입니다. 코드 난독화 해제를 용이하게 하는 것을 목표로 합니다. 이 알고리즘은 블랙박스 I/O 기반 합성과 화이트박스 AST 검색을 결합한 그레이박스 접근 방식으로, 하위 표현식을 합성합니다 루트 노드를 합성할 수 없는 경우. 이 알고리즘은 원래 BAR 학술 워크숍에서 설명되었습니다: QSynth: A Program Synthesis based Approach for Binary Code...