HACK THE WORLD

인증 플러그인 변경:MySQL에 sudo로 접속:sudo mysql플러그인 변경: MySQL 프롬프트에서 다음 명령어를 실행하여 root 사용자의 인증 방식을 변경합니다.여기서 your_new_password는 새로운 비밀번호로 설정합니다.ALTER USER 'root'@'localhost' IDENTIFIED WITH mysql_native_password BY 'your_new_password';변경 사항 적용:FLUSH PRIVILEGES;MySQL에서 로그아웃:EXIT;다시 로그인 시도:mysql -u root -p

AFL qemu mode를 이해하고 사용하기위해 아래링크의 글을 읽어본다. AFL++의 qemu mode를 사용하면 Snapshot mode, Deferred initialization, Persistent mode를 사용할 수 있다.참고로 필자는 바이너리의 실행시점에서 initialize 과정을 bypass해서 퍼징의 성능을 높이고 싶어, Snapshot mode를 사용하는 방법을 익히고싶어 이 글을 읽게되었다. https://github.com/AFLplusplus/AFLplusplus/blob/stable/qemu_mode/README.md AFLplusplus/qemu_mode/README.md at stable · AFLplusplus/AFLplusplusThe fuzzer afl++ is af..

0. 들어가며https://aflplus.plus/docs/custom_mutators/ Custom Mutators | AFLplusplusThe AFLplusplus websiteaflplus.plus AFL++에는 custom mutator 라는 기능이 있다. 이를 이용해 grammer based input을 생성해내도록하거나 file input이 아닌 다른 방법으로 input을 전달할 수 있도록 고칠 수 있다고 하는데, 어떻게 하면 그렇게 사용할 수 있을지 사용해보았다. AFL++는 기본적으로 파일을 입력으로 받는 프로그램에 대해서만 input을 전달하는 기능을 제공하기때문에, 이를 잘 이용하면 grammer based input을 udp와 같은 다양한 채널로 전송할 수 있을거라는 가정으로 분석해..

cFS 커맨드 추가하는 방법을 알아본다. cFS Training 자료의 Add a command to sample_app 실습을 따라해보고 커맨드를 추가하는 과정을 남긴다.간단해서 자세한 설명은 생략한다.

SUCHAI-FS-Fuzzy-Testing 을 이용해 칠레대학교의 위성 소프트웨어인 SUCHAI를 퍼징해본다.SUCHAI-FS-Fuzzy-Testing 레포지토리는 주요 모듈들이 python으로 구현되어있어 별도의 빌드없이 편리하게 실행해볼 수 있다. https://gitlab.com/tamigr.2293/SUCHAI-FS-Fuzzy-Testing Tamara / SUCHAI-FS-Fuzzy-Testing · GitLabGitLab.comgitlab.com pip dependency 설치다음과 같은 디펜던시들을 설치해준다.파이썬 모듈을 실행하기위해 필요한 디펜던시들이다.pip install fuzzingbookpip install markdown  suchai-fs-fuzzy-testing 설치 및 실행..

NASA의 cFS를 타겟으로 네트워크 퍼저인 fuzzotron을 이용해 퍼징했던DEF CON의 연구를 reproduce 해본다. 아래 링크를 참고하였다. DEF CON 29 Aerospace Village - Fuzzing NASA Core Flight System Software, Ronald Brobert cFS Configuration & Fuzzotron Fuzzing SettingcFS와 Fuzzotron 세팅은 아래 링크를 참고하면 좋다. https://juntheworld.tistory.com/190 cFS 설치 및 실행하는방법Part1 - Setup아래 깃허브 링크에서 cFS를 git clone 해준다.https://github.com/nasa/cFS GitHub - nasa/cFS: Th..

The Satellite of the University of Chile for Aerospace Investigation (SUCHAI) 는 칠레대학교(Physics and Mechanical Engineering Departments of the Faculty of Physical and Mathematical Sciences (FCFM) at University of Chile)에서 만든 CubeSat 오픈소스다. 이 suchai를 설치하는 방법에 대해 정리한다.  빌드 디펜던시 설치 sudo apt install libzmq3-devsudo apt install pkg-config libcsp 빌드CSP(CubeSat Protocol)는 CubeSat과 같은 소형 우주선에서의 통신을 위해 설계된..

1. 소개Fuzzotron이라는 네트워크 퍼저를 이용해 UDP 패킷을 cFS 프로그램으로 전송하여 퍼징을 진행했다.cFS를 설치하는 것은 아래 링크를 참고하면 좋다.https://juntheworld.tistory.com/190 cFS 설치 및 실행하는방법Part1 - Setup아래 깃허브 링크에서 cFS를 git clone 해준다.https://github.com/nasa/cFS GitHub - nasa/cFS: The Core Flight System (cFS)The Core Flight System (cFS). Contribute to nasa/cFS development by creating an account on GitHub.github.comgijuntheworld.tistory.com 참고..

소프트웨어 동적분석에서 Logic Coverage로 분류되는 RACC(Restricted Active Clause Coverage)와 CACC(Correlated Active Clause Coverage)가 있다. RACC와 CACC를 만족하는 test case를 쉽게 찾는 방법을 알아보자. 좀 더 정확하게는 RACC와 CACC의 차이점 구별하는 방법을 쉽게 생각해보자. Predicates 와 Clauses 우선 기본 용어이다. predicate(술어)는 boolean으로 평가되는 표현식(expression)을 뜻한다. clause(절)은 logical operators( ! && || ..) 이 없는 predicate를 뜻한다. (a = n*o) 아래 예시에서 ..

Part1 - Setup아래 깃허브 링크에서 cFS를 git clone 해준다.https://github.com/nasa/cFS GitHub - nasa/cFS: The Core Flight System (cFS)The Core Flight System (cFS). Contribute to nasa/cFS development by creating an account on GitHub.github.comgit clone https://github.com/nasa/cFS.gitcd cFS# submodule 설치git checkout bootes-rc2git submodule initgit submodule update 이때 submodule update를 해주면 아래와 같이 뜨며cFS/apps/*cFS/..