
Starred repositories
🚀 Detect backward incompatible migrations for your django project
A Solidity static analyzer to identify contract vulnerabilities and gas efficiencies.
Code coverage for Solidity smart-contracts
Semgrep rules for smart contracts based on DeFi exploits
SmartBugs: A Framework to Analyze Ethereum Smart Contracts
Smart Contract Security Verification Standard
JavaScript code and supporting files for working with the 'Static Analysis Results Interchange Format' (SARIF, see https://github.com/oasis-tcs/sarif-spec)
CLI swiss army knife for Ethereum developers
A JavaScript Framework for Verifiable Data
Gas usage per unit test. Average gas usage per method. A mocha reporter.
Mythril is a symbolic-execution-based securty analysis tool for EVM bytecode. It detects security vulnerabilities in smart contracts built for Ethereum and other EVM-compatible blockchains.
Solhint is an open-source project to provide a linting utility for Solidity code.
A Python library to validate the ownership of a domain using different strategies
Revert makes it incredibly easy to build integrations with any third party API
100+ SQL Scripts - PostgreSQL, MySQL, Oracle, Google BigQuery, MariaDB, AWS Athena. DBA, Analytics, DevOps, performance engineering. Google BigQuery ML machine learning classification.
🐍 🔍 GuardDog is a CLI tool to Identify malicious PyPI and npm packages
A framework to detect attacks and trace stolen assets across Ethereum (FC 2021).
A tool that detects honeypots in Ethereum smart contracts 🍯 (USENIX 2019).
Offensive vulnerability scanner for ethereum, and symbolic execution tool for the Ethereum Virtual Machine
MAIAN: automatic tool for finding trace vulnerabilities in Ethereum smart contracts
A Static Analysis Tool for Detecting Security Vulnerabilities in Python Web Applications
A collection of design patterns/idioms in Python
[mirror] the database client and tools for the Go vulnerability database
Django postgresql backend that apply migrations with respect to database locks
Sync GitHub teams to groups in Active Directory, LDAP, Okta, OneLogin or AzureAD when using any authentication method for GitHub.