Frinet

Frinet은 Frida와 향상된 버전의 Tenet을 결합하여 iOS, Android, Linux, Windows 및 대부분의 아키텍처에서 대규모 프로그램 연구, 취약점 연구 및 근본 원인 분석을 용이하게 합니다. Synacktiv 웹사이트의 블로그 게시물

이 버전은 synacktiv/frinet의 완전한 재작성입니다(원래 gaasedelen/tenet의 포크). 이전 버전은 legacy 브랜치에서 찾을 수 있습니다.

이 프로젝트는 SSTIC 2026에서 (프랑스어로) 발표되었습니다 : 비디오/슬라이드/논문.

새로운 아키텍처는 네 가지 구성 요소를 기반으로 합니다 :

• Indexer : 트레이스 파일에서 최적화된 인덱스를 생성하는 Rust CLI입니다.
• Backend : 최적화된 인덱스 파일을 쿼리하는 특수 알고리즘을 구현하는 Rust 크레이트입니다.
• Backend (Python bindings) : Python 인터페이스를 노출하는 Rust 크레이트입니다.
• IDA Plugin : 백엔드의 데이터를 쿼리하고 IDA 인터페이스에 통합하는 얇은 Python 코드 계층입니다.

기능

Frida 기반 트레이서: Frinet의 레거시 버전과 동일합니다.

Indexer / Backend:

• 최대 20억 개의 명령어(~100GB)를 포함하는 트레이스의 효율적인 인덱싱.
• 트레이스 형식과 무관합니다(현재는 Tenet 형식만 지원).
• 전체 정규식 지원을 갖춘 멀티스레드 메모리 검색.
• 독립형 Rust 라이브러리로 사용 가능: crates/db.

프런트엔드:

• 타임라인 / 레지스터 / 메모리 뷰.
• 어셈블리 타임라인 트레일(빨강/초록/파랑).
• 메모리 읽기/쓰기 중단점.
• 첫 번째/이전/다음/마지막 실행으로 이동.

누락된 기능 및 TODO

• Frinet v1과 프런트엔드 기능 동등성 달성:
  • 콜 트리 뷰는 아직 구현되지 않았습니다.
• UI 다듬기.

빌드 및 설치

# Build the Python bindings shared lib
apt install python3-dev
cargo build --release
cp target/release/libfrinet_db.so frontend/frinet_db.so

# Symlink (or copy) the IDA Plugin
ln -s $PWD/frontend ~/.idapro/plugins/frinet

사용법

# 1. Trace /bin/ls with frida
python tracer/trace.py spawn /bin/ls ls 0x4c00

# 2. Build an optimised index of the trace
cargo run --bin frinet --release -- index --format tenet tracer/traces/ls_xxxx.tenet ls.db

# 3. Open the trace in IDA (File > Load File > Open Frinet DB...)

테스트 및 퍼징 및 벤치마크

cargo test

cargo install cargo-fuzz
cargo +nightly fuzz run --fuzz-dir crates/fuzz register_indexing

cargo install cargo-criterion
BENCH_DB=my.db cargo criterion