certusone
/
wormhole
mirror of https://github.com/certusone/wormhole.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

algo/audit: KS-RL-04 - invalid asset check @ gusc1a-ossdev-jsl5

This commit is contained in:
Josh Siegel 2022-07-26 15:52:00 +00:00 committed by jumpsiegel
parent d189f17320
commit 15be6cc73f
1 changed files with 3 additions and 10 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

13
algorand/token_bridge.py
View File

@ -173,16 +173,9 @@ def approve_token_bridge(seed_amt: int, tmpl_sig: TmplSig, devMode: bool):
@Subroutine(TealType.uint64)
def getFactor(dec: Expr):
return Cond(
[dec == Int(9), Int(10)],
[dec == Int(10), Int(100)],
[dec == Int(11), Int(1000)],
[dec == Int(12), Int(10000)],
[dec == Int(13), Int(100000)],
[dec == Int(14), Int(1000000)],
[dec == Int(15), Int(10000000)],
[dec == Int(16), Int(100000000)],
[dec > Int(16), Seq(Reject(), Int(1))],
[dec < Int(9), Int(1)]
[dec < Int(9), Int(1)],
[dec > Int(19), Seq(Reject(), Int(1))],
[Int(1), Exp(Int(10), dec - Int(8))]
)
@Subroutine(TealType.bytes)