Automated Static Analysis
LimitedAutomated static analysis is useful for detecting certain types of authentication. A tool may be able to analyze related configuration files, such as .htaccess in Apache web servers, or detect the usage of commonly-used authentication libraries.
Generally, automated static analysis tools have difficulty detecting custom authentication schemes. In addition, the software's design may include some functionality that is accessible to any user and does not require an established identity; an automated technique that detects the absence of authentication may report false positives.
Manual Static Analysis
HighThis weakness can be detected using tools and techniques that require manual (human) analysis, such as penetration testing, threat modeling, and interactive tools that allow the tester to record and modify an active session.
Manual static analysis is useful for evaluating the correctness of custom authentication mechanisms.
These may be more effective than strictly automated techniques. This is especially the case with weaknesses that are related to design and business rules.
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
SOAR PartialAccording to SOAR [REF-1479], the following detection techniques may be useful:
```
Cost effective for partial coverage:
```
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
Automated Static Analysis
SOAR PartialAccording to SOAR [REF-1479], the following detection techniques may be useful:
```
Cost effective for partial coverage:
```
Configuration Checker
Architecture or Design Review
HighAccording to SOAR [REF-1479], the following detection techniques may be useful:
```
Highly cost effective:
```
Inspection (IEEE 1028 standard) (can apply to requirements, design, source code, etc.)
Formal Methods / Correct-By-Construction