caphosra note

[CTF] SECCON CTF 14 Quals writeup

Wed, 17 Dec 2025 16:53:24 +0900

SECCON CTF 14 Qualsに参加したのでwriteupを書く。

チームはTSGで参加して、結果は国内7位だった。TSGは(これから何かをしでかさない限り)SECCON本選への出場権を獲得できたことになる。

個人としては、revを2問(Ez Flag Check, aeppel), jailを1問(excepython)を解いた。

rev: Ez Flag Check (59pt) 見出しへのリンク

一番解かれていたrev問題。

ELFファイルが与えられ、そのELFが受け入れるようなflagを見つけるというよくあるタイプの問題だった。Ghidraで覗いてあげると、バイナリは、フラグの長さとフラグがSECCON{****}の形式を守っていることを確認した上で、フラグをsigma_encryptなる関数に通してからエンコードされたバイト列と比較していることがわかる。

sigma_encrypt関数を見てあげると、ハードコーディングされた値を使って計算されたkey_bytesとフラグの一部messageをXORして比較用のバイト列outを生成していることがわかる。

for (i_1 = 0; i_1 < len; i_1 = i_1 + 1) {
 out[i_1] = message[i_1] ^ key_bytes[(uint)i_1 & 0xf] + (char)i_1;
}

各文字が1文字づつ他の文字と独立に決定していっている様子がわかるので、バイナリをオラクルとしてprintableな文字xについてSECCON{xxx.....x}を総当たりしていけば、printableの文字の種類回だけのイテレーションでフラグが得られる。もちろんこれよりいくらでも効率的な方法はあるが、別に裏でスクリプトを動かして置くだけなのでこれで十分だった。

#!/usr/bin/python3

import sys
from ptrlib import *
import time
import re
import string

import subprocess

def get_list(flag):
 assert len(flag) == 0x12

 EXEC = "./chall"

 sock = Process(EXEC)

 time.sleep(0.5)

 p = subprocess.Popen(["gdb", "-x", "./gs.py", "./chall"], stdout=subprocess.PIPE, stderr=subprocess.STDOUT)

 time.sleep(0.5)

 sock.sendline("SECCON{" + flag +"}")

 time.sleep(0.5)
 sock.close()

 out, err = p.communicate()
 out = out.decode()
 out = out.replace("\n", "")
 matched = re.findall(r"\$1\s=\s\{(.+)\}", out)[0].split(", ")

 b = []
 for x in matched:
 b.append(int(x, 16))
 return b

flag = list(" "*0x12)

ENC = [0x03, 0x15, 0x13, 0x03, 0x11, 0x55, 0x1f,0x43, 0x63,0x61,0x59,0xef,0xbc,0x10,0x1f,0x43,0x54,0xa8]

for x in string.ascii_letters + string.digits + string.punctuation:
 out = get_list(x*0x12)
 for i in range(0x12):
 if out[i] == ENC[i]:
 flag[i] = x
 print(flag)

print(flag)

SECCON{flagc29yYW5k<b19!!}

[Lean4] 実数を構成する

Sun, 10 Aug 2025 15:05:14 +0900

Lean4を使って有理数を構成してから実数を構成し、任意の有理数に対してそれに対応する実数の構成が確かにできることを示した。その過程をまとめたい。

構成と証明したことの概要見出しへのリンク

まず前提として、Lean4の標準ライブラリにある、自然数を表現するNat, 整数を表現するIntとそれに関する諸定理は断りなく使った。

その上で、整数と自然数の組$\mathbb{Z}\times \mathbb{N}_{>0}$(NumPairと命名)を定義し、これに対して、適当な同値関係$\sim$を定義した。この同値関係は、$(a, b) \sim (c, d) \Leftrightarrow ad = cb$となるようなもので、整数の方を分子、自然数の方を分母とみなした時の分数のよくある同値関係を意味している。

次に、上記の同値関係を用いて、同値類$\mathbb{Z}\times\mathbb{N}_{>0}/\sim$をとり、その元を有理数Rationalとした。

最後に、Rationalの集合を用いて、Dedekind cutをとり実数Realを構成した。

証明については、任意の有理数$r$について$\{x \in \mathbb{Q}|x < r \}$が、確かに実数の元となっていることを示した。この証明に際して$\mathbb{Q}$が稠密であることを示した。

設けた縛り見出しへのリンク

今回、この構成と証明をするにあたって、個人的に以下の縛りを設けた。

証明は排中律を使わずに行う。
Mathlibは使わない。

まず、排中律を使わなかったことについて。今回は、構成的な証明にすることを目標としたので、排中律ならびにそれと同値の公理を利用しなかった。これにより、二重否定除去や背理法による証明ができなくなったが、今回の場合はなんとかなった。

次に、Mathlibを使わないことについて。理由は主に2つある。1つはMathlibにはさまざまな有用な定理が収録されており、あまりにも便利すぎるから。そして、Mathlibのライブラリには背理法を行うtactic by_contraを用いた証明がかなり収録されていたはず¹なので、意図しないうちに前述のルールを破ってしまう可能性があるからである。

ちなみにMathlibではMathlib.Data.Real.Basicにおいて実数を表現するRealが定義されており、これはCauchy列を用いて定義されている。

1. 有理数の構成見出しへのリンク

前置きはこれくらいにして、実際に実数を構成した過程を見ていく。

まず、有理数を構成するために、整数と自然数の組$\mathbb{Z}\times \mathbb{N}_{>0}$, NumPairを定義した。

structure NumPair where
 num: Int
 denom: Nat

 denom_non_zero: denom ≠ 0

ここでのポイントは、分母が0でないことを保証するために、denom_non_zeroという要素をNumPairに追加している点である。

次に、NumPairに対して同値関係を定義した。これからこの関係を用いて有理数を定義するのだから、同値関係は以下のようになる。

fun a b => a.num * b.denom = b.num * a.denom

さて、この同値関係を持ちいて同値類をとりたいわけだが、Lean4では同値類Quotientをとるためには、数学でいうところの$(X, \sim)$に相当するSetoidのインスタンスを定義する必要がある。そして、このSetoidのインスタンス定義には、ちゃんとこの2項関係が同値関係になっていることを示す必要がある。

このSetoidのインスタンス定義を行うと以下のようになる。rの部分が同値関係の定義を、iseqvの部分がそれがちゃんと同値関係になっていることの証明になっている。case reflと書いてあるところが反射律を、case symmが対称律を、case transが推移律を示している部分である。推移律に関しては、掛け算の交換法則や結合法則を駆使して証明しているので、そこまで特別なことをしていないのに証明が長くなっている。↑はもちろんKnuthの矢印記法…ではなく、NatをIntに変換するための記号である。

instance NumPairSetoid : Setoid NumPair where
 r := fun a b => a.num * b.denom = b.num * a.denom
 iseqv := by
 constructor
 case refl =>
 intros x
 rfl
 case symm =>
 intros x y h
 rw [Int.mul_comm]
 rw [h]
 rw [Int.mul_comm]
 case trans =>
 intros x y z h1 h2
 have h1_mod: x.num * ↑y.denom * ↑z.denom = y.num * ↑x.denom * ↑z.denom := by
 rw [h1]
 have h2_mod: y.num * ↑z.denom * ↑x.denom = z.num * ↑y.denom * ↑x.denom := by
 rw [h2]
 have: y.num * ↑x.denom * ↑z.denom = y.num * ↑z.denom * ↑x.denom := by
 rw [Int.mul_assoc]
 rw [Int.mul_assoc]
 conv =>
 lhs
 conv =>
 rhs
 rw [Int.mul_comm]
 have: y.denom * (x.num * ↑z.denom) = y.denom * (z.num * ↑x.denom) := by
 rw [←h1_mod] at this
 rw [h2_mod] at this
 conv at this =>
 lhs
 conv =>
 lhs
 rw [Int.mul_comm]
 rw [Int.mul_assoc]
 conv at this =>
 rhs
 conv =>
 lhs
 rw [Int.mul_comm]
 rw [Int.mul_assoc]
 exact this
 have y_denom_zero: (↑y.denom: Int) ≠ 0 := by
 rw [Int.ofNat_ne_zero]
 exact y.denom_non_zero
 rw [Int.mul_eq_mul_left_iff y_denom_zero] at this
 exact this

