security / LLVM · C

A sound static analyzer for C memory-safety bugs (buffer overflows, use-after-free, integer-overflow allocations), built on LLVM. Its defining property is that it never guesses: it only reports an access SAFE when it can prove it, only reports a BUG when it can prove that, and otherwise abstains with TOP and a residual — the exact condition that would have to hold for the access to be safe — which a solver or fuzzer can then discharge.

cryptography · security / Python

A research prototype that renders confidential text as a coherent but unfamiliar writing system, resolving to plaintext only for a holder of the correct passphrase. The rendered script is driven entirely by a public value, so the font can be published without weakening the scheme; all confidentiality lives in a standard authenticated cipher.

Python

A Python CLI tool that scaffolds, builds, and manages dependencies for C and C++ projects. Wraps vcpkg (manifest mode), CMake, and a manager-agnostic lock file into a minimal, reproducible developer workflow.