Web3Bugs

Web3Bugs copied to clipboard

Adding bugs for 2022-12-forgeries

1

# Adding newly disclosed code4rena contest bugs. ## Contest Contract: [Forgeries](https://code4rena.com/reports/2022-12-forgeries) [//]: # (can be found at https://code4rena.com/reports/2022-04-abranft/#scope) Contract Code: https://github.com/code-423n4/2022-12-forgeries [//]: # (can be found at https://code4rena.com/reports/2022-04-abranft/#high-risk-findings-5) Number of...

ZhangZhuoSJTU

Adding bugs for 2022-12-tigris

1

# Adding newly disclosed code4rena contest bugs. ## Contest Contest: [Tigris Trade](https://code4rena.com/reports/2022-12-tigris) Contract Code: https://github.com/code-423n4/2022-12-tigris Number of High Risk Findings: 11 Number of Wardens: 89 ## Bugs - [x] [[H-01]...

ZhangZhuoSJTU

Adding bugs for 2022-12-prepo

1

# Adding newly disclosed code4rena contest bugs. ## Contest Contest: [prePO](https://code4rena.com/reports/2022-12-prepo) Contract Code: https://github.com/code-423n4/2022-12-prepo Number of High Risk Findings: 2 Number of Wardens: 71 ## Bugs - [x] [[H-01] griefing...

ZhangZhuoSJTU

Adding bugs for 2022-12-caviar

1

# Adding newly disclosed code4rena contest bugs. ## Contest Contest: [Caviar](https://code4rena.com/reports/2022-12-caviar) Contract Code: https://github.com/code-423n4/2022-12-caviar Number of High Risk Findings: 3 Number of Wardens: 130 ## Bugs - [x] [[H-01] Reentrancy...

ZhangZhuoSJTU

Adding bugs for 2022-04-abranft

1

# Adding newly disclosed code4rena contest bugs. ## Contest Contest: [AbraNFT](https://code4rena.com/reports/2022-04-abranft/) Contract Code: https://github.com/code-423n4/2022-04-abranft Number of High Risk Findings: 5 Number of Wardens: 72 ## Bugs - [x] [[H-01] Avoidance...

ZhangZhuoSJTU

Abstract Model: Slither test tool

1

Good Day, in your paper you mention developing a tool to enhance efficiency, that generates operation sequences that can reach specific functions, using Slither. Is that is perhaps publicly available?

Sentient-XII

I quote from your paper: > "Our second dataset comprises 54 real-world exploits collected from postmortems and bugfix reviews of real-world exploits from January 2022 to June 2022." How can...

seyyedaliayati

Requesting add new Publicly Available Security Analysis Techniques

2

Hello Admin, I would like to requesting add some new tool relate to Cairo and Rust. - Thoth: Developed by Fuzzing Labs, It Symbolic Execution Framework for Cario Program Language...

soaphorn

# Adding newly disclosed code4rena contest bugs. ## Contest Contest: [veToken](https://code4rena.com/reports/2022-05-vetoken) [//]: # (can be found at https://code4rena.com/reports/2022-04-abranft/#scope) Contract Code: https://github.com/code-423n4/2022-05-vetoken [//]: # (can be found at https://code4rena.com/reports/2022-04-abranft/#high-risk-findings-5) Number of...

ZhangZhuoSJTU

Adding bugs for 2021-12-amun

1

# Adding newly disclosed code4rena contest bugs. ## Contest Contest: [Amun](https://code4rena.com/reports/2021-12-amun) [//]: # (can be found at https://code4rena.com/reports/2022-04-abranft/#scope) Contract Code: https://github.com/code-423n4/2021-12-amun [//]: # (can be found at https://code4rena.com/reports/2022-04-abranft/#high-risk-findings-5) Number of...

ZhangZhuoSJTU