Kestrel Technology LLC
1 Follower
Personal Information
Organization / Workplace
Palo Alto, CA United States
Industry
Technology / Software / Internet
Website
www.kestreltechnology.com
About
We perform applied R&D in computer science to solve problems in software verification, reverse engineering, and malware analysis. Look for our commercial products available by subscription soon at www.staticanalyzer.com.
Contact Details
Tags
static analysis abstract interpretation reverse engineering incident response binary analysis malware analysis invariants proof obligations verification conditions memory safety
See more
No uploads yet
But you can browse tons of interesting content on our featured content page.
Personal Information
Organization / Workplace
Palo Alto, CA United States
Industry
Technology / Software / Internet
Website
www.kestreltechnology.com
About
We perform applied R&D in computer science to solve problems in software verification, reverse engineering, and malware analysis. Look for our commercial products available by subscription soon at www.staticanalyzer.com.
Tags
static analysis abstract interpretation reverse engineering incident response binary analysis malware analysis invariants proof obligations verification conditions memory safety
See more