Ecosyste.ms: Repos

An open API service providing repository metadata for many open source software ecosystems.

GitHub / verichains / revela

Decompiler for Move smart contracts

JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/verichains%2Frevela

Stars: 36
Forks: 5
Open Issues: 4

License: other
Language: Rust
Repo Size: 237 MB
Dependencies: 8,181

Created: 3 months ago
Updated: 25 days ago
Last pushed: 25 days ago
Last synced: 25 days ago

Topics: aptos, audit, blockchain, decomipler, move, security, security-audit, security-tools, smartcontract, web3

Files
    Loading...
    Readme
    Loading...
    Dependencies
    testsuite/pyproject.toml pypi
    .github/workflows/build-revela.yaml actions
    docker/kind/Dockerfile docker
    testsuite/fuzzer/google-oss-fuzz/Dockerfile docker
    aptos-move/move-examples/my_first_dapp/client/package.json npm
    crates/aptos-faucet/ts-client/package.json npm
    ecosystem/node-checker/ts-client/package.json npm
    ecosystem/typescript/aptos-client/package.json npm
    ecosystem/typescript/sdk/examples/javascript/package.json npm
    ecosystem/typescript/sdk/examples/typescript/package.json npm
    ecosystem/typescript/sdk/examples/typescript-esm/package.json npm
    ecosystem/typescript/sdk/package.json npm
    package.json npm
    protos/typescript/package.json npm
    testsuite/loadtest-k6/package.json npm
    third_party/move/evm/hardhat-examples/package.json npm
    third_party/move/evm/hardhat-move/package.json npm
    third_party/move/move-analyzer/editors/code/package.json npm
    crates/aptos/e2e/pyproject.toml pypi
    crates/aptos-faucet/integration-tests/pyproject.toml pypi
    ecosystem/python/sdk/pyproject.toml pypi
    protos/python/pyproject.toml pypi
    .github/actions/build-revela/action.yml actions
    Cargo.toml cargo
    api/Cargo.toml cargo
    api/openapi-spec-generator/Cargo.toml cargo
    api/test-context/Cargo.toml cargo
    api/types/Cargo.toml cargo
    aptos-move/aptos-abstract-gas-usage/Cargo.toml cargo
    aptos-move/aptos-aggregator/Cargo.toml cargo
    aptos-move/aptos-debugger/Cargo.toml cargo
    aptos-move/aptos-e2e-comparison-testing/Cargo.toml cargo
    aptos-move/aptos-gas-algebra/Cargo.toml cargo
    aptos-move/aptos-gas-calibration/Cargo.toml cargo
    aptos-move/aptos-gas-meter/Cargo.toml cargo
    aptos-move/aptos-gas-profiling/Cargo.toml cargo
    aptos-move/aptos-gas-schedule/Cargo.toml cargo
    aptos-move/aptos-gas-schedule-updator/Cargo.toml cargo
    aptos-move/aptos-memory-usage-tracker/Cargo.toml cargo
    aptos-move/aptos-native-interface/Cargo.toml cargo
    aptos-move/aptos-release-builder/Cargo.toml cargo
    aptos-move/aptos-resource-viewer/Cargo.toml cargo
    aptos-move/aptos-sdk-builder/Cargo.toml cargo
    aptos-move/aptos-transaction-benchmarks/Cargo.toml cargo
    aptos-move/aptos-transactional-test-harness/Cargo.toml cargo
    aptos-move/aptos-validator-interface/Cargo.toml cargo
    aptos-move/aptos-vm/Cargo.toml cargo
    aptos-move/aptos-vm-benchmarks/Cargo.toml cargo
    aptos-move/aptos-vm-logging/Cargo.toml cargo
    aptos-move/aptos-vm-profiling/Cargo.toml cargo
    aptos-move/aptos-vm-types/Cargo.toml cargo
    aptos-move/block-executor/Cargo.toml cargo
    aptos-move/e2e-move-tests/Cargo.toml cargo
    aptos-move/e2e-tests/Cargo.toml cargo
    aptos-move/e2e-testsuite/Cargo.toml cargo
    aptos-move/framework/Cargo.toml cargo
    aptos-move/framework/cached-packages/Cargo.toml cargo
    aptos-move/framework/move-stdlib/Cargo.toml cargo
    aptos-move/framework/table-natives/Cargo.toml cargo
    aptos-move/move-examples/Cargo.toml cargo
    aptos-move/mvhashmap/Cargo.toml cargo
    aptos-move/package-builder/Cargo.toml cargo
    aptos-move/vm-genesis/Cargo.toml cargo
    aptos-move/writeset-transaction-generator/Cargo.toml cargo
    aptos-node/Cargo.toml cargo
    aptos-utils/Cargo.toml cargo
    config/Cargo.toml cargo
    config/global-constants/Cargo.toml cargo
    consensus/Cargo.toml cargo
    consensus/consensus-types/Cargo.toml cargo
    consensus/safety-rules/Cargo.toml cargo
    crates/aptos/Cargo.toml cargo
    crates/aptos-admin-service/Cargo.toml cargo
    crates/aptos-api-tester/Cargo.toml cargo
    crates/aptos-bcs-utils/Cargo.toml cargo
    crates/aptos-bitvec/Cargo.toml cargo
    crates/aptos-build-info/Cargo.toml cargo
    crates/aptos-cli-common/Cargo.toml cargo
    crates/aptos-compression/Cargo.toml cargo
    crates/aptos-crypto/Cargo.toml cargo
    crates/aptos-crypto-derive/Cargo.toml cargo
    crates/aptos-debugger/Cargo.toml cargo
    crates/aptos-dkg/Cargo.toml cargo
    crates/aptos-drop-helper/Cargo.toml cargo
    crates/aptos-enum-conversion-derive/Cargo.toml cargo
    crates/aptos-faucet/cli/Cargo.toml cargo
    crates/aptos-faucet/core/Cargo.toml cargo
    crates/aptos-faucet/metrics-server/Cargo.toml cargo
    crates/aptos-faucet/service/Cargo.toml cargo
    crates/aptos-genesis/Cargo.toml cargo
    crates/aptos-github-client/Cargo.toml cargo
    crates/aptos-id-generator/Cargo.toml cargo
    crates/aptos-infallible/Cargo.toml cargo
    crates/aptos-inspection-service/Cargo.toml cargo
    crates/aptos-jwk-consensus/Cargo.toml cargo
    crates/aptos-keygen/Cargo.toml cargo
    crates/aptos-ledger/Cargo.toml cargo
    crates/aptos-log-derive/Cargo.toml cargo
    crates/aptos-logger/Cargo.toml cargo
    crates/aptos-metrics-core/Cargo.toml cargo
    crates/aptos-network-checker/Cargo.toml cargo
    crates/aptos-node-identity/Cargo.toml cargo
    crates/aptos-openapi/Cargo.toml cargo
    crates/aptos-profiler/Cargo.toml cargo
    crates/aptos-proptest-helpers/Cargo.toml cargo
    crates/aptos-push-metrics/Cargo.toml cargo
    crates/aptos-rate-limiter/Cargo.toml cargo
    crates/aptos-rest-client/Cargo.toml cargo
    crates/aptos-retrier/Cargo.toml cargo
    crates/aptos-rosetta/Cargo.toml cargo
    crates/aptos-rosetta-cli/Cargo.toml cargo
    crates/aptos-runtimes/Cargo.toml cargo
    crates/aptos-speculative-state-helper/Cargo.toml cargo
    crates/aptos-telemetry/Cargo.toml cargo
    crates/aptos-telemetry-service/Cargo.toml cargo
    crates/aptos-temppath/Cargo.toml cargo
    crates/aptos-time-service/Cargo.toml cargo
    crates/aptos-warp-webserver/Cargo.toml cargo
    crates/bounded-executor/Cargo.toml cargo
    crates/channel/Cargo.toml cargo
    crates/crash-handler/Cargo.toml cargo
    crates/fallible/Cargo.toml cargo
    crates/indexer/Cargo.toml cargo
    crates/node-resource-metrics/Cargo.toml cargo
    crates/num-variants/Cargo.toml cargo
    crates/proxy/Cargo.toml cargo
    crates/reliable-broadcast/Cargo.toml cargo
    crates/short-hex-str/Cargo.toml cargo
    crates/transaction-emitter/Cargo.toml cargo
    crates/transaction-emitter-lib/Cargo.toml cargo
    crates/transaction-generator-lib/Cargo.toml cargo
    crates/validator-transaction-pool/Cargo.toml cargo
    devtools/aptos-cargo-cli/Cargo.toml cargo
    dkg/Cargo.toml cargo
    ecosystem/indexer-grpc/indexer-grpc-cache-worker/Cargo.toml cargo
    ecosystem/indexer-grpc/indexer-grpc-data-access/Cargo.toml cargo
    ecosystem/indexer-grpc/indexer-grpc-data-service/Cargo.toml cargo
    ecosystem/indexer-grpc/indexer-grpc-file-store/Cargo.toml cargo
    ecosystem/indexer-grpc/indexer-grpc-fullnode/Cargo.toml cargo
    ecosystem/indexer-grpc/indexer-grpc-integration-tests/Cargo.toml cargo
    ecosystem/indexer-grpc/indexer-grpc-server-framework/Cargo.toml cargo
    ecosystem/indexer-grpc/indexer-grpc-table-info/Cargo.toml cargo
    ecosystem/indexer-grpc/indexer-grpc-utils/Cargo.toml cargo
    ecosystem/nft-metadata-crawler-parser/Cargo.toml cargo
    ecosystem/node-checker/Cargo.toml cargo
    ecosystem/node-checker/fn-check-client/Cargo.toml cargo
    execution/block-partitioner/Cargo.toml cargo
    execution/executor/Cargo.toml cargo
    execution/executor-benchmark/Cargo.toml cargo
    execution/executor-service/Cargo.toml cargo
    execution/executor-test-helpers/Cargo.toml cargo
    execution/executor-types/Cargo.toml cargo
    experimental/execution/ptx-executor/Cargo.toml cargo
    experimental/runtimes/Cargo.toml cargo
    mempool/Cargo.toml cargo
    network/benchmark/Cargo.toml cargo
    network/builder/Cargo.toml cargo
    network/discovery/Cargo.toml cargo
    network/framework/Cargo.toml cargo
    network/memsocket/Cargo.toml cargo
    network/netcore/Cargo.toml cargo
    peer-monitoring-service/client/Cargo.toml cargo
    peer-monitoring-service/server/Cargo.toml cargo
    peer-monitoring-service/types/Cargo.toml cargo
    protos/rust/Cargo.toml cargo
    sdk/Cargo.toml cargo
    secure/net/Cargo.toml cargo
    secure/storage/Cargo.toml cargo
    secure/storage/vault/Cargo.toml cargo
    state-sync/aptos-data-client/Cargo.toml cargo
    state-sync/data-streaming-service/Cargo.toml cargo
    state-sync/inter-component/consensus-notifications/Cargo.toml cargo
    state-sync/inter-component/event-notifications/Cargo.toml cargo
    state-sync/inter-component/mempool-notifications/Cargo.toml cargo
    state-sync/inter-component/storage-service-notifications/Cargo.toml cargo
    state-sync/state-sync-driver/Cargo.toml cargo
    state-sync/storage-service/client/Cargo.toml cargo
    state-sync/storage-service/server/Cargo.toml cargo
    state-sync/storage-service/types/Cargo.toml cargo
    storage/accumulator/Cargo.toml cargo
    storage/aptosdb/Cargo.toml cargo
    storage/backup/backup-cli/Cargo.toml cargo
    storage/backup/backup-service/Cargo.toml cargo
    storage/db-tool/Cargo.toml cargo
    storage/executable-store/Cargo.toml cargo
    storage/indexer/Cargo.toml cargo
    storage/jellyfish-merkle/Cargo.toml cargo
    storage/rocksdb-options/Cargo.toml cargo
    storage/schemadb/Cargo.toml cargo
    storage/scratchpad/Cargo.toml cargo
    storage/storage-interface/Cargo.toml cargo
    testsuite/aptos-fuzzer/Cargo.toml cargo
    testsuite/aptos-fuzzer/fuzz/Cargo.toml cargo
    testsuite/dos/http_test/Cargo.toml cargo
    testsuite/dos/listener/Cargo.toml cargo
    testsuite/dos/sender/Cargo.toml cargo
    testsuite/forge/Cargo.toml cargo
    testsuite/forge-cli/Cargo.toml cargo
    testsuite/fuzzer/Cargo.toml cargo
    testsuite/fuzzer/fuzz/Cargo.toml cargo
    testsuite/generate-format/Cargo.toml cargo
    testsuite/module-publish/Cargo.toml cargo
    testsuite/smoke-test/Cargo.toml cargo
    testsuite/testcases/Cargo.toml cargo
    third_party/move/benchmarks/Cargo.toml cargo
    third_party/move/documentation/examples/diem-framework/crates/cli/Cargo.toml cargo
    third_party/move/documentation/examples/diem-framework/crates/crypto/Cargo.toml cargo
    third_party/move/documentation/examples/diem-framework/crates/crypto-derive/Cargo.toml cargo
    third_party/move/documentation/examples/diem-framework/crates/natives/Cargo.toml cargo
    third_party/move/evm/exec-utils/Cargo.toml cargo
    third_party/move/evm/extract-ethereum-abi/Cargo.toml cargo
    third_party/move/evm/move-ethereum-abi/Cargo.toml cargo
    third_party/move/evm/move-to-yul/Cargo.toml cargo
    third_party/move/extensions/async/move-async-vm/Cargo.toml cargo
    third_party/move/extensions/move-table-extension/Cargo.toml cargo
    third_party/move/move-analyzer/Cargo.toml cargo
    third_party/move/move-binary-format/Cargo.toml cargo
    third_party/move/move-binary-format/serializer-tests/Cargo.toml cargo
    third_party/move/move-borrow-graph/Cargo.toml cargo
    third_party/move/move-bytecode-verifier/Cargo.toml cargo
    third_party/move/move-bytecode-verifier/bytecode-verifier-tests/Cargo.toml cargo
    third_party/move/move-bytecode-verifier/fuzz/Cargo.toml cargo
    third_party/move/move-bytecode-verifier/invalid-mutations/Cargo.toml cargo
    third_party/move/move-bytecode-verifier/transactional-tests/Cargo.toml cargo
    third_party/move/move-command-line-common/Cargo.toml cargo
    third_party/move/move-compiler/Cargo.toml cargo
    third_party/move/move-compiler/transactional-tests/Cargo.toml cargo
    third_party/move/move-compiler-v2/Cargo.toml cargo
    third_party/move/move-compiler-v2/tools/testdiff/Cargo.toml cargo
    third_party/move/move-compiler-v2/transactional-tests/Cargo.toml cargo
    third_party/move/move-core/types/Cargo.toml cargo
    third_party/move/move-ir/types/Cargo.toml cargo
    third_party/move/move-ir-compiler/Cargo.toml cargo
    third_party/move/move-ir-compiler/move-bytecode-source-map/Cargo.toml cargo
    third_party/move/move-ir-compiler/move-ir-to-bytecode/Cargo.toml cargo
    third_party/move/move-ir-compiler/move-ir-to-bytecode/syntax/Cargo.toml cargo
    third_party/move/move-ir-compiler/transactional-tests/Cargo.toml cargo
    third_party/move/move-model/Cargo.toml cargo
    third_party/move/move-model/bytecode/Cargo.toml cargo
    third_party/move/move-model/bytecode/abstract_domain_derive/Cargo.toml cargo
    third_party/move/move-model/bytecode-test-utils/Cargo.toml cargo
    third_party/move/move-prover/Cargo.toml cargo
    third_party/move/move-prover/boogie-backend/Cargo.toml cargo
    third_party/move/move-prover/bytecode-pipeline/Cargo.toml cargo
    third_party/move/move-prover/lab/Cargo.toml cargo
    third_party/move/move-prover/move-abigen/Cargo.toml cargo
    third_party/move/move-prover/move-docgen/Cargo.toml cargo
    third_party/move/move-prover/move-errmapgen/Cargo.toml cargo
    third_party/move/move-prover/test-utils/Cargo.toml cargo
    third_party/move/move-stdlib/Cargo.toml cargo
    third_party/move/move-symbol-pool/Cargo.toml cargo
    third_party/move/move-vm/integration-tests/Cargo.toml cargo
    third_party/move/move-vm/paranoid-tests/Cargo.toml cargo
    third_party/move/move-vm/runtime/Cargo.toml cargo
    third_party/move/move-vm/test-utils/Cargo.toml cargo
    third_party/move/move-vm/transactional-tests/Cargo.toml cargo
    third_party/move/move-vm/types/Cargo.toml cargo
    third_party/move/testing-infra/module-generation/Cargo.toml cargo
    third_party/move/testing-infra/test-generation/Cargo.toml cargo
    third_party/move/testing-infra/transactional-test-runner/Cargo.toml cargo
    third_party/move/tools/move-bytecode-utils/Cargo.toml cargo
    third_party/move/tools/move-bytecode-viewer/Cargo.toml cargo
    third_party/move/tools/move-cli/Cargo.toml cargo
    third_party/move/tools/move-coverage/Cargo.toml cargo
    third_party/move/tools/move-disassembler/Cargo.toml cargo
    third_party/move/tools/move-explain/Cargo.toml cargo
    third_party/move/tools/move-package/Cargo.toml cargo
    third_party/move/tools/move-resource-viewer/Cargo.toml cargo
    third_party/move/tools/move-unit-test/Cargo.toml cargo
    third_party/move/tools/revela/Cargo.toml cargo
    types/Cargo.toml cargo
    vm-validator/Cargo.toml cargo
    Cargo.lock cargo
    testsuite/loadtest-k6/yarn.lock npm
    ecosystem/node-checker/ts-client/pnpm-lock.yaml npm
    third_party/move/evm/hardhat-examples/package-lock.json npm
    ecosystem/typescript/aptos-client/pnpm-lock.yaml npm
    crates/aptos-faucet/integration-tests/poetry.lock pypi
    ecosystem/typescript/sdk/examples/javascript/pnpm-lock.yaml npm
    third_party/move/evm/hardhat-move/package-lock.json npm
    ecosystem/typescript/sdk/examples/typescript/pnpm-lock.yaml npm
    protos/python/poetry.lock pypi
    ecosystem/typescript/sdk/examples/typescript-esm/pnpm-lock.yaml npm
    third_party/move/move-analyzer/editors/code/package-lock.json npm
    ecosystem/typescript/sdk/pnpm-lock.yaml npm
    ecosystem/python/sdk/poetry.lock pypi
    pnpm-lock.yaml npm
    crates/aptos/e2e/poetry.lock pypi
    aptos-move/move-examples/my_first_dapp/client/package-lock.json npm
    testsuite/fuzzer/fuzz/Cargo.lock cargo
    protos/typescript/pnpm-lock.yaml npm
    testsuite/poetry.lock pypi
    crates/aptos-faucet/ts-client/pnpm-lock.yaml npm