• Solidity

  • Referenced in 1 article [sw30784]
  • oriented, high-level language for implementing smart contracts. Smart contracts are programs which govern...
  • SmartAnvil

  • Referenced in 0 articles [sw37687]
  • SmartAnvil: open-source tool suite for smart contract analysis. Smart contracts are new computational units ... contract, (2) the object nature of published contracts, and (3) the overall data chain composed ... build software analysis tools around smart contracts. We illustrate the general components and we focus ... support for static analysis of Solidity smart contracts, deployed smart contract binary analysis through inspection...
  • Slither

  • Referenced in 0 articles [sw37688]
  • Slither: A Static Analysis Framework for Smart Contracts. This paper describes Slither, a static analysis ... provide rich information about Ethereum smart contracts. It works by converting Solidity smart contracts into ... tools at finding issues in Ethereum smart contracts in terms of speed, robustness, and balance ... tools using a large dataset of smart contracts and manually reviewed results...
  • SmartCheck

  • Referenced in 0 articles [sw37692]
  • SmartCheck: static analysis of ethereum smart contracts. Ethereum is a major blockchain-based platform ... smart contracts - Turing complete programs that are executed in a decentralized network and usually manipulate ... most mature high-level smart contract language. Ethereum is a hostile execution environment, where anonymous...
  • EtherTrust

  • Referenced in 0 articles [sw37689]
  • emerged as the most popular smart contract development platform, with hundreds of thousands of contracts ... which is practical and scales to large contracts. In particular, our static analysis supports reachability ... most important security properties for smart contracts (e.g., single-entrancy and transaction environment dependency ... nding tool for smart contracts: EtherTrust analyses real-life contracts in a few seconds, outperforming...
  • Echidna

  • Referenced in 0 articles [sw37693]
  • Echidna: A Fast Smart Contract Fuzzer. Echidna is a weird creature that eats bugs ... designed for fuzzing/property-based testing of Ethereum smarts contracts. It uses sophisticated grammar-based fuzzing campaigns...
  • Manticore

  • Referenced in 0 articles [sw37691]
  • Symbolic Execution Framework for Binaries and Smart Contracts. An effective way to maximize code coverage ... Manticore for analyzing binaries and Ethereum smart contracts. Manticore’s flexible architecture allows...
  • Mythril

  • Referenced in 0 articles [sw37686]
  • bytecode. It detects security vulnerabilities in smart contracts built for Ethereum, Hedera, Quorum, Vechain, Roostock...
  • Vandal

  • Referenced in 0 articles [sw37685]
  • static program analysis framework for Ethereum smart contract bytecode, developed at The University of Sydney...
  • ANSYS

  • Referenced in 663 articles [sw00044]
  • ANSYS offers a comprehensive software suite that spans...
  • BARON

  • Referenced in 324 articles [sw00066]
  • BARON is a computational system for solving nonconvex...
  • Coq

  • Referenced in 1818 articles [sw00161]
  • Coq is a formal proof management system. It...
  • Isabelle

  • Referenced in 617 articles [sw00454]
  • Isabelle is a generic proof assistant. It allows...
  • LAPACK

  • Referenced in 1647 articles [sw00503]
  • LAPACK is written in Fortran 90 and provides...
  • Magma

  • Referenced in 2986 articles [sw00540]
  • Computer algebra system (CAS). Magma is a large...
  • Maple

  • Referenced in 5168 articles [sw00545]
  • The result of over 30 years of cutting...
  • Mathematica

  • Referenced in 6041 articles [sw00554]
  • Almost any workflow involves computing results, and that...
  • Matlab

  • Referenced in 12477 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • R

  • Referenced in 8728 articles [sw00771]
  • R is a language and environment for statistical...