This is stars and forks stats for /binsec/binsec repository. As of 28 Apr, 2024 this repository has 282 stars and 30 forks.
BINSEC BINSEC is an open-source toolset to help improve software security at the binary level. It relies on cutting-edge research in binary code analysis, at the intersection of formal methods, program analysis, security and software engineering. It is powered up by state-of-the-art techniques such as binary-level formal methods, symbolic execution, abstract interpretation, SMT solving and fuzzing. Website More information about BINSEC is available at: https://binsec.github.io/ Getting started See...
BINSEC BINSEC is an open-source toolset to help improve software security at the binary level. It relies on cutting-edge research in binary code analysis, at the intersection of formal methods, program analysis, security and software engineering. It is powered up by state-of-the-art techniques such as binary-level formal methods, symbolic execution, abstract interpretation, SMT solving and fuzzing. Website More information about BINSEC is available at: https://binsec.github.io/ Getting started See...
| repo | techs | stars | weekly | forks | weekly |
|---|---|---|---|---|---|
| Kong/lua-resty-events | PerlLuaC | 13 | 0 | 8 | 0 |
| os-autoinst/openQA | PerlJavaScriptShell | 290 | +1 | 195 | +1 |
| purescript-web/purescript-web-dom | PureScriptJavaScript | 34 | 0 | 24 | 0 |
| samuelcolvin/pydantic-core | PythonRustOther | 1.1k | 0 | 129 | 0 |
| lightrush/framework-laptop-formula | SaltStackPythonShell | 95 | 0 | 7 | 0 |
| scalapb/ScalaPB | ScalaHTMLJavaScript | 1.3k | +1 | 276 | +1 |
| desenvolvedor-io/dev-store | C#HTMLJavaScript | 931 | 0 | 171 | 0 |
| t4sk/defi-by-example | SolidityJavaScriptPython | 531 | 0 | 220 | 0 |
| Rivaill/CryptoVulhub | SolidityTypeScriptJavaScript | 335 | 0 | 78 | 0 |
| AmazingAng/WTFSolidity | SolidityJavaScriptHTML | 8.4k | 0 | 1.5k | 0 |