https://nu11ptr.com/docs/Recent content in Docs on Lab.Hugo -- gohugo.ioen-usWed, 24 May 2023 15:18:37 +0900https://nu11ptr.com/docs/sp22_beacon/Wed, 24 May 2023 15:18:37 +0900https://nu11ptr.com/docs/sp22_beacon/BEACON[SP'22] # BEACON : Directed Gray-Box Fuzzing with Provable Path Pruning [SP'22] 事前知識 # Fuzzing の分類 - 目的 Directed ~ : プログラムの特定の箇所を集中的にテスト 用途に関しては AFLGo を参照 Coverage-guided ~ : プログラム全体をテスト Fuzzing の分類 - プログラムから得られる情報 Black-box ~ : 無し (+ プログラムの出力) Gray-box ~ : 計装によるフィードバック White-box ~ : (動的)プログラム解析 (e.g. 記号実行) による情報 概要 # 目標 # Directed Fuzzing において: なるべく早い段階での枝刈り なるべく多くのパスの枝刈り 低オーバーヘッド 以上を実現するために…https://nu11ptr.com/docs/gc7a/Mon, 01 Jan 0001 00:00:00 +0000https://nu11ptr.com/docs/gc7a/Garbage Collection Ch.7-a # 用語など # 英単語は短く適切な訳があった場合に翻訳している。 言い換え: generation = gen. = 世代 garbage = ゴミ Generational Garbage [(Collection)|(Collector)] = GenGC collect = scavenge = “掃除” オブジェクト = セル (文字の視認性の観点から「セル」を使用) 7.1 The generational hypothesis # GC の目的: 自動メモリ管理 (だけでなく…) locality の向上 Tracing, Copying はそれぞれ以下の点で locality を悪化させる: Tracing GC: 生きてる全てのセルを触る Copying GC: 2 サイクルごとに heap の全ページを触る ユーザープログラムは半分しか使わない → ページフォルト、キャッシュミスの頻発https://nu11ptr.com/docs/mc2/Mon, 01 Jan 0001 00:00:00 +0000https://nu11ptr.com/docs/mc2/MC Ch.2: Introduction to the first edition # プログラム解析技術の俯瞰(ISA より): 自動？ 健全？ 完全？ 対象 動的・静的 Testing Yes No Yes Program 動的 Assisted proving No Yes Yes/No Model 静的 Model checking of finite-state model Yes Yes Yes Finite model 静的 Model checking at program level Yes Yes No Program 静的 Conservative static analysis Yes Yes No Program 静的 Bug finding Yes No No Program 静的 Model checking (MC):https://nu11ptr.com/docs/mc7/Mon, 01 Jan 0001 00:00:00 +0000https://nu11ptr.com/docs/mc7/MC Ch.7: Automata on Infinite Words and LTL Model Checking # Automata can describe system models and specifications. MC can be done using automata. LTL formulas are transformed to finite automata on infinite words. Automaton-based MC is similar to that of tableau-based one: Automaton-based : model and specification is described in automaton Tableau-based : model and specification is described in tableau Overview # 7.