Zeno 프레임워크

설치

cd ~
git clone https://github.com/Traxes/zeno --recursive
sudo pip3 install termcolor tqdm
git clone https://github.com/Z3Prover/z3 --recursive
cd z3
python3 scripts/mk_make.py --python
cd build
make
sudo make install
cd ~/zeno

사용법

~/zeno$ PYTHONPATH=$PYTHONPATH:$HOME/zeno python3 src/main.py

예제

target.bin에서 모든 플러그인을 실행하려면

~/zeno$ PYTHONPATH=$PYTHONPATH:$HOME/zeno python3 src/main.py target.bin

문서

TODO

• 코드 정리

  • 내부 메서드에 _ 접두사 붙이기

• 핵심

  • 슬라이싱
  • 아키텍처 지원

• 리포터

  • 플러그인 시스템에 포함

• GUI

• DLL의 외부 인터페이스

• 플러그인

  • 버퍼 오버플로우
  • 범위 초과
  • 정수 오버플로우
  • 포맷 문자열
  • 초기화되지 않은 메모리
    • 그래프 슬라이싱!

거짓 양성

• CWE457_Use_of_Uninitialized_Variable__char_pointer_17_bad()
  • goodG2B에 대한 거짓 양성

완료

• 플러그인 로더

리소스 및 유사 프로젝트

• https://github.com/cetfor/PaperMachete

버퍼 오버플로우: gets <- always char buf[123]; std::cin>>buf