mythril results

aragon_mythril.txt

root@4cd197a038d6:/opt/aragonOS# myth -t
Analysis result for CallsScript: No issues found.
Analysis result for APMRegistryFactory:
==== Integer Underflow ====
Type: Warning
Contract: APMRegistryFactory
Function name: _function_0xff289fc5
PC address: 14117
A possible integer underflow exists in the function _function_0xff289fc5.
The SUB instruction at address 14117 may result in a value < 0.
--------------------
Affected code:

vided is used, if any.
        // Or we use the ENSFact
--------------------
++++ Debugging info ++++
(32 +
32 +
32 +
2858 +
msize +
32 +
(115792089237316195423570985008687907853269984665640564039457584007913129639935 -
 31 &
 31 + 0)) - (2858 +
msize +
32 +
(115792089237316195423570985008687907853269984665640564039457584007913129639935 -
 31 &
 31 + 0)).]

==== Integer Underflow ====
Type: Warning
Contract: APMRegistryFactory
Function name: _function_0xe156a8f3
PC address: 14507
A possible integer underflow exists in the function _function_0xe156a8f3.
The SUB instruction at address 14507 may result in a value < 0.
--------------------
Affected code:

 one ENS or ENSFactory
    function APMRegistryFactory(

--------------------
++++ Debugging info ++++
(32 +
32 +
32 +
2825 +
msize +
32 +
(115792089237316195423570985008687907853269984665640564039457584007913129639935 -
 31 &
 31 + 0)) - (2825 +
msize +
32 +
(115792089237316195423570985008687907853269984665640564039457584007913129639935 -
 31 &
 31 + 0)).]


Analysis result for EtherToken: No issues found.
Analysis result for Repo:
==== Integer Underflow ====
Type: Warning
Contract: Repo
Function name: _function_0xa7bdf16e
PC address: 4774
A possible integer underflow exists in the function _function_0xa7bdf16e.
The SUB instruction at address 4774 may result in a value < 0.
--------------------
Affected code:

_newVersion[i] - _oldVersion[i]
--------------------
++++ Debugging info ++++
(calldata_Repo_100) - (calldata_Repo_4).]

==== CALL with gas to dynamic address ====
Type: Warning
Contract: Repo
Function name: _function_0xa1658fad
PC address: 4524
The function _function_0xa1658fad contains a function call to an address provided as a function argument. The available gas is forwarded to the called contract. Make sure that the logic of the calling contract is not adversely affected if the called contract misbehaves (e.g. reentrancy).
--------------------
Affected code:

gma solidity ^0.4.15;

import "../apps/AragonApp.sol";


contract Repo is AragonApp {
    struct Version {

--------------------


Analysis result for PublicResolver:
==== Integer Underflow ====
Type: Warning
Contract: PublicResolver
Function name: _function_0x623195b0
PC address: 4532
A possible integer underflow exists in the function _function_0x623195b0.
The SUB instruction at address 4532 may result in a value < 0.
--------------------
Affected code:

contentType - 1
--------------------
++++ Debugging info ++++
(115792089237316195423570985008687907853269984665640564039457584007913129639935 -
0 &
calldata_PublicResolver_4) - (1).]


Analysis result for AppStorage: No issues found.
Analysis result for ACLHelpers: No issues found.
Analysis result for SafeMath: No issues found.
Analysis result for AragonApp:
==== CALL with gas to dynamic address ====
Type: Warning
Contract: AragonApp
Function name: _function_0xa1658fad
PC address: 1431
The function _function_0xa1658fad contains a function call to an address provided as a function argument. The available gas is forwarded to the called contract. Make sure that the logic of the calling contract is not adversely affected if the called contract misbehaves (e.g. reentrancy).
--------------------
Affected code:

gma solidity ^0.4.18;

import "./AppStorage.sol";
import "../common/Initializable.sol";
import "../evmscript/
--------------------


Analysis result for ScriptHelpers:
==== Integer Underflow ====
Type: Warning
Contract: ScriptHelpers
Function name: _function_0x11fe773d
PC address: 503
A possible integer underflow exists in the function _function_0x11fe773d.
The SUB instruction at address 503 may result in a value < 0.
--------------------
Affected code:

len -= 32
--------------------
++++ Debugging info ++++
(calldata_ScriptHelpers_32 + 4 + 32) - (32).]


