Skip to content

Issues: eth-sri/securify

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

18 Open 53 Closed
18 Open 53 Closed
Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Milestones
Filter by milestone
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Malato2021ma
#113 opened Jan 31, 2022 by malato2021ma
Hanged on Solc Version 0.6.0
#112 opened Dec 28, 2019 by saarshah
4 tasks
Build fails with soufflev1.7+
#111 opened Dec 18, 2019 by conscott
2 tasks done
1
Securify fails to detect the DAO reentrancy
#106 opened May 28, 2019 by montyly
3 of 4 tasks
1
Check for some unicode tricks Some Day This issue may be worked on some day in the distant future
#105 opened May 20, 2019 by ritzdorf
No violation reported for the test case "UnrestrictedEtherFlow.sol"
#102 opened Apr 26, 2019 by fang19911030
Accurate explanation of securify output
#100 opened Apr 6, 2019 by fang19911030
can not build docker image on ubuntu 18.04
#99 opened Apr 3, 2019 by mengquanrun
2
Understand the output of Securify when analyzing runtime bin
#98 opened Mar 30, 2019 by ireneGP
8
UnrestrictedWrite for certain Authorization Patterns Bug Something isn't working Enhancement New feature or request Some Day This issue may be worked on some day in the distant future
#93 opened Mar 5, 2019 by ritzdorf
Broken Dataflow Bug Something isn't working
#87 opened Feb 8, 2019 by ritzdorf
8
Running docker image outputs "Error running securify." on macOS Bug Something isn't working Need Input Input needed to work on this issue
#69 opened Dec 6, 2018 by mihairaulea
27
False positives for actions on a reverting branch Bug Something isn't working Some Day This issue may be worked on some day in the distant future
#61 opened Nov 27, 2018 by ritzdorf
4
Output json report to stdout with -fh Enhancement New feature or request Some Day This issue may be worked on some day in the distant future
#48 opened Nov 21, 2018 by kaisert
2
Errors in TODTransfer Pattern Bug Something isn't working
#45 opened Nov 20, 2018 by ritzdorf Sprint #2
Improve Memory Tagging Bug Something isn't working
#44 opened Nov 19, 2018 by ritzdorf Sprint #2
Vulnerabilities detected by Securify Documentation Documentation-related issue
#33 opened Nov 2, 2018 by TlxTejaswi
2
Line number is not correct when vulnerability occurs in helper routine Enhancement New feature or request wontfix This will not be worked on
#27 opened Oct 4, 2018 by kaisert
1
ProTip! Type g i on any issue or pull request to go back to the issue listing page.