Automated Static Analysis - Binary or Bytecode
HighAccording to SOAR [REF-1479], the following detection techniques may be useful:
```
Highly cost effective:
```
Bytecode Weakness Analysis - including disassembler + source code weakness analysis
Binary Weakness Analysis - including disassembler + source code weakness analysis
```
Cost effective for partial coverage:
```
Binary / Bytecode Quality Analysis
Binary / Bytecode simple extractor - strings, ELF readers, etc.
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 Manual Results Interpretation
HighAccording to SOAR [REF-1479], the following detection techniques may be useful:
```
Highly cost effective:
```
Debugger
```
Cost effective for partial coverage:
```
Monitored Virtual Environment - run potentially malicious code in sandbox / wrapper / virtual machine, see if it does anything suspicious
Manual Static Analysis - Source Code
HighAccording to SOAR [REF-1479], the following detection techniques may be useful:
```
Highly cost effective:
```
Manual Source Code Review (not inspections)
```
Cost effective for partial coverage:
```
Focused Manual Spotcheck - Focused manual analysis of source
Automated Static Analysis - Source Code
HighAccording to SOAR [REF-1479], the following detection techniques may be useful:
```
Highly cost effective:
```
Source code Weakness Analyzer
Context-configured Source Code Weakness Analyzer
```
Cost effective for partial coverage:
```
Warning Flags
Source Code Quality Analyzer
Automated Static Analysis
SOAR PartialAccording to SOAR [REF-1479], the following detection techniques may be useful:
```
Cost effective for partial coverage:
```
Origin Analysis
Architecture or Design Review
HighAccording to SOAR [REF-1479], the following detection techniques may be useful:
```
Highly cost effective:
```
Formal Methods / Correct-By-Construction
Inspection (IEEE 1028 standard) (can apply to requirements, design, source code, etc.)