acl4の開発ログ #02
ここまでのもくじ
2025.12.11(木) #1
- 基本方針(自分が思い出すために書く):
- 簡単にできることはやる、簡単にできないことはやらない。
- 明らかにおかしいことはエラーだと指摘するけど、おかしいとは限らない場合は指摘しない(=警告はない)。
- ADbgLv=0の場合は、すべてのエラーチェックのためのオーバーヘッドは消えなければいけない。
- ソースコードライブラリとして提供するので、コンパイラや環境を選ばない。
- ここまでの(上記以外の)特徴:
- メモリリークは見つけられる。
- mallocしてないメモリに対するfree・二重freeは検出できる。
- デストラクタを呼び忘れているオブジェクトは検出できる。
- acl4についてわいわいがやがやする場所は、osdev-jpのDiscordの「k-tanの個人チャンネル / acl4 : C言語でもここまでできる」です。
2025.12.11(木) #2
- 次にやるのは use-after-free 対策案を試すこと。