Our mission: profoundly improve software security and reliability to safeguard human progress
We're a small San Francisco startup passionate about improving software security and reliability. We make tools for developers, researchers, and hackers that simplify program analysis and make it accessible in the development workflow.
Our developer tool, Bento, is a free program analysis toolkit focused on bugs that matter, and the r2c platform brings together program analysis authors with people who review and fix software security issues. With an emphasis on actionable results and a tight feedback loop between developers and analysis authors, we can make software more reliable and secure for all.