正直この証明は長いだけである。

[CTF] IERAE CTF 2025 writeup

Thu, 26 Jun 2025 17:01:15 +0900

IERAE CTF 2025にTSGとして参加しました。

pwn: Gotcha-Go (medium, 25 solves) 見出しへのリンク

Go製のメモアプリに対して攻撃を行う問題。メモアプリには特定のIDのメモを作成する(init), 読み込む(info), 書き込む(edit)操作が実装されている。

脆弱性は明らかで、メモのIDに対してなんの制約も掛かっていないので配列外参照が可能になっている。あとは適当なアドレスを書き換えて終わりだと思っていたが、流石にGo製のアプリだけあって、メモリレイアウトやレジスタの使い方がC言語で同様のコードを書いてgccでコンパイルした時とはかなり違うものとなっていた。

checksecの結果は以下の通り。No PIE, No RELROなのでGOTを書き換えて終わりかと思いきや、C言語と同じようにGOTが存在するわけではないため不可能。

$ checksec --file=./ctf
[*] '/ctf/2025/ierae/gotcha-go/ctf'
 Arch: amd64-64-little
 RELRO: No RELRO
 Stack: No canary found
 NX: NX enabled
 PIE: No PIE (0x400000)
 Stripped: No
 Debuginfo: Yes

問題をより詳しく見る。infoとeditを使えば任意のidxについて以下で定義されるようなlに対し、l.list[idx].dataに対して読み書きが可能である。

type Data interface {
	info(int)
	init(*MyStr)
	edit(int)
}

var l Data = &MyList{}

type MyStr struct {
	idx int
	data [0x30]byte
}

type MyList struct {
	list [16]*MyStr
}

lはグローバル領域に存在し、毎回固定のアドレスに配置されいること、配列の構造とGhidraでの逆アセンブル結果から、これは要するに任意のidxに対して*(0x56bfc0 + idx * 8) + 0x8のアドレスに対して読み書きができることを意味している。

コンパイラ係としてCPU実験を終えて

Sun, 09 Mar 2025 16:03:26 +0900

CPU実験が終わったので、作ったものの紹介と、やってよかったこと、CPU実験全体としての感想を書いていく。

作ったもの見出しへのリンク

RISC-VベースのISA RINANA、コンパイラ mincc、余興としてコアの上で動くシミュレーター rinacoreを作った。

1. RISC-VベースのISA: RINANA 見出しへのリンク

CPU実験の第1週の初仕事として、RINANAというISAをRISC-Vを参考にして作った。¹

一旦RISC-Vで実装し始めて、コアが完動してから2nd ISA、3rd ISAと移行していく班が多かったが、我々の班は最初からRINANAで作ることにした。これにより仕様の違いによる混乱を避け、バージョン改訂によるコアの作り直しやシミュレーターの移行コストを最小限にすることを狙った。

ISAの定義や認識が複数人で割れてしまったり複数バージョンが同時に存在したりすることを避けるために、オペコードの割り振りや新命令の追加などのISAに関係する仕様の策定の最終決定権とバージョン管理の責任を、班員の同意を取った上で全て自分に集約させた。

最初の段階では、RISC-Vからfence.i等の明らかに余興でも使わない命令を除いてオペコードを振り直し、B-typeやJ-typeの11bit目のような飛んでいるbitをわかりやすいように並べ替えただけのものであった。その後、コンパイラで必要になった命令の追加やコア係からの要望であるfloat命令かどうかを見分けられるbitの追加などを行い実に13回のアップデートを経て、最終的なRINANA v1.1.0が完成した。

RINANAを真面目にversioningしたことと、バージョンが上がるたびに最優先事項として班のアセンブラr72bとシミュレーターを更新してもらったことで、参照するRINANAのバージョン違いによる混乱は最小限に抑えられたと考えている。また、ISAを管理する仕事をコンパイラ係が行うことで、コア係が求める仕様やコンパイラ係が必要としている機能を相互に理解することができ、コミュニケーションが取りやすくなるという副次的な効果もあった。多分コア係がISAを定義しても同等の効果が得られると思う。

2. コンパイラ: mincc 見出しへのリンク

minccという名前のコンパイラを作った。²

せっかくのCPU実験ということでmincamlやmincaml-rsなどの出来合いのコンパイラに頼らずに書きたいという想いが強く、Haskellを使ってフルスクラッチで作成した。Haskellを選択したのは、個人的に経験が浅いあるいは全くないかつ面白そうな言語を使いたかったからで、該当するJulia, Nim, Gleam, F#の中から選んだ。結果的にHaskellで頻出の諸概念とお友達になれたのでかなり良い選択だったと思う。シミュ完動したのは12/19 0:59だった。

コンパイラを実装する上で2つのルールを自分に課した。mincamlやmincaml-rsのソースコードをそのまま移植しないことと、過去のコンパイラ係が残したブログや最適化に関する本を一切参考にしないことである。³前者は、元からあるコンパイラをただ別言語に移植しただけでは「フルスクラッチ」ということはできないという信念からである。後者は、過去のコンパイラ係のブログを読むと、その人が思う最適解を知ってしまうので、試行錯誤の余地が削られてしまうのではないか、と考えたからである。後者については後ほど改めて言及する。

フルスクラッチする上で障害となったのは、mincamlの構文が「仕様 = 実装」となっているところである。一応資料はあるものの優先順位や具体的な構文に曖昧な部分が多く、パーサーを書くためにmincamlの実装を腰を据えて読み解く必要があった。それ以外は、時間こそかかるもののしがらみもないので伸び伸びと実装を行うことができた。

コンパイラ係でこの記事を見ている人が一番気になるのは最適化であろう。残念なことにminccには「新規性のある」最適化は多分積まれていないと思う。ここで「思う」と言ったのは、過去のコンパイラ係のブログを読んでいないので、どれが「新規性のある」ものかどうかわからないからである。少なくとも、2ヶ月間で編み出したものが既出でないとは到底思えないのでこのような書き方をした。

さて、minccでは最適化はmiddle-endとback-endでそれぞれ独立して行われる。まず、Middle-endで行われる最適化を列挙しよう。名前はその最適化が実装されているモジュール名をそのまま利用している。

最適化	説明
BoolOperations	`if`文のうち、bool演算を使って書けるものを展開する。例えば、`if a then not b else b`を`xor a b`に変換する。
CompMerging	`if`文のうち、`let a = b < c in .... in if a then d else e`のようなものを`if b < c then d else e`に変換する。
ConstFold	定数畳み込み。
CSE	共通部分式削除をする。式がpureかどうかの判定はかなり甘い。
IfMerging	`if c then let a1 = b in ... else let a2 = b in ...`を`let a = b in if c then ... else ...`に変換する。最適化というよりはコードサイズ削減のために入れている。
Inlining	関数のインライン化をする。
LoopArgsElim	`loop a := b e`のうち、`a`が`e`で変更されない場合、`a`を削除する。
LoopDetection	再帰関数からループを検出し、`loop`文に変換する。
ReadOnly	1度しか書き込みが起こらない配列を検知し、変数に分解する。
StripCondition	`if c then let ... in 1 else let ... in 0`を`let () = if c then let ... in () else let ... in () in c`にする。`if`文の結果により次の`if`文の分岐が決まるパターンに利く。
SwapIf	`if c then ... else ()`を`if c then () else ...`にする。
UnusedElim	不要定義削除。
VarMerging	`let a = b in e`を`[b/a]e`にする。

Back-endではLLVMのBasicBlockのような形式でコードを保持している。Back-endでの最適化は、以下の通りである。

