| Fortify Software, Inc. Patent applications |
| Patent application number | Title | Published |
|---|
| 20090119648 | APPARATUS AND METHOD FOR ANALYZING SOURCE CODE USING MEMORY OPERATION EVALUATION AND BOOLEAN SATISFIABILITY - A computer readable storage medium includes executable instructions to identify a memory operation in target source code. A set of constraints associated with the memory operation are developed. The constraints are converted into a Boolean expression. The Boolean expression is processed with a Boolean satisfiability engine to determine whether the memory operation is potentially unsafe. | 05-07-2009 |
| 20090119624 | APPARATUS AND METHOD FOR ANALYZING SOURCE CODE USING PATH ANALYSIS AND BOOLEAN SATISFIABILITY - A computer readable storage medium includes executable instructions to identify a path in target source code. Constraints associated with the path are extracted. The constraints are converted to a Boolean expression. The Boolean expression is processed with a Boolean satisfiability engine to identify either a feasible path or an infeasible path. A feasible path is statically analyzed, while an infeasible path is not statically analyzed. | 05-07-2009 |