Analysis result for DAOFactory: No issues found.
Analysis result for EVMScriptRegistry:
==== Integer Underflow ====
Type: Warning
Contract: EVMScriptRegistry
Function name: _function_0x87a16f12
PC address: 2673
A possible integer underflow exists in the function _function_0x87a16f12.
The SUB instruction at address 2673 may result in a value < 0.
--------------------
Affected code:

gma solidity ^0.4.18;

import "./ScriptHelpers.sol";
import "./IEVMScriptExecutor.sol";
import "./IEVMScriptR
--------------------
++++ Debugging info ++++
(0 + 32 + 32 + 32 + 32 + 32 + 4 + msize + 32 + 32*0 + 32) - (msize + 32 + 32*0 + 32).]

==== CALL with gas to dynamic address ====
Type: Warning
Contract: EVMScriptRegistry
Function name: _function_0xa1658fad
PC address: 2696
The function _function_0xa1658fad contains a function call to an address provided as a function argument. The available gas is forwarded to the called contract. Make sure that the logic of the calling contract is not adversely affected if the called contract misbehaves (e.g. reentrancy).
--------------------
Affected code:

gma solidity ^0.4.18;

import "./ScriptHelpers.sol";
import "./IEVMScriptExecutor.sol";
import "./IEVMScriptR
--------------------

==== Integer Underflow ====
Type: Warning
Contract: EVMScriptRegistry
Function name: _function_0x87a16f12
PC address: 2559
A possible integer underflow exists in the function _function_0x87a16f12.
The SUB instruction at address 2559 may result in a value < 0.
--------------------
Affected code:

riptExecutor(uint256 _executorId) external auth(REGISTRY
--------------------
++++ Debugging info ++++
(32 + 32 + 32 + 32 + 4 + msize + 32 + 32*0 + 32) - (4 + msize + 32 + 32*0 + 32).]


Analysis result for Initializable: No issues found.
Analysis result for APMRegistry:
==== CALL with gas to dynamic address ====
Type: Warning
Contract: APMRegistry
Function name: _function_0xb0927de7
PC address: 5043
The function _function_0xb0927de7 contains a function call to an address provided as a function argument. The available gas is forwarded to the called contract. Make sure that the logic of the calling contract is not adversely affected if the called contract misbehaves (e.g. reentrancy).
--------------------
Affected code:

gma solidity ^0.4.18;

import "../lib/ens/AbstractENS.sol";
import "../ens/ENSSubdomainRegistrar.sol";
import
--------------------

==== Integer Underflow ====
Type: Warning
Contract: APMRegistry
Function name: _function_0xb0927de7
PC address: 5019
A possible integer underflow exists in the function _function_0xb0927de7.
The SUB instruction at address 5019 may result in a value < 0.
--------------------
Affected code:

gma solidity ^0.4.18;

import "../lib/ens/AbstractENS.sol";
import "../ens/ENSSubdomainRegistrar.sol";
import
--------------------
++++ Debugging info ++++
(0 + 32 + 32 + 32 + 32 + 32 + 4 + msize + 32 + 32*0 + 32) - (msize + 32 + 32*0 + 32).]

==== Integer Underflow ====
Type: Warning
Contract: APMRegistry
Function name: _function_0xff289fc5
PC address: 6848
A possible integer underflow exists in the function _function_0xff289fc5.
The SUB instruction at address 6848 may result in a value < 0.
--------------------
Affected code:

