All Projects → sec-bit → adelaide

sec-bit / adelaide

Licence: GPL-3.0 license
The SECBIT Static Analysis Extension to Solidity Compiler

Projects that are alternatives of or similar to adelaide

klever
Read-only mirror of the Klever Git repository
Stars: ✭ 18 (+12.5%)
Mutual labels:  static-analysis
lints
Lint all your JavaScript, CSS, HTML, Markdown and Dockerfiles with a single command
Stars: ✭ 14 (-12.5%)
Mutual labels:  static-analysis
PHPDoctor
🏥 PHPDoctor: Check files, full directories or strings for missing or bad PHPDoc types.
Stars: ✭ 54 (+237.5%)
Mutual labels:  static-analysis
Vehicle-Security-Toolkit
汽车/安卓/固件/代码安全测试工具集
Stars: ✭ 367 (+2193.75%)
Mutual labels:  static-analysis
dlint
Dlint is a tool for encouraging best coding practices and helping ensure Python code is secure.
Stars: ✭ 130 (+712.5%)
Mutual labels:  static-analysis
bismon
persistent monitor (for static source code analysis, GCC based)
Stars: ✭ 45 (+181.25%)
Mutual labels:  static-analysis
aparoid
Static and dynamic Android application security analysis
Stars: ✭ 62 (+287.5%)
Mutual labels:  static-analysis
php-codesniffer-sniffs
Custom sniffs for PHP_CodeSniffer
Stars: ✭ 16 (+0%)
Mutual labels:  static-analysis
cmake-init
The missing CMake project initializer
Stars: ✭ 1,071 (+6593.75%)
Mutual labels:  static-analysis
ramllint
RAML Linter
Stars: ✭ 18 (+12.5%)
Mutual labels:  static-analysis
qulice
Quality Police for Java projects: aggregator of Checkstyle, PMD, and SpotBugs
Stars: ✭ 286 (+1687.5%)
Mutual labels:  static-analysis
inline-plz
Inline your lint messages
Stars: ✭ 32 (+100%)
Mutual labels:  static-analysis
dmn-check
A tool which performs static analyses on Decision Model Notation (DMN) files to detect bugs
Stars: ✭ 34 (+112.5%)
Mutual labels:  static-analysis
localhost-sonarqube
Analysing source code locally with SonarQube in a Docker environment.
Stars: ✭ 17 (+6.25%)
Mutual labels:  static-analysis
phpstan-wordpress
WordPress extensions for PHPStan ⛏️
Stars: ✭ 182 (+1037.5%)
Mutual labels:  static-analysis
subpy
Python subsets
Stars: ✭ 41 (+156.25%)
Mutual labels:  static-analysis
phantom-types
Phantom types for Python.
Stars: ✭ 120 (+650%)
Mutual labels:  static-analysis
kcc
A Small C Compiler
Stars: ✭ 18 (+12.5%)
Mutual labels:  static-analysis
go-perfguard
CPU-guided performance analyzer for Go
Stars: ✭ 58 (+262.5%)
Mutual labels:  static-analysis
phpstan-phpspec
PhpSpec extension for PHPStan
Stars: ✭ 19 (+18.75%)
Mutual labels:  static-analysis

The Solidity Contract-Oriented Programming Language

Join the chat at https://gitter.im/ethereum/solidity Build Status

Useful links

To get started you can find an introduction to the language in the Solidity documentation. In the documentation, you can find code examples as well as a reference of the syntax and details on how to write smart contracts.

You can start using Solidity in your browser with no need to download or compile anything.

The changelog for this project can be found here.

Solidity is still under development. So please do not hesitate and open an issue in GitHub if you encounter anything strange.

Building

See the Solidity documentation for build instructions.

How to Contribute

Please see our contribution guidelines in the Solidity documentation.

Any contributions are welcome!

Note that the project description data, including the texts, logos, images, and/or trademarks, for each open source project belongs to its rightful owner. If you wish to add or remove any projects, please contact us at [email protected].