• Features
  • Pricing
  • Contact
    Login with:
  • Features
  • Pricing
  • Contact
Login with:
MemoryLoadResolver
solidity
Repository badge with A rating
View on GitHub

  • 316 issues
  • 1 pull request
  • 779 files
  • 1 active branch

CodeFactor Rating A

  • {{format.Name}}
Grade
Name
Complexity
Churn
Issues
A
scripts\install_static_z3.sh
1 -
A
scripts\install_obsolete_jsoncpp_1_7_4.sh
1 -
A
scripts\install_evmone.ps1
1 -
A
scripts\install_deps.sh
3 -
A
scripts\install_deps.ps1
1 -
A
scripts\install_cmake.sh
2 -
A
scripts\get_version.sh
3 -
A
scripts\get_nightly_version.sh
2 -
A
scripts\fix_homebrew_paths_in_standalone_zip.py
7 1 2
A
scripts\extract_test_cases.py
6 1 3
A
scripts\error_codes.py
74 5 1
A
scripts\endToEndExtraction\verify-testcases.py
49 1 -
A
scripts\endToEndExtraction\remove-testcases.py
47 1 2
A
scripts\endToEndExtraction\create_traces.sh
1 -
A
scripts\download_ossfuzz_corpus.sh
1 -
A
scripts\docs_version_pragma_check.sh
3 1
A
scripts\docs.sh
2 -
A
scripts\docker_deploy_manual.sh
1 1
A
scripts\deps-ppa\static_z3.sh
2 3
A
scripts\create_source_tarball.sh
1 2
  • Previous Page
  • Next Page
  • Security
  • Terms
  • Privacy
  • Contact
© 2026 CodeFactor

We use cookies in order to offer you the most relevant information. See our Privacy Policy.