try root node ownership
    */
    function initialize(
--------------------
++++ Debugging info ++++
(32 +
32 +
32 +
2858 +
msize +
32 +
(115792089237316195423570985008687907853269984665640564039457584007913129639935 -
 31 &
 31 + 0)) - (2858 +
msize +
32 +
(115792089237316195423570985008687907853269984665640564039457584007913129639935 -
 31 &
 31 + 0)).]

==== Integer Underflow ====
Type: Warning
Contract: APMRegistry
Function name: _function_0xe156a8f3
PC address: 7275
A possible integer underflow exists in the function _function_0xe156a8f3.
The SUB instruction at address 7275 may result in a value < 0.
--------------------
Affected code:

NS_SUB_APP_NAME = "apm-enssub";
}


contract APMRegistry is
--------------------
++++ Debugging info ++++
(32 +
32 +
32 +
2825 +
msize +
32 +
(115792089237316195423570985008687907853269984665640564039457584007913129639935 -
 31 &
 31 + 0)) - (2825 +
msize +
32 +
(115792089237316195423570985008687907853269984665640564039457584007913129639935 -
 31 &
 31 + 0)).]

==== Integer Underflow ====
Type: Warning
Contract: APMRegistry
Function name: _function_0xb0927de7
PC address: 4902
A possible integer underflow exists in the function _function_0xb0927de7.
The SUB instruction at address 4902 may result in a value < 0.
--------------------
Affected code:

holds registry root node ownership
    */
    function i
--------------------
++++ Debugging info ++++
(32 + 32 + 32 + 32 + 4 + msize + 32 + 32*0 + 32) - (4 + msize + 32 + 32*0 + 32).]

==== CALL with gas to dynamic address ====
Type: Warning
Contract: APMRegistry
Function name: _function_0xc4d66de8
PC address: 5404
The function _function_0xc4d66de8 contains a function call to an address provided as a function argument. The available gas is forwarded to the called contract. Make sure that the logic of the calling contract is not adversely affected if the called contract misbehaves (e.g. reentrancy).
--------------------
Affected code:

registrar.ens()
--------------------


Analysis result for DelegateScript: No issues found.
Analysis result for Kernel:
==== Integer Underflow ====
Type: Warning
Contract: Kernel
Function name: _function_0xff289fc5
PC address: 4787
A possible integer underflow exists in the function _function_0xff289fc5.
The SUB instruction at address 4787 may result in a value < 0.
--------------------
Affected code:

is, ACL_APP_ID));

        _setApp(APP_BASES_NAMESPACE,
--------------------
++++ Debugging info ++++
(32 +
32 +
32 +
2858 +
msize +
32 +
(115792089237316195423570985008687907853269984665640564039457584007913129639935 -
 31 &
 31 + 0)) - (2858 +
msize +
32 +
(115792089237316195423570985008687907853269984665640564039457584007913129639935 -
 31 &
 31 + 0)).]

==== CALL with gas to dynamic address ====
Type: Warning
Contract: Kernel
Function name: _function_0xfdef9106
PC address: 6045
The function _function_0xfdef9106 contains a function call to an address provided as a function argument. The available gas is forwarded to the called contract. Make sure that the logic of the calling contract is not adversely affected if the called contract misbehaves (e.g. reentrancy).
--------------------
Affected code:

gma solidity ^0.4.18;

import "./IKernel.sol";
import "./KernelStorage.sol";
import "../acl/ACLSyntaxSugar.so
--------------------

==== Integer Underflow ====
Type: Warning
Contract: Kernel
Function name: _function_0xe156a8f3
PC address: 5441
A possible integer underflow exists in the function _function_0xe156a8f3.
The SUB instruction at address 5441 may result in a value < 0.
--------------------
Affected code:

s initialized.
    * @notice Initializes a kernel instance a