[CTF] SECCON CTF 13 Domestic Finals writeup

Thu, 06 Mar 2025 16:24:45 +0900

SECCON CTF 13の国内決勝にTSGのrev枠として参加し、3位を取ることができた。自分が張り付いていたAllegroの順位は8位だったので心境は複雑だが、ともあれwriteupを書きたいと思う。

King of the Hill: Allegro 見出しへのリンク

人生初のKing of the Hillとなった。　x86_64のバイナリが与えられ、そのバイナリの出力を変えずにいかに高速化できるかを競う問題であった。実質的にrevパートと最適化を行うパートに二分されていた。

より詳細なルールとしては、1ラウンド2-3時間で各ラウンドの最初にx86_64のバイナリが配布された。プレイヤーはそれを高速化したものを提出すると、5分おきに、そのプログラムが十分高速でかつテストを通る場合、その速度に応じた点が加算されていくというものであった。これが6ラウンド、つまり会場が空いている間ずっとあったので、Allegroを取り組むプレイヤーはこの問題に張り付いておかないといけなかった。

Round1: “普通"のx86_64のプログラム見出しへのリンク

Ghidraでデコンパイルすると以下のようなCのコードが得られた。

long f(long param_1)
{
 long lVar1;
 long lVar2;
 long lVar3;

 if (param_1 == 0) {
 param_1 = 1;
 }
 else if (param_1 == 1) {
 param_1 = 1;
 }
 else if (param_1 == 2) {
 param_1 = 1;
 }
 else {
 lVar1 = f(param_1 + -3);
 lVar2 = f(param_1 + -2);
 lVar3 = f(param_1 + -1);
 param_1 = param_1 + ((lVar1 + lVar2) - lVar3);
 }
 return param_1;
}

undefined8 main(void)
{
 undefined8 uVar1;
 long in_FS_OFFSET;
 ulong local_18;
 long local_10;

 local_10 = *(long *)(in_FS_OFFSET + 0x28);
 __isoc99_scanf(&DAT_00102004,&local_18);
 if (3 < local_18) {
 sleep(5);
 }
 uVar1 = f(local_18);
 printf("%llu\n",uVar1);
 if (local_10 != *(long *)(in_FS_OFFSET + 0x28)) {
 /* WARNING: Subroutine does not return */
 __stack_chk_fail();
 }
 return 0;
}

不要なsleep(5)を除去しつつ、fの再帰をループにして-O3オプションをつけてコンパイルして提出した。

Lean4と戯れるのに役に立ったもの

Fri, 06 Dec 2024 07:51:57 +0900

この記事は, 理情 Advent Calendar 2024の12/6の記事です. この文章を読むのに飽きたら是非他の人の書いた記事を読んでみてください.

はじめに見出しへのリンク

今年4月ごろに, 元から興味を持っていたプログラミング言語もとい定理証明支援系のLean4に満を持して入門しました.

しかしながら, 単に情報がないからなのか自分の検索能力が低いからなのか, 普通に手元では証明できているのにLean4にどのように書き下せばいいのかわからない場面が何度もあったので, この記事では初心者なりにかなり便利でもっと早く知っておきたかったいくつかのトピックを, 少しでも証明を楽しむためのヒントとして記したいと思います. かなり雑多だと思うのですが, どうかお付き合いください.

注意点として, Lean4の公式の Theorem Proving in Lean 4 に載っている内容はこの記事では基本省略してあるので, 基本的な使い方を習得するのにはこの記事は向かないと思います.

また, 直観論理の世界から抜け出したくない方には申し訳ないのですがこの記事では古典論理を前提としており, 断りなくopen Classicalされていることを仮定しています.

1. Lean 4 VSCode Extension 見出しへのリンク

かなり当たり前かもしれませんが, この拡張を入れるとLean4のsyntax highlightingや入力予測がされるようになります. それだけでなく, 現在の証明の流れがとても掴みやすくなるInfoViewが見れるようになります.

左に書かれているのがLean4の証明で, 右がその様子をわかりやすく表示してくれるInfoViewです. 写真では119行目にカーソルが合っているので119行目における証明の進行状況が表示されています.

このviewの見方をざっと解説します.

まず, 画像でオレンジ色で表示されているのが, すでに導入された命題のリストです. 仮定として証明に使って良い名前付けされた命題が並んでいます. Curry-Howard同型対応と呼ばれる, ざっくりといえば関数と型はそれぞれ証明と命題に対応するという対応関係から, 現在のスコープにある変数とその型であるとみることもできます.

次に画像で一番下に表示されているのが, この証明のゴール, つまり示すべきものです. このゴールは, 必ずしもある定理の証明をする間ずっと同じというわけでもなく, 場合分けの途中や補題の証明中などに変わることもあるので, 今自分が何を示そうとしているのか意識するためにも常に把握しておきましょう.

[CTF] SECCON 13 Quals writeup

Mon, 25 Nov 2024 22:33:41 +0900

caphosraです. SECCON 13 QualsにTSGで参加しました. 結果は国内7位ということで決勝には進めそうです. 本当にチームメンバーが凄すぎる.

自分はpwnのParagraphとrevのpackedを解きました. 記録上はrevのJumpも解いたことになっていますが, 雑にフラグをguessしただけなので"解けた"ことにしていいものか…? どうguessしたかは書きます.

rev: packed (93pt, 119teams) 見出しへのリンク

gdbをアタッチして手動で前から実行していくと, 入力文字列をある2つのバイト列とxorして0になるかどうかを判定していることがわかる. xorの性質から(a xor b) xor c == 0はa == b xor cなので, この2つのバイト列のxorをとってあげれば良い.

a = [0xe8, 0x4a, 0x0, 0x0, 0x0, 0x83, 0xf9, 0x49, 0x75, 0x44, 0x53, 0x57, 0x48, 0x8d, 0x4c, 0x37, 0xfd, 0x5e, 0x56, 0x5b, 0xeb, 0x2f, 0x48, 0x39, 0xce, 0x73, 0x32, 0x56, 0x5e, 0xac, 0x3c, 0x80, 0x72, 0xa, 0x3c, 0x8f, 0x77, 0x6, 0x80, 0x7e, 0xfe, 0xf, 0x74, 0x6, 0x2c, 0xe8, 0x3c, 0x1]
b = [0xbb, 0xf, 0x43, 0x43, 0x4f, 0xcd, 0x82, 0x1c, 0x25, 0x1c, 0xc, 0x24, 0x7f, 0xf8, 0x2e, 0x68, 0xcc, 0x2d, 0x9, 0x3a, 0xb4, 0x48, 0x78, 0x56, 0xaa, 0x2c, 0x42, 0x3a, 0x6a, 0xcf, 0xf, 0xdf, 0x14, 0x3a, 0x4e, 0xd0, 0x1f, 0x37, 0xe4, 0x17, 0x90, 0x39, 0x2b, 0x65, 0x1c, 0x8c, 0xf, 0x7c]

text = ""
for i in range(len(a)):
 text += chr(a[i] ^ b[i])

print(text)

FLAG: SECCON{UPX_s7ub_1s_a_g0od_pl4c3_f0r_h1din6_c0d3}

Flagを見て初めてUPXに思いを馳せることが想定されているのか, と思った. 時代はやっぱり人の手でやるまごころデバッグですよ.

pwn: Paragraph (125pt, 65teams) 見出しへのリンク

ソースコードを見ると露骨にFormat String Attackしてね〜という顔をしたprintfがいる.

// char name[24];
scanf("%23s", name);
printf(name);
printf(" answered, a bit confused.\n\"Welcome to SECCON,\" the cat greeted %s warmly.\n", name);

ここで問題となるのはFormat String Attackでどこを書き換えてあげれば良いかである. このscanfでpayloadを送るタイミングではglibcのアドレスもわからないのでリターンアドレスを書き換えてROPするのは辛そうなので, GOTを書き換えてその下のprintfをscanfに挿げ替えることを考えた. こうするとちょうど下の行が,

