https://re-st.github.io/categories/research/Recent content in Research on Park, Geon (re-st)Hugoko-krCopyright © 2026, Geon Park.Wed, 29 Apr 2026 14:28:04 +0900https://re-st.github.io/category/afl/Mon, 06 Oct 2025 21:22:27 +0900https://re-st.github.io/category/afl/<h1 id="afl-구성요소">AFL 구성요소</h1> <ul> <li>[[virgin_bits|virgin_bits]]</li> <li>[[trace_bits|trace_bits]]</li> <li>[[퍼징에서의 큐 컬링 (인풋 줄세우기)|퍼징에서의 큐 컬링 (인풋 줄세우기)]]</li> </ul> <h1 id="afl-디버깅">AFL 디버깅</h1> <ul> <li>[[AFL (AFL++) 디버깅 - ASAN으로 instrument하고 돌리기|AFL (AFL++) 디버깅 - ASAN으로 instrument하고 돌리기]]</li> <li>[[AFL (AFL++) 소스코드 수정 시 디버깅 - gdb 사용|AFL (AFL++) 소스코드 수정 시 디버깅 - gdb 사용]]</li> <li>[[AFL (AFL++) 디버깅 - setaffinity 문제와 해결 (bind_to_free_cpu에서 에러)|AFL (AFL++) 디버깅 - setaffinity 문제와 해결 (bind_to_free_cpu에서 에러)]]</li> </ul>https://re-st.github.io/seminar/introduction-to-razborovs-flag-algebra/Wed, 27 Aug 2025 15:30:00 +0900https://re-st.github.io/seminar/introduction-to-razborovs-flag-algebra/<p>Logic-based computational method in extremal combinatorics</p> <ul> <li><a href="https://sites.google.com/view/hongseokyang/home">양홍석 교수님</a></li> <li><a href="https://github.com/Re-st/Documents/blob/8679e9e85cf3152a021e0ac686f358f316ddaec3/3.%20Resource%20%28%EB%82%A8%29/KAIST25-flag-algebra.pdf">발표자료</a></li> </ul> <h1 id="왜-pl커뮤니티에-강연하나">왜 PL커뮤니티에 강연하나?</h1> <p>Flag algebra는 logic에서 나옴. 요약 해석등의 개념이, 갈루아 연결도, flag algebra의 증명과정에서 쓰임.</p> <h1 id="math-to-cs">Math to CS</h1> <p>Auto-formalization (수학개념-&gt;전산논리)</p> <ul> <li>Morph社의 Trinity가 ABC 추측의 weak ver. 증명</li> </ul> <h1 id="flag-algebra">Flag algebra</h1> <p>옛날에 유행하던. 10년 동안 open problem을 풀음. Stability = opt.sol이 근본적으로 유일한지, 아니면 여러 구조가 비슷한 최적치를 갖는지 subgraph density 가 중요 개념. \(p (H, G)\) \((\,|\,H\,|\,=m \le \,|\,G\,|\,=n)\)</p> <p>infinite case (\(n\to \infty\))일 때 flag alg. 가 잘 작동. e.g. \(\lim_{ n \to \infty }\sup K_{3}\text{-free}\)</p>https://re-st.github.io/research/seed-prover/Wed, 06 Aug 2025 13:47:44 +0900https://re-st.github.io/research/seed-prover/<ul> <li>ByteDance 개발 <strong>Seed-Prover</strong></li> <li>[[Lean|Lean]] 기반 정리 증명 모델, [[IMO (올림피아드)|IMO (올림피아드)]] 수준 문제 해결 시도</li> <li><strong>lemma-style proving</strong>: 본 증명 전 레마 생성, 레마의 시드풀 관리, 단계적 접근</li> <li>Lean 컴파일러 피드백으로 증명 수정·보완, 필요 시 새로운 레마 도출</li> <li><strong>Seed-Geometry</strong>: 기하학 문제 전용 추론 엔진 추가, 복잡한 도형 문제 대응</li> </ul> <ul> <li><a href="https://arxiv.org/pdf/2507.23726">(논문) Seed-Prover: Deep and Broad Reasoning for Automated Theorem Proving</a> <ul> <li><a href="https://www.hanbit.co.kr/channel/view.html?cmscode=CMS0397526637">hanbit.co.kr 논문요약</a></li> </ul> </li> <li><a href="https://github.com/ByteDance-Seed/Seed-Prover/blob/main/SeedProver/imo2025/IMO2025/P1.lean">IMO 2025의 P1 증명 (P1.lean)</a></li> </ul>https://re-st.github.io/research/%EB%8B%A4%EC%A4%91-%EC%A7%80%ED%96%A5%EC%84%B1-%ED%8D%BC%EC%A7%95-lyso/Thu, 01 May 2025 12:00:00 +0900https://re-st.github.io/research/%EB%8B%A4%EC%A4%91-%EC%A7%80%ED%96%A5%EC%84%B1-%ED%8D%BC%EC%A7%95-lyso/<h1 id="제목">제목</h1> <p>From Alarms to Real Bugs - Multi-target Multi-step Directed Greybox Fuzzing for Static Analysis Result Verification</p> <h1 id="요약">요약</h1> <p>이 논문은 <mark>정적 분석 결과의 효과적인 검증을 위한 새로운 퍼징 기법</mark>인 Lyso를 제안합니다. Lyso는 [[다중 지향성 퍼징|다중 지향성 퍼징]], 다단계 유도. 정적 분석에서 얻은 의미론적 정보와 <mark>알람 간의 상관관계</mark>를 활용 Lyso는 기존 기법들에 비해 평균 12.17배 빠른 속도, 18개의 새 취약점 발견</p> <h1 id="주요-내용">주요 내용</h1> <h2 id="lyso의-주요-특징">Lyso의 주요 특징</h2> <ul> <li>다중 타겟 동시 처리: 상호 의존적인 알람들을 그룹화하여 효율적으로 검증 <ul> <li>한 목표에 대한 진전이 다른 연관된 목표들의 진전을 가속화</li> <li><img src="https://re-st.github.io/lyso%20%ed%83%80%ea%b9%83%20%ea%b7%b8%eb%a3%b9%ed%95%91.png" alt="../lyso 타깃 그룹핑.png"/></li> </ul> </li> <li>단계별 가이드: 각 알람의 목표를 여러 단계로 나누어 점진적으로 접근</li> <li>정적 분석 정보 활용: 취약한 경로와 알람 간 상관관계 정보를 퍼징에 활용</li> </ul> <h2 id="기술적-구현">기술적 구현</h2> <ul> <li>중요 단계 식별: CFG(Control Flow Graph)와 DFG(Data Flow Graph) 단계를 구분하여 식별</li> <li>단계 추적 시스템: 경량화된 실행 시간 단계 추적 구현 <ul> <li>각 알람(목표)을 여러 단계로 나누어 접근합니다.</li> <li>이를 통해 복잡한 버그도 단계별로 접근할 수 있게 됩니다.</li> </ul> </li> <li>다중 지표 활용: overlap, depth, distance 등의 지표를 통한 씨드 선택 최적화 <ul> <li>Overlap: 씨드 실행 중 적어도 하나의 단계가 커버된 상호 의존적 알람의 수</li> <li>Depth: 씨드 실행 중 어떤 알람에 대해 연속적으로 커버된 최대 단계 수</li> <li>Distance: 다음 미탐색 단계까지의 거리</li> </ul> </li> <li>타임아웃 기반 전환: 고정된 시간 창(현재 10분)을 사용하여 다른 탐색 단계로 전환</li> <li>밀도 기반 전력 스케줄링: 희귀 알람에 대한 탐색 강화</li> </ul> <h2 id="실험-결과">실험 결과</h2> <ul> <li>Magma 벤치마크에서 8개의 최신 퍼저와 비교 평가</li> <li>평균 12.17배 빠른 버그 검증 속도 달성</li> <li>단일 목표에 대해서도 다단계 가이드를 적용 (Lyso-stms) <ul> <li>AFLGo와 비교했을 때 평균 10.76배의 속도 향상 달성</li> </ul> </li> <li>기존 도구들이 찾지 못한 버그들도 발견</li> <li>실제 프로그램 대상 실험에서 18개의 새로운 취약점 발견</li> </ul> <h2 id="비교-대상">비교 대상</h2> <ol> <li> <p>10i24h</p>https://re-st.github.io/research/%EB%8B%A4%EC%A4%91-%EC%A7%80%ED%96%A5%EC%84%B1-%ED%8D%BC%EC%A7%95-aflrun/Mon, 01 Jul 2024 12:00:00 +0900https://re-st.github.io/research/%EB%8B%A4%EC%A4%91-%EC%A7%80%ED%96%A5%EC%84%B1-%ED%8D%BC%EC%A7%95-aflrun/클러스터링을 하는 다중 지향성 퍼징https://re-st.github.io/research/trace_bits/Mon, 01 Jul 2024 12:00:00 +0900https://re-st.github.io/research/trace_bits/AFL 퍼징이 사용하는 매 실행 커버리지 기록 도구https://re-st.github.io/research/virgin_bits/Mon, 24 Jun 2024 12:00:00 +0900https://re-st.github.io/research/virgin_bits/AFL 퍼징이 사용하는 역대 실행 커버리지 기록 도구https://re-st.github.io/category/%EC%A7%80%ED%96%A5%EC%84%B1-%ED%8D%BC%EC%A7%95/Mon, 01 Jan 2024 00:00:00 +0900https://re-st.github.io/category/%EC%A7%80%ED%96%A5%EC%84%B1-%ED%8D%BC%EC%A7%95/<ul> <li><a href="https://github.com/prosyslab/pl-wiki/blob/main/%EC%A7%80%ED%96%A5%EC%84%B1-%ED%8D%BC%EC%A7%95%28Directed-Fuzzing%29.md#%EC%A7%80%ED%96%A5%EC%84%B1-%ED%8D%BC%EC%A7%95-%EB%B6%84%EC%95%BC%EC%9D%98-%EB%AC%B8%EC%A0%9C%EC%A0%90">(펌) 지향성 퍼징 - PL Wiki</a></li> <li>[[(에세이) MODFuzz - 다른 관점의 지향성 퍼징|(에세이) MODFuzz - 다른 관점의 지향성 퍼징]]</li> </ul>https://re-st.github.io/research/%EA%B7%B9%EB%8B%A4%EC%A4%91-%EC%A7%80%ED%96%A5%EC%84%B1-%ED%8D%BC%EC%A7%95-fishfuzz/Fri, 01 Sep 2023 12:00:00 +0900https://re-st.github.io/research/%EA%B7%B9%EB%8B%A4%EC%A4%91-%EC%A7%80%ED%96%A5%EC%84%B1-%ED%8D%BC%EC%A7%95-fishfuzz/너는 오류를 낚는 어부가 되어라https://re-st.github.io/research/%ED%8D%BC%EC%A7%95%EC%97%90%EC%84%9C%EC%9D%98-%ED%81%90-%EC%BB%AC%EB%A7%81-%EC%9D%B8%ED%92%8B-%EC%A4%84%EC%84%B8%EC%9A%B0%EA%B8%B0/Fri, 01 Sep 2023 12:00:00 +0900https://re-st.github.io/research/%ED%8D%BC%EC%A7%95%EC%97%90%EC%84%9C%EC%9D%98-%ED%81%90-%EC%BB%AC%EB%A7%81-%EC%9D%B8%ED%92%8B-%EC%A4%84%EC%84%B8%EC%9A%B0%EA%B8%B0/퍼징에서 다음 시드를 선택하는 알고리즘