Automated Static Analysis - Binary or Bytecode
SOAR PartialAccording to SOAR [REF-1479], the following detection techniques may be useful:
```
Cost effective for partial coverage:
```
Bytecode Weakness Analysis - including disassembler + source code weakness analysis
Manual Static Analysis - Binary or Bytecode
SOAR PartialAccording to SOAR [REF-1479], the following detection techniques may be useful:
```
Cost effective for partial coverage:
```
Binary / Bytecode disassembler - then use manual analysis for vulnerabilities & anomalies
Dynamic Analysis with Automated Results Interpretation
SOAR PartialAccording to SOAR [REF-1479], the following detection techniques may be useful:
```
Cost effective for partial coverage:
```
Web Application Scanner
Web Services Scanner
Database Scanners
Dynamic Analysis with Manual Results Interpretation
SOAR PartialAccording to SOAR [REF-1479], the following detection techniques may be useful:
```
Cost effective for partial coverage:
```
Fuzz Tester
Framework-based Fuzzer
Manual Static Analysis - Source Code
HighAccording to SOAR [REF-1479], the following detection techniques may be useful:
```
Highly cost effective:
```
Focused Manual Spotcheck - Focused manual analysis of source
Manual Source Code Review (not inspections)
Automated Static Analysis - Source Code
SOAR PartialAccording to SOAR [REF-1479], the following detection techniques may be useful:
```
Cost effective for partial coverage:
```
Source code Weakness Analyzer
Context-configured Source Code Weakness Analyzer
Architecture or Design Review
HighAccording to SOAR [REF-1479], the following detection techniques may be useful:
```
Highly cost effective:
```
Formal Methods / Correct-By-Construction
```
Cost effective for partial coverage:
```
Inspection (IEEE 1028 standard) (can apply to requirements, design, source code, etc.)