Skip to content

Issues: eth-sri/securify2

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

33 Open 4 Closed
33 Open 4 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
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

is this project dead? only support solidity <= 6.0?
#44 opened Dec 19, 2023 by sg552
1
Question: Is the tool unable to analyze bytecode?
#42 opened Feb 12, 2023 by lwy0518
Use Local Memory Type Variable Instead of Global Storage Type Variable in Event to Save Gas
#40 opened Aug 18, 2022 by HighBe
Error: Atom's argument type is not a subtype of its declared type
#39 opened Jul 12, 2022 by shmichael
3
Need reformations and cleaning of the code
#38 opened May 25, 2022 by dheerajrp
Securify Grammar Error
#37 opened Apr 4, 2022 by MichMassetti
1
Got KeyError: StateVariableLoad when analyzing contracts
#36 opened Feb 27, 2022 by Troublor
Error during testContract.sol analyzing
#35 opened Feb 8, 2022 by beksaev
error that tells "File not found"
#34 opened Jan 25, 2022 by ProgramFilesx86
Error on check sol with docker
#33 opened Jan 25, 2022 by vKolerts
When I use security --list the following error occurred
#31 opened Jan 5, 2022 by xiaosong-gif
1
When does it support 0.8 0 version?
#30 opened Dec 13, 2021 by coinsccg
ErrorDefinition not found in grammer
#29 opened Oct 21, 2021 by naftalirose
I can't use Securify. ERROR: No such file or directory: 'souffle'. I have installed souffle and all other dependencies. Can anyone help?
#27 opened Jul 26, 2021 by sujeetc
I am running "docker build -t securify" command on windows. But I am getting error.
#26 opened Jul 13, 2021 by descartes2100
2
[Docker] securify.staticanalysis.souffle.exceptions.SouffleError: Error during souffle execution
#25 opened Jun 6, 2021 by enderphan94
The range of pragma versions it currently supports?
#24 opened Jun 1, 2021 by enderphan94
3
securify.staticanalysis.souffle.exceptions.SouffleError: Error during souffle execution
#23 opened May 25, 2021 by supuo
3
Error building dockerfile using solc 0.7.4
#19 opened Dec 6, 2020 by 0xKurt
4
Error during Docker build command
#18 opened Dec 3, 2020 by EliezerAlmogZaffrani
website is down
#17 opened Oct 29, 2020 by aj07
Does securify analyse all contracts in a contract file?
#15 opened Oct 11, 2020 by lukasdenk
3
Output analysis result in json format
#13 opened Sep 16, 2020 by 1140251
support for Solidity 0.7
#12 opened Aug 21, 2020 by technionRamy
3
Error loading data: Cannot open fact file balance.facts
#11 opened Jun 23, 2020 by banescusebi
1
ProTip! Adding no:label will show everything without a label.