This is stars and forks stats for /eth-sri/securify2 repository. As of 29 Apr, 2024 this repository has 541 stars and 112 forks.
Securify v2.0 Securify 2.0 is a security scanner for Ethereum smart contracts supported by the Ethereum Foundation and ChainSecurity. The core research behind Securify was conducted at the Secure, Reliable, and Intelligent Systems Lab at ETH Zurich. It is the successor of the popular Securify security scanner (you can find the old version here). Features Supports 37 vulnerabilities (see table below) Implements novel context-sensitive static analysis written in Datalog Analyzes contracts written in...
Securify v2.0 Securify 2.0 is a security scanner for Ethereum smart contracts supported by the Ethereum Foundation and ChainSecurity. The core research behind Securify was conducted at the Secure, Reliable, and Intelligent Systems Lab at ETH Zurich. It is the successor of the popular Securify security scanner (you can find the old version here). Features Supports 37 vulnerabilities (see table below) Implements novel context-sensitive static analysis written in Datalog Analyzes contracts written in...
repo | techs | stars | weekly | forks | weekly |
---|---|---|---|---|---|
Project-Sloth/ps-hud | SvelteLuaTypeScript | 109 | -1 | 159 | 0 |
SwipeCellKit/SwipeCellKit | SwiftOther | 6.1k | 0 | 792 | 0 |
PlasmoHQ/plasmo | TypeScriptJavaScriptOther | 6.9k | +40 | 224 | +1 |
EnixCoda/Gitako | TypeScriptJavaScriptSCSS | 2.2k | +3 | 100 | 0 |
abyr/settings.vim | Vim ScriptOther | 0 | 0 | 0 | 0 |
may-fly/mayfly-go | VueGoTypeScript | 1.3k | +5 | 345 | +3 |
idealista/prom2teams_role | YAMLJinjaPython | 3 | 0 | 1 | 0 |
oceanbase/oceanbase | C++PythonYacc | 6.2k | 0 | 1.3k | 0 |
halide/Halide | C++CPython | 5.5k | +7 | 1k | 0 |
jgraph/mxgraph | HTMLJavaScriptJava | 6.6k | 0 | 2k | 0 |