1年ぐらい前にC3というSMTソルバをC言語でスクラッチから作ったので、その話でもします。カーネルエクスプロイト入門記事part2です。前回part1では、環境構築とLinuxカーネルのメモリ管理の基礎について、実際のエクスプロイトでのユースケースを通して説明しました。本記事は、Linuxを対象としたカーネルエクスプロイトの入門記事です。カーネルエクスプロイトというのは、Linuxや*BSD、Windowsを始めとするカーネル自身の脆弱性を突くエクスプロイトです。-2017-06-19参照カウンタオーバーフローを利用したLinuxカーネルエクスプロイト(CVE-2016-0728)本記事では、Linuxカーネルの鍵保存サービスの脆弱性(CVE-2016-0728)、およびそれを利用した権限昇格エクスプロイトについて解説します。Calendar25日目の記事です。低レイヤー技術(後述)をこれから学びたい人向けの入門記事です。自身の経験を踏まえ、より多くの人達にこのレイヤーに興味を持ってほしくて書きました。Analyser)の略である。...高機能バイナリトレーサqiraはどのように実装されているのか2016-04-29弾幕ゲー開発用スクリプト言語を自作した話コンパイラなんとなくスクリプト言語を作ってみたくなったので、東方のような弾幕ゲーで敵の行動,弾幕パターンを記述するためのスクリプト言語を作ってみました。メモ代わりに内部構造の解説記事を書きました。Adventar9日の記事です。Adventar12/6の記事です。ついて自由に書く物です。part2では仮想IRQ,チップセット,仮想IO,TCGを見ていきます。part2で終わりです。(時間があればまたいつかpart3とか書いてみたいですね...)ではまず仮想IRQから見ていきます。part12014-12-312014年の振り返りその他2014年ももうすぐ終わるので、一年を振り返ります。集合論とか位相の勉強してた気がする。12/25の記事です。一ヶ月程前からLinuxカーネルのコードを読み始めたので、解読ついでに自分でもカーネルを作ってみました。参加記8/12~8/16に行われたセキュリティキャンプ2014に参加しました。クラスはソフトウェアセキュリティクラスです。何とかして会場に着く。みんな結構早くついていて、すでにたくさん人がいた。いろんな人と名刺交換をする。C++IDAを使ってソフトウェアの解析をしてるといつも思うんですが、デバッグ情報って便利ですよね。IDAはイメージファイルをロードした後にpdbの検索も行っていて、シンボル情報とかのラベルを自動で埋め込んでくれます。JavaRPGのようななにかを作りました。12/24の記事です。久しぶりのブログ更新です。数学ばかりやっています。解析学たまには数学関係の事でも書こうかな~。定義やら証明やらを書き連ねるのも面倒なので、比較的簡単な計算問題について書きます。今回はζ(4)の計算。ゼータ関数とはで表される関数ζのことです。ζ(4)はで表される級数の事です。私も某アニメのOPでやってみました。OpenCVを使ってゴニョゴニョした後、JavaScriptに埋め込んで連続再生させてるだけです。Java先日観ていた動画にこんな物がありました。Statementカードの並びが与えられる。カード[i]にはlevel[i]とdamage[i]が書いてある。