[CTF] IERAE CTF 2024 writeup

Sun, 22 Sep 2024 16:10:12 +0900

caphosraです. IERAE CTF 2024にTSGとして参加しました. Cryptoのderangement, Weak PRNGとmiscのgnalangの計3問解いたのでwriteupを書きたいと思います.

分量と難易度的にgnalangのwriteupがメインになります.

Crypto: derangement 見出しへのリンク

長さ15のランダムな文字列をランダムに並べ替えたものが与えられ, その元の文字列を求める問題. 並び替えた文字列のどの文字も元の文字列と異なることが保証されている.

とりあえず回数上限近くまで並べ替え後の文字列を受け取って, 各 $i$ 文字目についてありえない文字のリストを構成する. その上で, そのリストに含まれていない文字を順に並べていけば良い.

#!/usr/bin/python3

from ptrlib import *

proc = Socket("XXX.XXX.XXX.XXX", 55555)

LENGTH = 15
LOOP = 280

banned = list()
for _ in range(LENGTH):
 banned.append(list())

word = None
for _ in range(LOOP):
 proc.sendlineafter("> ", "1")
 proc.recvuntil("hint: ")
 hint = proc.recvline().decode()
 if not word:
 word = hint

 assert len(hint) == LENGTH

 for i in range(LENGTH):
 if hint[i] not in banned[i]:
 banned[i].append(hint[i])

determined = ""
for i in range(LENGTH):
 print(f"len(banned[{i}]) = {len(banned[i])}")
 if len(banned[i]) != LENGTH - 1:
 proc.close()
 for c in word:
 if c not in banned[i]:
 determined += c

print(f"magic word = {determined}")

proc.sendlineafter("> ", "2")
proc.sendlineafter("> ", determined)

proc.interactive()

実行結果は以下の通り.

[CTF] SECCON CTF 2023 Finals Domestic writeup

Sun, 07 Jan 2024 20:14:04 +0900

SECCON CTF 2023の国内決勝にTSGとして参加しました. 1.5問くらい解いたのでwriteupを書きたいと思います.

Reversing: ReMOV 見出しへのリンク

Reversingの問題. 大量の意味のないmov, movaps命令が並んでいるバイナリが与えられ, そのバイナリが受理するFlagを考えるというもの.

GhidraでさっとDisassembleして読もうとしたが, 当然まともに読めそうになかったのでgdbで実行しながら怪しい部分を探した. まず, 最初の方は文字列の長さを見て32文字であるかを確認する部分がある. その次に, 文字列の先頭がSECCON{であるかどうかを判定する部分と最後が}で終了しているか確認する部分がある.

