mythril_report.md

Mythril

Mythril version v0.20.4

Analysis results

Mythril analysis artefacts were generated for files created by the npm run flatten-all command. The following contracts yielded results.

• ./flat
  • ModuleRegistry.sol
  • SecurityTokenRegistry.sol
• ./flat/oracles
  • The analysis was completed successfully. No issues were detected.
• ./flat/proxy
  • ModuleRegistryProxy.sol
  • OwnedProxy.sol
  • OwnedUpgradeabilityProxy.sol
  • SecurityTokenRegistryProxy.sol
• ./flat/tokens
  • SecurityToken.sol
  • SecurityTokenProxy.sol
  • STFactory.sol
  • STGetter.sol
• ./flat/modules
  • GeneralPermissionManager.sol
  • GeneralPermissionManagerFactory.sol
  • GeneralPermissionManagerProxy.sol
  • GeneralPermissionManagerStorage.sol
  • VestingEscrowWallet.sol
  • VestingEscrowWalletFactory.sol
  • VestingEscrowWalletProxy.sol
  • VestingEscrowWalletStorage.sol