--------------------
++++ Debugging info ++++
(32 +
32 +
32 +
2825 +
msize +
32 +
(115792089237316195423570985008687907853269984665640564039457584007913129639935 -
 31 &
 31 + 0)) - (2825 +
msize +
32 +
(115792089237316195423570985008687907853269984665640564039457584007913129639935 -
 31 &
 31 + 0)).]


Analysis result for DeployDelegateScript:
==== Integer Underflow ====
Type: Warning
Contract: DeployDelegateScript
Function name: _function_0x279cea35
PC address: 683
A possible integer underflow exists in the function _function_0x279cea35.
The SUB instruction at address 683 may result in a value < 0.
--------------------
Affected code:

sub
--------------------
++++ Debugging info ++++
(calldata_DeployDelegateScript_4 + calldata_DeployDelegateScript_4) - (4).]

==== Integer Underflow ====
Type: Warning
Contract: DeployDelegateScript
Function name: _function_0x279cea35
PC address: 333
A possible integer underflow exists in the function _function_0x279cea35.
The SUB instruction at address 333 may result in a value < 0.
--------------------
Affected code:

keccak256(_script)
--------------------
++++ Debugging info ++++
(128 +
calldata_DeployDelegateScript_4 + calldata_DeployDelegateScript_4) - (128).]


Analysis result for EVMScriptRunner: No issues found.
Analysis result for ERC677Token: No issues found.
Analysis result for EVMScriptRegistryConstants: No issues found.
Analysis result for DelegateProxy: No issues found.
Analysis result for MiniMeTokenFactory:
==== Integer Underflow ====
Type: Warning
Contract: MiniMeTokenFactory
Function name: _function_0x5b7b72c1
PC address: 590
A possible integer underflow exists in the function _function_0x5b7b72c1.
The SUB instruction at address 590 may result in a value < 0.
--------------------
Affected code:

gma solidity ^0.4.6;

