Patent Leaderboard
USPTO Patent Rankings Data through Dec 31, 2025
Home › Apparatus and method for analyzing source code using memory operation evaluation and boolean satisfiability

Apparatus and method for analyzing source code using memory operation evaluation and boolean satisfiability

US Patent 8527975 · Granted Sep 3, 2013

Estimated economic value: $21,320,000 ⓘ

Assignee

Inventors

View full patent text on Google Patents →

More Patents by These Inventors

Shared resources control in a multi-tenant system2022
Application security testing2020
Application security testing2020
System and methods for implementing control of use of shared resource in a multi2019
Application security testing2016
Application security testing2016
System and method for importing heterogeneous hashed passwords2016
System and method for importing heterogeneous hashed passwords2016
Apparatus and method for developing secure software2016
Apparatus and method for developing secure software2016
Application security testing2015
Application security testing2015