Omniscia Optimex Audit
OptimexCollateralToken Static Analysis Findings
OptimexCollateralToken Static Analysis Findings
OCT-01S: Inexistent Visibility Specifiers
| Type | Severity | Location |
|---|---|---|
| Code Style |  | OptimexCollateralToken.sol: • I-1: L24 • I-2: L28 |
Description:
The linked variables have no visibility specifier explicitly set.
Example:
contracts/tokens/OptimexCollateralToken.sol
24address transient permittedRecipient;Recommendation:
We advise them to be set so to avoid potential compilation discrepancies in the future as the current behaviour is for the compiler to assign one automatically which may deviate between pragma versions.
Alleviation (c11bae0aacaeb7f4e4b53c864f96917ca574182f):
The internal, and private visibility specifiers have been introduced to all referenced variables, preventing potential compilation discrepancies and addressing this exhibit.