ここまでは, 適当にSECCON{AAA....A}のような長さ32の文字列を与えておけば特に問題はない. さて, ここから引数を8bytesごとにチェックするパートに入る. 具体的には8bytesを切り出して, ある固定値とxorを取ってから別の固定値と比較する操作が4回行われる. 一見, もう一度xorを取ることで容易にFlagを復号できそうだが, このままでは先頭8bytesの値がL\xbd~\xb3HN{yでなければならなくなり, これは先頭8bytesがSECCON{であることと矛盾する.

もう一度用心深く探ってみると, 途中で不審にptraceを呼んでいる部分がある. これでgdbのようなデバッガーをattachしているかどうか判定し, その返り値によってxorをとる固定値を変更しているようである. そこで, ptraceが呼ばれた後にraxを変えてしまえば問題ないだろうと推測し, 実際うまく行った. 以下のように書けばこれを実現できる.

gdb.execute('b *0x555555555096')
gdb.execute('c')
gdb.execute('set $rax = 0')

実際にその場で書いたソースコードはこんな感じ. 8bytesごとに答えが出てくる.

#!/bin/python3

import gdb
import re

flag = b"SECCON{y3t_4n0th3r_m0vfuAAAAAAA}"
gdb.execute('file ./remov')
o = gdb.execute(f'starti {flag.decode()}', to_string=True)
print(o)

gdb.execute('b *0x555555555096')
gdb.execute('b *0x555555555605')
gdb.execute('b *0x555555555637')
gdb.execute('b *0x55555555567d')

gdb.execute('c')
gdb.execute('set $rax = 0')

current = int.from_bytes(flag[0:8], "little")
a = []
for i in range(4):
 gdb.execute('c')
 output1 = gdb.execute('reg', to_string=True)
 print(output1)
 m = re.search(r'(0x.+)', output1)
 a.append(int(m.group(0), 16))
 print(f"rax: {hex(a[i])}")
 current = current ^ (a[i] << (0x8 * i))
 print(f"check: {hex(current)}")

assert len(a) == 4

e1 = 0xbde671e813ba0ec4
e2 = 0xfe313878bfd3832a
e3 = 0xefe4966fa7747a84
e4 = 0xac6a45cfcc93f053

from pwn import *

ans1 = e1 ^ a[0]
ans2 = e2 ^ a[1]
ans3 = e3 ^ a[2]
ans4 = e4 ^ a[3]
test = int.from_bytes(flag[0:8], "little") ^ a[0]

print(f"possible: {ans1}")
print(f"assume: {hex(test)}")

ans1 = ans1.to_bytes(8, "little")
print(f"ans1: {ans1}")
ans2 = ans2.to_bytes(8, "little")
print(f"ans2: {ans2}")
ans3 = ans3.to_bytes(8, "little")
print(f"ans3: {ans3}")
ans4 = ans4.to_bytes(8, "little")
print(f"ans4: {ans4}")

FLAG: SECCON{y3t_4n0th3r_m0vfu5c4t0r?}

自作言語を作るまでに使えるツールたち

Sat, 03 Oct 2020 21:36:42 +0900

遂に、自作言語kaprinoが無事完成したのでその記念に、自作言語を実装するにあたって使った物をこの記事で紹介したいと思います。実際に自作言語を作ろうと思っても何から手を付けていいのか分からなくなってしまうことがあることは想像に難くないので、その様な人への羅針盤のような記事になることを期待しています。
ただ、それぞれの使い方まで言及すると記事の量がどえらい事になるので、使い方はいずれ書こうと思います。

これから自作言語作る予定がある方は必見です!
もう既に自作言語を実装した経験がある方は~~お手柔らかにお願いします。~~

自作言語kaprinoのソースコードを管理しているrepositoryへのリンクと自作のオンラインコンパイラ(この話はまた別の記事で)です。もし良かったら見てみてください。
Github kaprino-lang
Kaprino Online Compiler

まず自作言語を何故作ろうと思ったのか見出しへのリンク

~~なぜでしょうね。~~
自作言語を作る人がよく言うのは、使っている既存の言語に不満があって自分の好みにあった言語を作ってみたい、という感じでしょうが、私が自作言語を作ろうと思った理由は、本当になんとなくです。自作言語という言葉の響きによるものだと言えるかもしれませんし、単純に自分は気付いていないだけで言語に不満があったのかもしれません。
これは本題ではないのでこれくらいにしておきます。

言語を動かすまでを大雑把に把握見出しへのリンク

さて本題に入りましょう。
これから言語を作るまでに使ったものを紹介してゆく訳ですが、そもそも私の自作言語kaprinoがどのように動いているか説明したいと思います。

まず、kaprinoは静的な型付けの言語で、実行前にコンパイルを必要とします。
コンパイル とはソースコードを機械語に変換することです。このコンパイルは通常、以下の様な作業を行います。

Lexer (字句解析器) と呼ばれるものでソースコードを Token (小さい文字列)に分解
Parser (構文解析器) と呼ばれるものでTokenを AST (抽象構文木)に変換
ASTを低級言語(機械語やアセンブリ言語)に変換

ということはこの三つを行うプログラムを書くことが出来れば自作言語のコンパイラを手にする事ができます!

しかし、愚直にこれらを一から実装すると途轍もない時間がかかります。そこでライブラリを使って実装していくことになります。

以下、C++で書くことを前提として話を進めます
C#とかJavaとかRustとかでもいいんですがそれらは~~記事の対象外ということで~~

1. Lexerを実装する見出しへのリンク

Lexerはこれから行う3つの事の中では最も簡単に実装ができます。自力実装もそこまで難しくないです。
しかし、今回のテーマはツール紹介ということなので自力でやりたいよ、という方は無視します。
~~頑張って下さい。応援しています。~~

LexerをC++で実装する時に使われる有名なツール(ライブラリ)として挙げられるのはこの三つです。

lex (伝統的)
flex (再構築されたlex)
Antlr4 (新勢力)

flexはlexと構文がほとんど同じなので、lexを使うくらいならより新しいflexを使ったほうがいいと思います。
flexとAntlr4について言えば、どちらを選んでも困ることは起こらないので、それぞれ検索してみて、サンプルコードにシンパシーを感じた方を使えばいいと思います。

個人的にはAntlr4で書いた方が読みやすいと思ったので、kaprinoにもAntlr4を使っています。

2. Parserを実装する見出しへのリンク

ParserをC++で実装する時に使われる有名なツール(ライブラリ)として挙げられるのはこの三つです。

C++で全てのstd::minやstd::maxにエラーが出た時の対処法

Tue, 14 Jul 2020 21:53:29 +0900

今日、先程あった出来事なのですが、手元のLinux環境で動いているコードをWindows上でビルドしようとしたら突如大量のエラーが発生。

C:\Program Files (x86)\LLVM\include\llvm/ADT/StringRef.h(286,1): error C2059: syntax error: ')' [D:\a\kaprino\kaprino\build\kprc.vcxproj]
C:\Program Files (x86)\LLVM\include\llvm/ADT/StringRef.h(346,19): error C2589: '(': illegal token on right side of '::' [D:\a\kaprino\kaprino\build\kprc.vcxproj]
C:\Program Files (x86)\LLVM\include\llvm/ADT/StringRef.h(346,1): error C2062: type 'unknown-type' unexpected [D:\a\kaprino\kaprino\build\kprc.vcxproj]
C:\Program Files (x86)\LLVM\include\llvm/ADT/StringRef.h(346,1): error C2059: syntax error: ')' [D:\a\kaprino\kaprino\build\kprc.vcxproj]
C:\Program Files (x86)\LLVM\include\llvm/ADT/StringRef.h(579,20): error C2589: '(': illegal token on right side of '::' [D:\a\kaprino\kaprino\build\kprc.vcxproj]
C:\Program Files (x86)\LLVM\include\llvm/ADT/StringRef.h(579,1): error C2062: type 'unknown-type' unexpected [D:\a\kaprino\kaprino\build\kprc.vcxproj]
C:\Program Files (x86)\LLVM\include\llvm/ADT/StringRef.h(579,1): error C2059: syntax error: ')' [D:\a\kaprino\kaprino\build\kprc.vcxproj]
....

エラーが出ている部分を確認すると全てstd::minとstd::maxでした。

[C# tips] #3 C#を対話形式で実行しよう

Sun, 24 May 2020 06:36:13 +0900

簡単な計算をする時にPythonを使っていませんか?
対話形式で実行するのはとても便利ですよね。しかし、これと同じことはC#でも出来るのです。

そもそも対話形式とは? 見出しへのリンク

ユーザーがプログラムを入力すると、それを評価してくれるのが対話形式です。
Pythonを使ったことがあれば、以下のような感じです。

>>> a = 10
>>> a * a * 3.14
314.0

その場で計算してくれるので、書き捨てコードとしてとても有用です。(筆者は素数判定とかを無性にしたくなった時に使っています。)

C#って静的言語だから無理なんじゃないですか? 見出しへのリンク

Pythonは動的実行をしている(実行時に型変換等を行っている)のに対して、
C#はC++などと同じで静的言語であるので実行にはコンパイルが不可欠なはずです。
コンパイルが必要ということは、時間がかかりすぎるので対話形式で実行するのには致命的…

Wikipedia 動的プログラミング言語

しかし、C#を動的に実行したいと考える人はいるようで

C#を対話形式で実行する拡張見出しへのリンク

世の中にはC#を対話形式で実行したいと思う人が少なからずいるのでしょう。C#を標準で対話形式で実行することは出来ませんが、拡張を使用することでできるようになります。
いくつか拡張が存在するのでご紹介します。

C# REPL 見出しへのリンク

有名な対話形式の拡張として、オープンソースのC#の先駆けとなったMonoプロジェクトが提供する C# REPLがあります。

使い方は簡単です。Monoをインストールして

$ csharp

と実行するだけです。
以下の様にC#を対話形式で実行することが可能です。

$ csharp
csharp> using System;
csharp> var a = 10;
csharp> a * a * Math.PI;
314.159265358979

Mono C#を使用している方は今すぐ試すことができます。

dotnet script 見出しへのリンク

C# REPLはMonoプロジェクトのものでした。一方でこちらは .NET Coreで使うことができるものです。
dotnet scriptは .NET CoreにGlobal toolとして以下のコマンドを使用してインストール出来ます。
.NET Core 2.1以上が必要なことに注意してください。

GATAGATA Mental Shooting

Fri, 22 May 2020 19:02:15 +0900

開発当時、Unityを始めたばかりだったので、デバッグでメンタルがGATAGATAになりました。
移動: WASD or 矢印キー, 攻撃：クリック

[LLVM] CreateGlobalStringPtrがクラッシュするときの対処法

Sat, 02 May 2020 06:12:01 +0900

CreateGlobalStringPtrをif文のブロックの中で失敗したので、それを解決する方法をご紹介します。

発生したエラー見出しへのリンク

先ずは愚直にif文を実装していきましょう。

auto ifblock = llvm::BasicBlock::Create(module->getContext(), "then");

auto mergeblock = llvm::BasicBlock::Create(module->getContext(), "merged");

ブランチの分かれた部分と合流部分ですね。

builder->CreateCondBr(match, ifblock, mergeblock);

builder->SetInsertPoint(ifblock);

auto strptr = builder->CreateGlobalStringPtr("Hello World"); // ERROR !

builder->CreateBr(mergeblock);

その後でブランチを組込んで、if文の中にSetInsertPointしてから、“Hello World"という文字列をグローバル空間に確保してポインターを取得します。
この際、期待通りの動作であればグローバル空間に"Hello World"と書き込んでから、そのポインターを取得するという操作になります。
今、適当な関数の中のBasicBlockで、この操作を行ったものと仮定すれば、以下のようなコードとほぼ同等なはずです。

const char* str = "Hello World";

void somefunc() {
 bool match;

 if (match) {
 // Create global string poiter and it points "HelloWorld".
 auto strptr = str;
 }
}

しかし、このコードは失敗してしまいます。なぜでしょうか。

BasicBlockの親の関数に注意! 見出しへのリンク

鋭い方はもうお気づきでしょうが、(私は全く鋭くないので気づくのに2時間かかりました)
ifblockとmergeblockの親の関数が指定されていません。BasicBlock::Createは親の関数を指定しなくても使えるので、意外と気づかないではまってしまいました。

BasicBlock::Create(LLVMContext &Context, const Twine &Name="", Function *Parent=nullptr, BasicBlock *InsertBefore=nullptr);

llvm::BasicBlock Class Reference

親の関数を指定していなくても様々な操作をできるのですが、CreateGlobalStringPtrを呼び出すには関数とBasicBlockが必要条件なので実行に失敗していたわけです。

ということで纏めると、親の関数を指定しないとCreateGlobalStringPtrは呼び出せないよ、ということです。

[おまけ] 現在挿入中の関数を取得する見出しへのリンク

現在のBasicBlockを取得してからその親の関数を取得すれば実現可能です。 BasicBlockを一度介すのがミソです。

auto parent = builder->GetInsertBlock()->getParent();

これを使用すれば、以下の様に書き換えて先程のコードを動かすことができます。

auto ifblock = llvm::BasicBlock::Create(module->getContext(), "then", parent);

auto mergeblock = llvm::BasicBlock::Create(module->getContext(), "merged", parent);

さいごに見出しへのリンク

これだけは言いたい。LLVMの日本語資料少なすぎー! ~~(英語読めよ)~~
まあ、これがLLVMの記事をかく原動力になっているのですが。

[C# tips] #2 privateなメンバーにアクセスしよう

Fri, 10 Apr 2020 18:08:04 +0900

これで二回目です。前回はC#のLinqに関する軽い紹介を書きました。
今日のテーマは"privateなメンバーにアクセスしよう"です。

注意見出しへのリンク

この記事ではSystem.Reflectionを使用してprivateなメンバーにアクセスする方法をお伝えします。ただ、自己責任でお願いします。(危ない操作ではありませんが、人のコードに対して行えば著作権侵害とかになりえるので。)

突然ですが問題です見出しへのリンク

あなたは以下のようなクラスのインスタンスを与えられました。
このクラスにはどうやらfloat型の変数があってそれは秘密の値で初期化されているようです。
秘密にされると暴きたくなるのが人間の性、Capra君はどうしても秘密の値を知りたいです。
果たしてどうすれば秘密の値を手に入れられるでしょうか?

public class HasSecret
{
 private float ????? = ?????;
 public float dummy1 = 3.14f;
 private int dummy2 = 314;
}

ならディスアセンブルすれば…? 見出しへのリンク

確かに、dnSpyというC#で凄まじい威力を発揮するディスアセンブラを使えば瞬殺できます。ただ、やはりC#のコードで解決したいですよね。(というより、dnSpy使うのなら記事の意味がなくなってしまいそう…)

GitHub - 0xd4d/dnSpy

ということでC#のコードからHasSecret内の変数にアクセスしてみましょう。

まずは愚直にアクセス見出しへのリンク

試しに、dummy2に何も考えずにアクセスしてみましょう。

var secret = new HasSecret();
Console.WriteLine(secert.dummy2);

error CS0122: 'HasSecret.dummy2' is inaccessible due to its protection level

当然ながらエラーが発生しました。これでアクセス出来たらライブラリ開発者はたまったものじゃないですよね。せっかくの実装の隠蔽が意味をなさなくなりますから。

また、この方法だと、privateな変数にアクセスするどころか変数名さえわかりません。
今回は変数名さえわからない状態なので、どうすればいいのでしょうか…

ここでSystem.Reflection 見出しへのリンク

ここから、System.Reflectionを使っていきます。
System.Reflectionは型の情報を使用して動的に物事を処理する方法を提供するクラスを揃えたバリューパックのような名前空間です。

それではそれらを使用して、privateな変数にアクセスしていきましょう。
まず、GetType関数を使って動的に型を取得します。静的に型を取得したい方はtypeofキーワードを利用するといいと思います。
受け取った型の型はSystem.Typeとなります。

// using System.Reflection;

var secret = new HasSecret();

var type = secret.GetType();

型を変数として受け取ったら、型が持っているGetFieldsを呼び出します。名前から想像がつくように、型から、条件を満たす全てのFieldの情報を取得してくる関数です。因みに戻り値はSystem.Reflection.FieldInfo[]です。

[LLVM] printfでFloat型の足し算の結果を表示する

Thu, 09 Apr 2020 13:06:28 +0900

LLVMのC++ APIを使用して、printfでFloat同士の足し算の結果を表示するLLVM IRを表示するまでを行いたいと思います。

筆者の環境見出しへのリンク

LLVM: LLVM 9.0.1
Compiler: Visual Studio付属のcl.exe

こんなコードを出力したい見出しへのリンク

以下のC言語のプログラムと同じ動きをするLLVM IRを出力するのが今回の目標です。
floatの値を2つ足し算をしてprintfですね。

#include <stdio.h>

int main() {
 float f1 = 3.5;
 float f2 = 6.4;
 printf("%f + %f = %f\n", f1, f2, f1 + f2);
 return 0;
}

まずはprintfを定義しよう見出しへのリンク

まず、printfの定義について思い出してみましょう。
printfは関数の引数として、フォーマットの文字列と、複数の値をとることができます。
戻り値はInt32型で帰ってきます。(私は戻り値を使ったことがあまりないです。)

int printf(const char* format, ...);

それではC++のコードで実装していきます。
まず、LLVMのサポートClassを初期化していきましょう。
Builderが大文字なのは、LLVMの公式Tutorialで大文字になっていたので、それに慣れてしまったからです。変数名は勿論変えていただいて問題ありません。

llvm::LLVMContext context;
llvm::IRBuilder<> Builder(context);
llvm::Module* module;

module = new llvm::Module("test.ll", context);

これからいちいち型を定義するのは大変なので、基本的な型はマクロとして簡単にかける様にしておきます。これは本当に我流なのでこのマクロを定義するのが一般的だと思い込まないでください…

#define LLVM_INT8_PTR_TY llvm::Type::getInt8PtrTy(context)
#define LLVM_INT32_TY llvm::Type::getInt32Ty(context)
#define LLVM_FLOAT_TY llvm::Type::getFloatTy(context)
#define LLVM_DOUBLE_TY llvm::Type::getDoubleTy(context)

これで前準備は終了です。printfの定義に移っていきましょう。
まずは関数の"型"を定義します。戻り値の型とvectorに詰めた引数の型をllvm::FunctionType::getに投げて、関数の型を受け取ります。
Int8型(Char型)のポインターを引数にして、戻り値をInt32型で返します。

std::vector<llvm::Type*> printfFuncArgs;
printfFuncArgs.push_back(LLVM_INT8_PTR_TY);

auto printfFuncType = llvm::FunctionType::get(
 LLVM_INT32_TY,
 printfFuncArgs,
 true
);

続けてprintf本体を作成しましょう。以下のようになります。

[C# tips] #1 C#でSQLみたいな構文?

Mon, 30 Mar 2020 16:26:36 +0900

30億のデバイスで動くJavaの方がC#より強そう

C#ってWin APIを呼ぶやつ…?

このような事をいわれたことがあったので、対抗策として、C#の豆知識や小話(というほどでもない)を紹介するシリーズを始めようと思った次第です。
これが、記念すべき第一回です。

本編見出しへのリンク

じつはC#にはSQL likeな構文が用意されています、というのが今回の話です。(あ、これ知ってるよという方、~~黙ってこのページを閉じてください~~)

SQLと聞くと…

データベースの操作をするやつ
クエリを投げるやつ
~~実はSQLは言語そのもののことではない~~

など色々思い浮かべると思います。

SQLはデータを処理するのに特化した言語です。SQLでゲームを作るなどという話は聞いたことがありません。

SQLでデータを取り出してみる見出しへのリンク

例えば、SQLのデータベースに以下のようなテーブルがあったとします。

Table名 : TestResults

math	english	name
50	100	A
60	70	B
80	80	C
40	90	D

この時、mathが50以上なものを取り出し、englishの値の降順でソートしたいと思います。

SELECT math, english
FROM TestResults
WHERE math >= 50
ORDER BY english DESC;

これを行うSQLの文はこのようになります。ここでの解説は本題ではないので飛ばします。詳しくはググって下さい。

C#でこれができたなら… 見出しへのリンク

できます。System.Linqを使用しましょう。

まず、Listを用意しましょう。Tupleを使用しました。古いバージョンのC#をお使いの方と匿名型大好きな方、すみません。

// using System;
// using System.Collections.Generic;

var testResults = new List<(int math, int english, string name)>() {
 (50, 100, "A"),
 (60, 70, "B"),
 (80, 80, "C"),
 (40, 90, "D")
};

そして、C#でSQL likeに同じ処理を行ってみましょう。

Avalonia UIで画像を使ったボタンを作成する方法

Sun, 29 Mar 2020 10:17:52 +0900

今回は、知らないと難しい、Avalonia UIで画像を使ったボタンを作成していきます。
前置きはさっさと飛ばして、本題に入りましょう。

前提条件見出しへのリンク

もう既にAvaloniaのプロジェクトを作っていること。
ボタンにする画像を選んでいること。

画像の準備見出しへのリンク

私は3枚の画像を選びました。通常の見た目と、Hover時の見た目と、Click時の見た目です。1枚で全ての場合をやってもいいんですが、Userが見た目からボタンとして認識してくれない危険性があるので推奨はしません。

画像はAssetsフォルダに入れます。
もし、Assetsフォルダがない!という場合は、Assetsフォルダを作ってから、プロジェクトファイルに

<ItemGroup>
 <AvaloniaResource Include="Assets\*"/>
</ItemGroup>

と追記してください。

UserControlを作る見出しへのリンク

先ずは、UserControlを作成しましょう。名前は適宜読み替えてください。

[Visual Studio]

Right click your project’s Views folder in Solution Explorer

Select the Add -> New Item menu item

In the dialog that appears, navigate to the “Avalonia” section in the category tree

Select “User Control (Avalonia)”

Enter TodoListView as the “Name”

Click the “Add” button

[.NET Core]

WSL2を使えるようにする

Sat, 14 Mar 2020 20:04:43 +0900

Windows上でLinuxをエミュレートしてくれるWSLが進化を遂げ…
遂にWSL2が使用出来るようになりました!やったね!

このニュースを聞いたら、当然プログラマー的には使ってみたくなりますよね。
ということで、気楽にインストールしようとしたら…“あれ?コマンドがないよ"みたいにWindowsに怒られてしまいました。

WSL2を使用出来るようにするのは一筋縄ではいかなかったので使用できるまでの道筋を紹介していきたいと思います。

WSL2はまだ安定していない様なので あくまで自己責任で お願いします。

まず、Windowsをアップデート見出しへのリンク

実は、私はこれを忘れて数分溶かしました。

WSL 2 is only available in Windows 10 builds 18917 or higher
Microsoft - WSL2 Install

なるほど、Windows 10のビルド番号18917番以降を持っている必要があるのですね。
しかしながら、ただ、愚直にWindowsをアップデートしても、現段階では18917番以前のものになってしまいます。(バージョン確認にはwinverコマンドを)

それを解決するために、Windows Insiderに加入しましょう。
これは、Windowsの新しいバージョンをMicrosoftが配布し、問題を見つけたら報告するというシステムです。
試験的な内容をいち早く使うことが出来ます。

Microsoftアカウントを持っていると登録は一瞬で終わります。なんと、無料　です。

続いて設定を開きます。そして"更新とセキュリティ"をクリック。

“Windows Insider Program"をクリックして、ログインしてください。
Insiderの設定は"スロー"で問題ないと思います。

続いて、“Windows Update"に移って、“更新プログラムのチェック"をクリック。先程までなかった、より新しいWindows 10のバージョンへの更新ができるようになります! これで、先程のWindowsバージョン問題は解決です。あとは、ひたすらWindows Updateを見る会です。

WSLをインストールしていく見出しへのリンク

WSLのインストール方法は通常の方法と同じなので割愛します。
以下のサイトがわかりやすかったです。(~~丸投げ~~)

Qitta - Windows Subsystem for Linuxをインストールしてみよう！ @Aruneko

本当にWSLのインストールと同じです。
WSLを既にインストールしているよ、という方はここをスルーしても大丈夫です。

Hugoで_index.mdの仕様を変更した話

Thu, 12 Mar 2020 10:35:31 +0900

今回は、Hugoについてです。
_index.mdは標準では限られたコンテンツしか含めないので、それを改造していきたいと思います。
そもそも_index.mdとは?というところにも触れるので、_index.mdとindex.mdの仕様に疑問がある方は必見です。

Hugoでの_index.md 見出しへのリンク

以下のようなフォルダがサーバー上にあったとします。

- contents
 - old
 * index.html
 * old_content.html
 * index.html
 * content1.html
 * content2.html

この時に、contents/とcontents/index.htmlはアクセスしたときに同じ様に表示されます。
同様にcontents/old/とcontents/old/index.htmlも同じ表示となります。
これは、フォルダにアクセスしたときに、index.htmlが存在するか探索されるからです。

一方で、Hugoでは、index.mdと_index.mdというこれとほぼ同様の役割を果たすものをが用意されています。
ただ、これらは厳密には異なり、仕様が異なります。

ひとつづつ見ていきましょう。

index.mdの仕様見出しへのリンク

index.mdはほとんどindex.htmlのようなものであると思ってもらってもいいです。

- contents
 - blog
 * index.md

のようにファイルを配置すれば、ビルド後は、[servername]/blog/とアクセスすることもできるし、 [servername]/blog/index.htmlとアクセスすることも出来ます。

ただ、index.mdには__落とし穴__が…

- contents
 - blog
 - item
 * index.md <- NG (index.md被りは禁止)
 * index.md <- OK
 * server.md <- NG (server/indexかのように扱われる)
 - about
 * index.md

このような配置をして、ビルドすると、server.mdとitem/index.mdがビルドされません!
なぜかと言うと、index.mdは 下層ノードでの重複が禁止 されているからです。
即ち、blog/はもう既にindex.mdを持っているので、子ディレクトリのindex.mdはビルドされません。 Hugoはserver.mdの様なファイルをserver/index.htmlにビルドしようとするのでserver.mdもビルドされません。

LLVMをWindowsで使いたくて入れたらlliなかった話

Sat, 07 Mar 2020 12:54:53 +0900

オレオレ言語を作るためにAntlr4を習得(?)したcapra314cabraです。
今回は自分のWindowsのパソコンにLLVMを使える環境を作ろうとして手こずったのでそれの事について書いていきたいと思います。

まずLLVMって? 見出しへのリンク

The LLVM compiler infrastructure project is a set of compiler and toolchain technologies, which can be used to develop a front end for any programming language and a back end for any instruction set architecture.

wikipedia LLVM

そういうことらしいです。LLVMのツール群の使い方は触れない予定なので、~~他のサイトをご覧下さい。~~

最初にやったこと(失敗談) 見出しへのリンク

取り敢えず、思考停止でLLVMのリリースページへ
現時点でLLVM9.0.1が最新ですが、Pre-Built Binariesの何もなかったので、LLVM9.0.0のところにあるWindows (64-bit)をポチっとしてダウンロード。インストラーだったので実行してインストール完了!

…と思いきや、Clang等はインストールされていたものの、lliやllc、llvm-asなどが見当たりませんでした。

次にやったこと(失敗談) 見出しへのリンク

Chocolatery(Windows用のパッケージマネージャ)を使ってLLVMを入れれば全部のせになるかな、という希望的観測でやってみると、ひとつ前と全く同じ…

他の人がビルドしているものを貰う(止めた) 見出しへのリンク

古いのばかり出てきました(LLVM3が多い印象)
LLVM9.0.0が使いたいのでうーん、といった感じ

Aimed Thief

Sun, 16 Feb 2020 17:49:03 +0900

このゲームはOpen-Sourceです! GitHub
撃つ: Space, 移動: WASD or 矢印キー

混沌の格闘家

Sun, 16 Feb 2020 17:49:03 +0900

サブタイトルにあるように、話し合いで解決しないと世界はこうなります()
移動: AD or 矢印キー, ジャンプ: W or 矢印上キー, 攻撃：Space

[CTF] Nullcon HackIM 2020 writeup

Sun, 09 Feb 2020 17:54:45 +0900

Nullcon HackIM 2020に出たのでそのwriteupでも書こうかなーと思った次第です。

結論から申し上げますと、解けた問題は1問です…(しかも、その問題はコピペするだけ)

ただ、そんなのではwriteupとして意味をなさないので、競技終了後も作業していました。
結局ZeldaAdventureの最初の1問を解くことができたのでそれをここに載せます。

問題の見た目見出しへのリンク

Unity製のGameで、このNPC(白い敵)を1体以上倒すとFlagを手に入れられる、とあります。
Playerは剣と体当たり(接触)することでNPCにダメージを与えられますが、敵のHPがとても高く、現実的な時間に倒せないようになっています。

やったこと見出しへのリンク

UnityのWindowsでビルドした時のファイル構成は決まっています。
特に、プログラマーが書いたコードはAssemblyCSharp.dllというファイルにコンパイルされて存在しています。

ここで、dnSpyを使用してAssemblyCSharp.dllの中のコードを読んでみます。
コードの森を探索していると…

// Token: 0x06000006 RID: 6
private void TakeDamage(float damage)
{
 this.health -= damage;
 if (this.health <= 0f)
 {
 base.StartCoroutine(this.ShowSome());
 base.gameObject.SetActive(false);
 }
}

ダメージを処理している部分を見つけました。
HPが0になるとShowSomeというコールチンを回し始めるようです。

// Token: 0x0600000A RID: 10
private IEnumerator ShowSome()
{
 this.textbox.SetActive(true);
 yield return new WaitForSeconds(3f);
 this.textbox.SetActive(false);
 yield return null;
 yield break;
}

ShowSomeをみるとthis.textboxを見せるようにしているみたいです。
これはこのTextBoxがFlagを持っているのでしょう。
dnSpyは実はDLLを編集する事が出来るので、このthis.textboxを最初から表示させるようにコードを書き換えれば、Flagゲットです。

Flag: REVOLUTIONSTARTSWITHME

フォントがおしゃれすぎて読みにくかったです(褒めてます)

おわりに見出しへのリンク

HackIM 2020の前に無力さを感じたので、もっと勉強してから出直します…

参考見出しへのリンク

Unity-Game-Hacking

Powershellでsudoしてみたい話

Wed, 11 Dec 2019 22:28:26 +0900

今回紹介することはタイトルそのままです。
PowershellではBashのsudoのように簡単に管理者権限で実行出来るようにするコマンドがありません。
そこで、それとほぼ同等なものを作りたい、というのが今回の話題です。
早速、始めて行きましょう。

手元の環境見出しへのリンク

Powershell 6.2.3

私が使っているPowershellはWindowsに標準でインストールされている.NET Framework依存のものではなく、 .NET Core依存のものです。これはWindowsだけでなくmacOSやLinuxでも動くのでWindows以外を使っている方もインストール出来ます。

以降、Powershellの実行ファイル名をpwsh.exeとしていますが、.NET Framework依存のものをお使いの方は適宜powershell.exeで読み替えてください。

コマンドの実装方針見出しへのリンク

sudoと同等な機能をもった関数を実装し、sudoという名前のAliasとして登録する。

方法見出しへのリンク

まず、Powershellを起動し、$profileの値を読みます。

pwsh
# PowerShell 6.2.3
# Copyright (c) Microsoft Corporation. All rights reserved.
#
# https://aka.ms/pscore6-docs
# Type 'help' to get help.

$profile
# C:\.....\Microsoft.PowerShell_profile.ps1

続いて読んだパスのファイルを開きます。
お好みのソフトで開きましょう。因みに私はVisual Studio Codeで開きました。

code $profile

開けたら以下のようなコードを書きます。

# 管理者権限で実行する関数
function SudoRun
{
 # $programにコマンドを詰める
 foreach($arg in $args)
 {
 $program = "$program $arg"
 }

 # Powershellにより管理者権限で実行
 pwsh -command "Start-Process -Verb runas $program"
}

# 関数をAliasとして登録する
Set-Alias -Name sudo -Value SudoRun

これを書いたら、そっとそのファイルとPowershellを閉じましょう。
その後、Powershellを起動すると、もうあなたはsudoをPowershellで使うことができます!

[競プロ]役に立つCompareマクロ

Sun, 08 Dec 2019 22:24:27 +0900

TL;DR 見出しへのリンク

任意の方法で変数を比較する型を一行で作るためのマクロ

#define C(t, f) struct C##t { constexpr bool operator()(t const & a, t const & b) const noexcept { return f(a, b); } }

structの型名とマクロ名はお好みの名前に付け直してください。

マクロの説明見出しへのリンク

競技プログラミングで見かけるgreater<T>とless<T>という型。
このgreater<T>は大なり記号、less<T>は小なり記号と同じ意味を持っています。
これらは、たとえば逆順のPriorityQueueを使うときに用いられます。

// このPriorityQueueは小さい順に出てくる
priority_queue<int, vector<int>, greater<int>> pq;

// この二つは同じ動作をする
priority_queue<int, vector<int>, less<int>> pq;
priority_queue<int> pq;

しかし、これだけしかないと問題が生じます。
たとえば、pair<int, int>型でsecondの要素が小さい順に出すPriorityQueueが必要だとします。
この時にgreater<pair<int, int>>だとfirstの大小関係が優先され期待通りとなりません。

ではどうすればよいか。

struct ComparePair {
 constexpr bool operator()(pair<int, int> const & a, pair<int, int> const & b) const noexcept {
 if(a.second == b.second){
 return a.first > b.first;
 }
 return a.second > b.second;
 }
};

上のように自前で比較をする型を作ればいいのです。こうすれば、

// 名前を簡略化
#define P pair<int, int>

// このように書けばsecondで順番が決定する
priority_queue<P, vector<P>, ComparePair> pq;

secondが小さい順に値が出てきます。

C#でのusingの使い方を4つ紹介

Sat, 16 Nov 2019 16:40:39 +0900

今回はC#で欠かせない存在のusingの使い方を四つに分けて紹介したいと思います。
早速、始めていきましょう!

ディレクティブとしてのusing 見出しへのリンク

C#でusingと言えば最初に思い浮かべるであろう使い方は、やはりディレクティブとしてのusingでしょう。 usingディレクティブと聞いてピンと来なかった方も以下のコードを見ればわかるはずです。

// これがディレクティブとしてのusing
using System;

このusingは、異なる名前空間の中にあるモジュールを短い名前で呼び出す為に使用されます。例えば、ファイルの読み書きをストリームで行いたいときに

System.Text.Encoding enc = System.Text.Encoding.GetEncoding("UTF8");
System.IO.StreamWriter writer = new System.IO.StreamWriter("./some_file.txt", false, enc);

と書くことはできますが、これでは余りにも冗長で可読性が低くなってしまいます。
こんな時こそusingです。
usingを使えば名前空間を省略できます。先ほどの例であれば

// ファイルの先頭にこれらを書く
using System.Text;
using System.IO;

// Before
System.Text.Encoding enc = System.Text.Encoding.GetEncoding("UTF8");
System.IO.StreamWriter writer = new System.IO.StreamWriter("./some_file.txt", false, enc);

// After
Encoding enc = Encoding.GetEncoding("UTF8");
StreamWriter writer = new StreamWriter("./some_file.txt", false, enc);

なんということでしょう。あんなに読みにくかったコードがこんなに簡潔に! (今回の内容とは関係ないですがvarを使うともっと読みやすくなります。)

忘れられがちなusing static 見出しへのリンク

先程のusingの派生としてusing staticというものがあります。これはクラス名を省略できるようにする為に使われます。例をあげます。

// ファイルの先頭にこれを書く
using static System.Math;

// 半径10の円と同じ面積の正方形の一辺の長さを求めたい

// Before
double radius = 10d;
double ans = Math.Sqrt(radius * radius * Math.PI);

// After
double radius = 10d;
double ans = Sqrt(radius * radius * PI);

本来、Math.Sqrt Math.PIと書かなければならない所をこんなにも簡潔に書く事ができます。 using staticはその名前の通りstaticなメンバについてのみクラス名を省略できるようになります。 (そうでなかったら色々やばそうですが…)
因みにこの機能はあまり使わない印象です。使うのであればSystem.MathかSystem.Console位でしょうか。

名前を変えるusing 見出しへのリンク

ある日、caphosra君は以下のようなを実装しました。