Callisto

Callisto 지능형 자동화 바이너리 취약점 분석 도구 데모: Callisto 는 지능형 자동화 바이너리 취약점 분석 도구입니다. 제공된 바이너리를 자동으로 디컴파일하고, 생성된 의사 C 코드에서 잠재적인 보안 취약점을 찾기 위해 해당 의사 코드 출력을 반복적으로 검사합니다. Ghidra 의 헤드리스 디컴파일러가 바이너리 디컴파일 및 분석 부분을 담당합니다. 의사 코드 분석은 Semgrep SAST 도구에 의해 초기에 수행된 후, GPT-3.5-Turbo 로 전송되어 Semgrep 결과를 검증하고 추가 취약점을 식별합니다. ...