Comments (2)
Might be easier to write from scratch but not critical for audit
from contracts.
Closed, because with formal verification, there is no point in integrating fuzzing.
from contracts.
Related Issues (20)
- TellorPriceOracle might not work as expect HOT 2
- An attacker can drain all the collateral tokens if the Position Manager holds type(uint256).max of the supply HOT 1
- Redemptions in case of multi-collateral system allows anyone to liquidate healthy positions HOT 1
- Unfair redistribution puts one set of borrower's positions at risk of liquidations HOT 2
- Incorrect implementation of `_getPriceWithLowerChange()` HOT 3
- Minting exposes users to unlimited slippage HOT 2
- Disabled tokens can still be used as collateral HOT 1
- Using redemption anyone can block newly added collaterals forever HOT 1
- Gas report HOT 3
- Gas Savings : Liquidate HOT 2
- OneStepLeverage.sol : `manageLeveragedPosition()` allows the leveraging even if the collateral is not enabled HOT 1
- PositionManager.sol#LL189C14-L189C23 : dust amount could be left in contract which can grow during each liquidation. This never be utilized. HOT 1
- OneStepLeverageStETH.sol: Typecast the wstETH_ during the OneStepLeverageStETH contract creation HOT 1
- Change licenses
- [FlashLoanLiquidator] update hardcoded TARGET_CR
- Update fee representation for flash mint fee
- Add more tests for Redstone integration HOT 1
- Add `liquidate` function in PositionManagerWrappedCollateralToken and PositionManagerWithRedstoneOracle
- Use permit when managing position with stETH and OSL with wstETH/stETH
- Implement collateral split based on profit that liquidator will make
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from contracts.