displays breadth of security, safety, and static analysis
summary
GrammaTech presents a concrete stack: 25 years of static analysis of source, plus about 8 years of binary analysis, added binary transformations and binary hardening. The product CodeSonar finds complex concurrency bugs, taint analysis surfaces dangerous interfaces that enable exploits, and binary analysis inspects what actually runs on the CPU. Also offers auditing services and hardening workflows that, according to the demo claims, reduce exploitable flaws in deployed firmware.
AI-written summary · about
related talks
54mA Shock to the System Static Analysis for Real AppSec
33mBattle Tested Application Security
44mUsing Static Analysis Tools to Become A Superhero Programmer
58mSecurity Static Analysis - Avoiding an Angry Mob of Engineers
21mDeveloping secure applications
43mEverything I learned about static analysis and program safety in C++
42mContemporary Automatic Program Analysis
42mSWAMP & Partners Panel Discussion