blog

occasional notes on program analysis and software security