/*
    Copyright 2016, Jordi Baylina

    This program is free software: you can redist
--------------------
++++ Debugging info ++++
(calldata_MiniMeTokenFactory_4 + calldata_MiniMeTokenFactory_32 + 32 + 4 +
... +
... +
... +
... +
... +
... +
... +
... +
... +
... +
... +
... +
... +
...) - (31 &
calldata_MiniMeTokenFactory_4 + calldata_MiniMeTokenFactory_32 + 32 + 4).]

==== Integer Underflow ====
Type: Warning
Contract: MiniMeTokenFactory
Function name: _function_0x5b7b72c1
PC address: 598
A possible integer underflow exists in the function _function_0x5b7b72c1.
The SUB instruction at address 598 may result in a value < 0.
--------------------
Affected code:

gma solidity ^0.4.6;

/*
    Copyright 2016, Jordi Baylina

    This program is free software: you can redist
--------------------
++++ Debugging info ++++
(32) - (calldata_MiniMeTokenFactory_4 + calldata_MiniMeTokenFactory_32 + 32 + 4 +
... +
... +
... +
... +
... +
... +
... +
... +
... +
... +
... +
... +
... +
...).]


Analysis result for MiniMeToken:
==== Integer Underflow ====
Type: Warning
Contract: MiniMeToken
Function name: _function_0x6638c087
PC address: 5303
A possible integer underflow exists in the function _function_0x6638c087.
The SUB instruction at address 5303 may result in a value < 0.
--------------------
Affected code:

block.number - 1
--------------------
++++ Debugging info ++++
(block_number) - (1).]

==== Integer Underflow ====
Type: Warning
Contract: MiniMeToken
Function name: _function_0x6638c087
PC address: 5594
A possible integer underflow exists in the function _function_0x6638c087.
The SUB instruction at address 5594 may result in a value < 0.
--------------------
Affected code:

gma solidity ^0.4.6;

/*
    Copyright 2016, Jordi Baylina

    This program is free software: you can redist
--------------------
++++ Debugging info ++++
(calldata_MiniMeToken_4 + calldata_MiniMeToken_4 +
... +
... +
... +
... +
... +
... +
... +
... +
... +
... +
... +
... +
...) - (31 & calldata_MiniMeToken_4 + calldata_MiniMeToken_4).]

==== Integer Underflow ====
Type: Warning
Contract: MiniMeToken
Function name: _function_0x6638c087
PC address: 5602
A possible integer underflow exists in the function _function_0x6638c087.
The SUB instruction at address 5602 may result in a value < 0.
--------------------
Affected code:

gma solidity ^0.4.6;

/*
    Copyright 2016, Jordi Baylina

    This program is free software: you can redist
--------------------
++++ Debugging info ++++
(32) - (calldata_MiniMeToken_4 + calldata_MiniMeToken_4 +
... +
... +
... +
... +
... +
... +
... +
... +
... +
... +
... +
... +
...).]

==== CALL with gas to dynamic address ====
Type: Warning
Contract: MiniMeToken
Function name: _function_0xdf8de3e7
PC address: 8554
The function _function_0xdf8de3e7 contains a function call to an address provided as a function argument. The available gas is forwarded to the called contract. Make sure that the logic of the calling contract is not adversely affected if the called contract misbehaves (e.g. reentrancy).
--------------------
Affected code:

token.transfer(controller, balance)
--------------------

==== CALL with gas to dynamic address ====
Type: Warning
Contract: MiniMeToken
Function name: _function_0xdf8de3e7
PC address: 8321
The function _function_0xdf8de3e7 contains a function call to an address provided as a function argument. The available gas is forwarded to the called contract. Make sure that the logic of the calling contract is not adversely affected if the called contract misbehaves (e.g. reentrancy).
--------------------
Affected code:

token.balanceOf(this)
--------------------


Analysis result for KernelConstants: No issues found.
Analysis result for Controlled: No issues found.
Analysis result for ACLSyntaxSugar: No issues found.
Analysis result for KernelStorage: No issues found.
Analysis result for AppProxyUpgradeable: No issues found.
Analysis result for ENSConstants: No issues found.
Analysis result for KernelProxy:
==== Unchecked CALL return value ====
Type: Informational
Contract: KernelProxy
Function name: fallback
PC address: 896
The function fallback contains a call to an address obtained from storage.
The return value of this call is not checked. Note that the function will continue to execute with a return value of '0' if the called contract throws.
--------------------
Affected code:

Impl) public
--------------------

==== CALLDATA forwarded with delegatecall() ====
Type: Informational
Contract: KernelProxy
Function name: fallback
PC address: 896
This contract forwards its calldata via DELEGATECALL in its fallback function. This means that any function in the called contract can be executed. Note that the callee contract will have access to the storage of the calling contract.
DELEGATECALL target: Concat(0,
       Extract(167,
               8,
               storage_85996882148536406855346873343915765433956950423732985234488715926466627877853))
--------------------
Affected code:

Impl) public
--------------------


Analysis result for AppProxyPinned:
==== CALLDATA forwarded with delegatecall() ====
Type: Informational
Contract: AppProxyPinned
Function name: fallback
PC address: 930
This contract forwards its calldata via DELEGATECALL in its fallback function. This means that any function in the called contract can be executed. Note that the callee contract will have access to the storage of the calling contract.
DELEGATECALL target: Concat(0, Extract(167, 8, storage_2))
--------------------
Affected code:

lizePayload)
--------------------

==== Unchecked CALL return value ====
Type: Informational
Contract: AppProxyPinned
Function name: fallback
PC address: 930
The function fallback contains a call to an address obtained from storage.
The return value of this call is not checked. Note that the function will continue to execute with a return value of '0' if the called contract throws.
--------------------
Affected code:

lizePayload)
--------------------


Analysis result for StandardToken: No issues found.
Analysis result for ENS: No issues found.
Analysis result for ACL:
==== CALL with gas to dynamic address ====
Type: Warning
Contract: ACL
Function name: _function_0xa1658fad
PC address: 3711
The function _function_0xa1658fad contains a function call to an address provided as a function argument. The available gas is forwarded to the called contract. Make sure that the logic of the calling contract is not adversely affected if the called contract misbehaves (e.g. reentrancy).
--------------------
Affected code:

gma solidity ^0.4.18;

import "../apps/AragonApp.sol";
import "./ACLSyntaxSugar.sol";
import "./IACL.sol";



--------------------

==== Integer Underflow ====
Type: Warning
Contract: ACL
Function name: _function_0x0a8ed3db
PC address: 5795
A possible integer underflow exists in the function _function_0x0a8ed3db.
The SUB instruction at address 5795 may result in a value < 0.
--------------------
Affected code:

keccak256(uint256(1), _where, _what)
--------------------
++++ Debugging info ++++
(32 + 20 + 32 + msize + 32 + 32*0) - (msize + 32 + 32*0).]


Analysis result for EVMScriptRegistryFactory:
==== CALL with gas to dynamic address ====
Type: Warning
Contract: EVMScriptRegistryFactory
Function name: _function_0x869abc24
PC address: 2319
The function _function_0x869abc24 contains a function call to an address provided as a function argument. The available gas is forwarded to the called contract. Make sure that the logic of the calling contract is not adversely affected if the called contract misbehaves (e.g. reentrancy).
--------------------
Affected code:

_dao.APP_ADDR_NAMESPACE()
--------------------

==== Integer Underflow ====
Type: Warning
Contract: EVMScriptRegistryFactory
Function name: _function_0xff289fc5
PC address: 4754
A possible integer underflow exists in the function _function_0xff289fc5.
The SUB instruction at address 4754 may result in a value < 0.
--------------------
Affected code:

ance(EVMSCRIPT_REGISTRY_APP_ID, baseReg));
        reg.
--------------------
++++ Debugging info ++++
(32 +
32 +
32 +
2858 +
msize +
32 +
(115792089237316195423570985008687907853269984665640564039457584007913129639935 -
 31 &
 31 + 0)) - (2858 +
msize +
32 +
(115792089237316195423570985008687907853269984665640564039457584007913129639935 -
 31 &
 31 + 0)).]

==== Integer Underflow ====
Type: Warning
Contract: EVMScriptRegistryFactory
Function name: _function_0xe156a8f3
PC address: 5182
A possible integer underflow exists in the function _function_0xe156a8f3.
The SUB instruction at address 5182 may result in a value < 0.
--------------------
Affected code:

address public baseDeployDel;

    function EVMScriptRegistr
--------------------
++++ Debugging info ++++
(32 +
32 +
32 +
2825 +
msize +
32 +
(115792089237316195423570985008687907853269984665640564039457584007913129639935 -
 31 &
 31 + 0)) - (2825 +
msize +
32 +
(115792089237316195423570985008687907853269984665640564039457584007913129639935 -
 31 &
 31 + 0)).]

==== CALL with gas to dynamic address ====
Type: Warning
Contract: EVMScriptRegistryFactory
Function name: _function_0x869abc24
PC address: 2152
The function _function_0x869abc24 contains a function call to an address provided as a function argument. The available gas is forwarded to the called contract. Make sure that the logic of the calling contract is not adversely affected if the called contract misbehaves (e.g. reentrancy).
--------------------
Affected code:

_dao.acl()
--------------------

==== CALL with gas to dynamic address ====
Type: Warning
Contract: EVMScriptRegistryFactory
Function name: _function_0x869abc24
PC address: 1892
The function _function_0x869abc24 contains a function call to an address provided as a function argument. The available gas is forwarded to the called contract. Make sure that the logic of the calling contract is not adversely affected if the called contract misbehaves (e.g. reentrancy).
--------------------
Affected code:

_dao.newPinnedAppInstance(EVMSCRIPT_REGISTRY_APP_ID, baseReg)
--------------------


Analysis result for Math: No issues found.
Analysis result for BasicToken: No issues found.
Analysis result for APMRegistryConstants: No issues found.
Analysis result for ENSSubdomainRegistrar:
==== CALL with gas to dynamic address ====
Type: Warning
Contract: ENSSubdomainRegistrar
Function name: _function_0xa1658fad
PC address: 2957
The function _function_0xa1658fad contains a function call to an address provided as a function argument. The available gas is forwarded to the called contract. Make sure that the logic of the calling contract is not adversely affected if the called contract misbehaves (e.g. reentrancy).
--------------------
Affected code:

gma solidity ^0.4.18;

import "../lib/ens/AbstractENS.sol";
import "../lib/ens/PublicResolver.sol";
import ".
--------------------

==== CALL with gas to dynamic address ====
Type: Warning
Contract: ENSSubdomainRegistrar
Function name: _function_0xbe13f47c
PC address: 3187
The function _function_0xbe13f47c contains a function call to an address provided as a function argument. The available gas is forwarded to the called contract. Make sure that the logic of the calling contract is not adversely affected if the called contract misbehaves (e.g. reentrancy).
--------------------
Affected code:

_ens.owner(_rootNode)
--------------------

==== Integer Underflow ====
Type: Warning
Contract: ENSSubdomainRegistrar
Function name: _function_0xdc371e54
PC address: 2820
A possible integer underflow exists in the function _function_0xdc371e54.
The SUB instruction at address 2820 may result in a value < 0.
--------------------
Affected code:

ROLE) external returns (bytes32 node) {
        return _
--------------------
++++ Debugging info ++++
(32 + 32 + 32 + 32 + 4 + msize + 32 + 32*0 + 32) - (4 + msize + 32 + 32*0 + 32).]

==== Integer Underflow ====
Type: Warning
Contract: ENSSubdomainRegistrar
Function name: _function_0xdc371e54
PC address: 2934
A possible integer underflow exists in the function _function_0xdc371e54.
The SUB instruction at address 2934 may result in a value < 0.
--------------------
Affected code:

gma solidity ^0.4.18;

import "../lib/ens/AbstractENS.sol";
import "../lib/ens/PublicResolver.sol";
import ".
--------------------
++++ Debugging info ++++
(0 + 32 + 32 + 32 + 32 + 32 + 4 + msize + 32 + 32*0 + 32) - (msize + 32 + 32*0 + 32).]


Analysis result for AppProxyFactory:
==== Integer Underflow ====
Type: Warning
Contract: AppProxyFactory
Function name: _function_0xe156a8f3
PC address: 1240
A possible integer underflow exists in the function _function_0xe156a8f3.
The SUB instruction at address 1240 may result in a value < 0.
--------------------
Affected code:

new AppProxyUpgradeable(_kernel, _appId, _initializePayload)
--------------------
++++ Debugging info ++++
(32 +
32 +
32 +
2825 +
msize +
32 +
(115792089237316195423570985008687907853269984665640564039457584007913129639935 -
 31 &
 31 + 0)) - (2825 +
msize +
32 +
(115792089237316195423570985008687907853269984665640564039457584007913129639935 -
 31 &
 31 + 0)).]

==== Integer Underflow ====
Type: Warning
Contract: AppProxyFactory
Function name: _function_0xff289fc5
PC address: 859
A possible integer underflow exists in the function _function_0xff289fc5.
The SUB instruction at address 859 may result in a value < 0.
--------------------
Affected code:

new AppProxyPinned(_kernel, _appId, _initializePayload)
--------------------
++++ Debugging info ++++
(32 +
32 +
32 +
2858 +
msize +
32 +
(115792089237316195423570985008687907853269984665640564039457584007913129639935 -
 31 &
 31 + 0)) - (2858 +
msize +
32 +
(115792089237316195423570985008687907853269984665640564039457584007913129639935 -
 31 &
 31 + 0)).]