Omniscia vfat Audit

Static Analysis

Static Analysis

The execution of our static analysis toolkit identified 731 potential issues within the codebase of which 535 were ruled out to be false positives or negligible findings.

The remaining 196 issues were validated and grouped and formalized into the 82 exhibits that follow:

IDSeverityAddressedTitle
ACM-01SInexistent Sanitization of Input Address
ANI-01SInexistent Sanitization of Input Addresses
AGR-01SInexistent Sanitization of Input Addresses
ACR-01SInexistent Sanitization of Input Address
ACR-02SMultiple Top-Level Declarations
ANO-01SInexistent Event Emission
ANO-02SInexistent Sanitization of Input Address
CCR-01SMultiple Top-Level Declarations
CRR-01SInexistent Sanitization of Input Addresses
CRY-01SMultiple Top-Level Declarations
ERC-01SMultiple Top-Level Declarations
FSY-01SInexistent Sanitization of Input Addresses
FLB-01SIllegible Numeric Value Representation
FLB-02SInexistent Sanitization of Input Addresses
FIR-01SInexistent Sanitization of Input Address
FLI-01SInexistent Sanitization of Input Addresses
FSG-01SIllegible Numeric Value Representations
FSG-02SInexistent Sanitization of Input Addresses
FSG-03SInexistent Visibility Specifiers
FSG-04SLiteral Equality of bool Variable
FSG-05SMultiple Top-Level Declarations
GRY-01SInexistent Sanitization of Input Addresses
GRY-02SMultiple Top-Level Declarations
LMR-01SInexistent Sanitization of Input Addresses
LMR-02SMultiple Top-Level Declarations
LSY-01SInexistent Sanitization of Input Addresses
LSA-01SInexistent Sanitization of Input Addresses
LSS-01SMultiple Top-Level Declarations
MWR-01SMultiple Top-Level Declarations
MSY-01SInexistent Sanitization of Input Addresses
MSY-02SMultiple Top-Level Declarations
MCR-01SMultiple Top-Level Declarations
MFS-01SInexistent Sanitization of Input Addresses
MFS-02SMultiple Top-Level Declarations
MLL-01SInexistent Sanitization of Input Address
NFS-01SIllegible Numeric Value Representations
NFS-02SInexistent Sanitization of Input Addresses
NFS-03SMultiple Top-Level Declarations
NSR-01SIllegible Numeric Value Representations
NSR-02SInexistent Sanitization of Input Address
NSR-03SInexistent Visibility Specifiers
NSR-04SMultiple Top-Level Declarations
NZL-01SInexistent Sanitization of Input Addresses
NDM-01SInexistent Sanitization of Input Address
NGR-01SInexistent Sanitization of Input Addresses
NGR-02SMultiple Top-Level Declarations
NRC-01SMultiple Top-Level Declarations
PSR-01SIllegible Numeric Value Representations
PSR-02SInexistent Sanitization of Input Addresses
PSR-03SInexistent Visibility Specifiers
RGR-01SInexistent Sanitization of Input Addresses
RGR-02SMultiple Top-Level Declarations
RRC-01SMultiple Top-Level Declarations
RVC-01SMultiple Top-Level Declarations
SFY-01SInexistent Event Emission
SFY-02SInexistent Sanitization of Input Addresses
SMG-01SInexistent Sanitization of Input Address
SRY-01SIllegible Numeric Value Representation
SRY-02SInexistent Event Emission
SRY-03SInexistent Sanitization of Input Address
SRY-04SMultiple Top-Level Declarations
SSE-01SInexistent Event Emission
SSE-02SInexistent Sanitization of Input Addresses
SSE-03SMultiple Top-Level Declarations
SLS-01SInexistent Sanitization of Input Address
SME-01SInexistent Sanitization of Input Address
SGR-01SInexistent Sanitization of Input Addresses
SGR-02SMultiple Top-Level Declarations
SLB-01SInexistent Sanitization of Input Address
SLB-02SInexistent Visibility Specifier
SSY-01SInexistent Sanitization of Input Addresses
TAN-01SInexistent Sanitization of Input Addresses
TLB-01SInexistent Sanitization of Input Addresses
UVC-01SMultiple Top-Level Declarations
VCR-01SInexistent Sanitization of Input Address
VCR-02SMultiple Top-Level Declarations
VGR-01SInexistent Sanitization of Input Addresses
VGR-02SMultiple Top-Level Declarations
VRC-01SMultiple Top-Level Declarations
VSR-01SInexistent Sanitization of Input Addresses
VSR-02SMultiple Top-Level Declarations
ZLB-01SInexistent Sanitization of Input Addresses