Name: K_atc
Type: User
Company: Octotastic security company/laboratory.
Bio: I'm 友利奈緒 (Tomori Nao) and security engineer/researcher.
Working on automation of vulnerability finding.
Twitter: K_atc
Location: Japan, Tokyo, Kaoru-san's House
Blog: https://tomorin.me/
K_atc's Projects
generates ABI list defined by LLVM DataFlowSanitizer, and currently aims to ignore functions defined external library
Rust I/O for no_std
Documentation for the angr suite
play with angr (https://github.com/angr/angr/) !!
ARM Trusted Firmware
Dynamic security analysis of embedded systems’ firmwares
Avatar sample program for nucleo-l152re (original is eurecom-s3/avatar-samples)
勾配ベースの制約ソルバーの実装とバイナリ解析への適用
Binay diff library & tool written in Rust
トレースログを入力とした、実行された基本ブロックをハイライトするBinaryNinjaのプラグイン
Branch prediction.
This is DNS Tunneling detection challenge!
compile_commands.json based dependency listing tool
DyninstAPI: Tools for binary instrumentation, analysis, and modification.
TomoriNao Vol.2 のネタ
SECCON 2019 決勝(国内・国際共通問題)で出題
フォントエクスプローラーみたいなやつ
Git Challenge Quiz
Git Challenge Quiz
Chisel3 をお試しするリポジトリ
K_atcなりのCSS記述ルールです。This repo. is K_atc's description rules of CSS.
なんかの掲示板
Qiita Modoki on PHP
📃 Compute differences between two slices using LCS algorithm.
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.
A ground-truth fuzzing benchmark suite based on real programs with real bugs.
Firefox add-on to view markdown files
command line builder for mbed
Framework for lifting x86, amd64, and aarch64 program binaries to LLVM bitcode