- Products
- Solutions
- Shift Left Academy
- Research
- Resources
- About Us
- Community
A New Era of Software Forensics with Static Analysis
The term “forensics” refers to the method of using science to discover evidence of criminal activity. Extending this to software broadens the use case to consider all the purposes of software investigation techniques. Software is ubiquitous, and is a part of all mission-critical systems. As such, software failures have tremendous real-world effects. In software, “forensics” refers to the method of using tools and techniques to uncover software evidence for purposes such as criminal investigations, civil cases (e.g. safety failures), commercial product failures, and security breaches.
This paper discusses how static analysis is an important tool in software forensics, and how hybrid source and binary code analysis can be applied and the advantages to investigation efficiency.
GrammaTech is a leading developer of software-assurance tools and advanced cyber-security solutions. GrammaTech helps organizations develop and release high quality software, free of harmful defects that cause system failures, enable data breaches, and increase corporate liabilities in today's connected world.
[fa icon="phone"] General: +1-607-273-7340
[fa icon="phone"] Sales: +1-301-941-4532
[fa icon="envelope"] sales@grammatech.com