dapp-whisperer

See C4 docs: https://github.com/code-423n4/2023-10-badger

New Scope

github.com/AlDanial/cloc v 1.98  T=0.02 s (1650.5 files/s, 388869.2 lines/s)
-------------------------------------------------------------------------------
Language                     files          blank        comment           code
-------------------------------------------------------------------------------
Solidity                        36           1311           1851           5320
-------------------------------------------------------------------------------

dapp-whisperer

repayDebt(uint256,uint256): passing
adjustCdp(uint256,uint256,uint256,bool): passing
redeemCollateral(uint256,uint256,uint256,uint256): passing
flashLoanColl(uint256): passing
redeemCollateral(uint256,bytes32,uint256,bool,bool,uint256,uint256): passing
liquidate(uint256): failed!💥  
  Call sequence:
    openCdp(212200685215347397766310584329604553577190997626160748290153220,1026)
    openCdp(1572732164589264576962715128844644709604112444942892793695,1009)

dapp-whisperer

[2024-01-27 18:11:06.42] [status] tests: 1/18, fuzzing: 600150/600000, values: [], cov: 72020, corpus: 83
repayDebt(uint256,uint256): passing
adjustCdp(uint256,uint256,uint256,bool): passing
redeemCollateral(uint256,uint256,uint256,uint256): passing
flashLoanColl(uint256): passing
redeemCollateral(uint256,bytes32,uint256,bool,bool,uint256,uint256): passing
liquidate(uint256): passing
closeCdp(uint256): passing
withdrawColl(uint256,uint256): passing

dapp-whisperer

[2024-01-28 22:02:56.98] [Worker 0] Test limit reached. Stopping.
[2024-01-28 22:02:56.98] [status] tests: 1/18, fuzzing: 600063/600000, values: [], cov: 72017, corpus: 75
repayDebt(uint256,uint256): passing
adjustCdp(uint256,uint256,uint256,bool): passing
redeemCollateral(uint256,uint256,uint256,uint256): passing
flashLoanColl(uint256): passing
redeemCollateral(uint256,bytes32,uint256,bool,bool,uint256,uint256): passing
liquidate(uint256): passing
closeCdp(uint256): passing

dapp-whisperer

contracts/ActivePool.sol:ActivePool contract
Deployment Cost	Deployment Size
2343272	12500
Function Name	min	avg	median	max	# calls
MAX_BPS	349	349	349	349	1
MAX_FEE_BPS	240	240	240	240	1
PERIOD	329	329	329	329	19
allocateSystemCollSharesToFeeRecipient	3329	11080	3329	28029	225
claimFeeRecipientCollShares	13241	33232	29123	573

dapp-whisperer

Properties

List of properties of the eBTC protocol, following the categorization by Certora:

• Valid States
• State Transitions
• Variable Transitions
• High-Level Properties
• Unit Tests

dapp-whisperer

Registry

logic: 0x52FE2D2332FFCE104959DabF45383c6F25c3C21b

admin: 0x95713d825BcAA799A8e2F2b6c75aeD8b89124852

proxy to take code from: https://polygonscan.com/address/0x35a1e68d6fe09020c58edf30fee827c9050db3f5#code

dapp-whisperer

Keybase proof

I hereby claim:

• I am dapp-whisperer on github.
• I am dapp_whisperer (https://keybase.io/dapp_whisperer) on keybase.
• I have a public key ASCyhXaG9rl6X9SJYHcwuEktMiTcJjjE81L-Po0mkOTaHwo

To claim this, I am signing this object: