Public scan — anyone with this URL can view this analysis. Sign up to track your own repos privately, run scheduled re-scans, and get AI fix prompts via your dashboard.

xian-technology/xian-contracting

https://github.com/xian-technology/xian-contracting · scanned 2026-06-16 01:02 UTC (2 months, 1 week ago)

120 raw signals (0 security + 120 graph)

UNIFIED Repobility · multi-layer engine · AI coders

Complete repo analysis

Last scanned 2 months, 1 week ago · v1 · 76 actionable findings from 1 signal source. 44 repeated signals grouped for readability. Security checks, system graph analysis, and verified AI-agent feedback are merged into one review queue.

JSON
Severity distribution — click a segment to filter
Active filters: excluding tests × Reset all

All 3084 nodes from the latest scan, grouped by kind. Each node is a unit the engine identified (file, function, endpoint, table…). Most users won't need this view — it's primarily for debugging the engine's graph extraction or for AI agents that want to enumerate the project structure.

LabelLayerStatusPath
setUp software healthy tests/security/test_runtime_security.py:117
tearDown software healthy tests/security/test_runtime_security.py:123
test_reentrant_failure_rolls_back_all_nested_writes_and_eve… software healthy tests/security/test_runtime_security.py:126
test_contract_python_globals_are_rejected_before_deployment software healthy tests/security/test_runtime_security.py:147
test_dynamic_imported_contract_globals_are_rejected_before_… software healthy tests/security/test_runtime_security.py:157
test_redeploy_after_flush_uses_fresh_contract_source software healthy tests/security/test_runtime_security.py:167
test_hash_prefix_reads_do_not_expose_live_mutable_state software healthy tests/security/test_runtime_security.py:188
test_runtime_builtins_are_restricted_even_for_unlinted_sour… software healthy tests/security/test_runtime_security.py:198
setUp software healthy tests/security/test_erc20_token_hacks.py:8
tearDown software healthy tests/security/test_erc20_token_hacks.py:35
test_orm_rename_hack software healthy tests/security/test_erc20_token_hacks.py:38
test_orm_setattr_hack software healthy tests/security/test_erc20_token_hacks.py:58
test_double_spend_if_chi_run_out software healthy tests/security/test_erc20_token_hacks.py:81
test_chi_fails_when_calling_infinate_loop_from_another_cont… software healthy tests/security/test_erc20_token_hacks.py:124
test_constructor_with_infinate_loop_fails software healthy tests/security/test_erc20_token_hacks.py:144
test_infinate_loop_of_writes_undos_everything software healthy tests/security/test_erc20_token_hacks.py:160
test_accessing_variable_on_another_contract software healthy tests/security/test_erc20_token_hacks.py:168
test_get_set_driver software healthy tests/security/test_erc20_token_hacks.py:196
test_get_set_driver_2 software healthy tests/security/test_erc20_token_hacks.py:222
seed software healthy tests/security/contracts/builtin_hack_token.s.py:4
blah software healthy tests/security/contracts/builtin_hack_token.s.py:9
loop software healthy tests/security/contracts/infinate_loop.s.py:2
eat_chi software healthy tests/security/contracts/infinate_loop.s.py:8
seed software healthy tests/security/contracts/get_set_driver_2.py:6
dummy software healthy tests/security/contracts/get_set_driver_2.py:13
seed software healthy tests/security/contracts/double_spend_gas_attack.s.py:4
double_spend software healthy tests/security/contracts/double_spend_gas_attack.s.py:8
call software healthy tests/security/contracts/call_infinate_loop.s.py:4
seed software healthy tests/security/contracts/import_hash_from_contract.s.py:4
dummy software healthy tests/security/contracts/import_hash_from_contract.s.py:8
seed software healthy tests/security/contracts/erc20_clone.s.py:5
transfer software healthy tests/security/contracts/erc20_clone.s.py:11
balance_of software healthy tests/security/contracts/erc20_clone.s.py:19
total_supply software healthy tests/security/contracts/erc20_clone.s.py:23
allowance software healthy tests/security/contracts/erc20_clone.s.py:27
approve software healthy tests/security/contracts/erc20_clone.s.py:31
transfer_from software healthy tests/security/contracts/erc20_clone.s.py:37
seed software healthy tests/security/contracts/hack_tokens.s.py:4
blah software healthy tests/security/contracts/hack_tokens.s.py:9
seed software healthy tests/security/contracts/get_set_driver.py:5
dummy software healthy tests/security/contracts/get_set_driver.py:12
seed software healthy tests/security/contracts/constructor_infinate_loop.s.py:2
dummy software healthy tests/security/contracts/constructor_infinate_loop.s.py:8
seed software healthy tests/security/contracts/con_inf_writes.s.py:4
dummy software healthy tests/security/contracts/con_inf_writes.s.py:11
submit_contract software healthy tests/security/contracts/submission.s.py:25
change_developer software healthy tests/security/contracts/submission.s.py:74
change_owner software healthy tests/security/contracts/submission.s.py:92
test_visit_assign_variable software healthy tests/integration/test_senecaCompiler_integration.py:12
test_visit_assign_foreign_variable software healthy tests/integration/test_senecaCompiler_integration.py:28

Showing first 50 of this kind. Full payload available via the JSON button at the top of the page.

LabelLayerStatusPath
README.md software healthy README.md
pyproject.toml software healthy pyproject.toml
LICENSE software healthy LICENSE
AGENTS.md software healthy AGENTS.md
__init__.py software healthy tests/__init__.py
conftest.py software healthy tests/conftest.py
README.md software healthy tests/README.md
__init__.py software healthy tests/security/__init__.py
test_runtime_security.py software healthy tests/security/test_runtime_security.py
test_erc20_token_hacks.py software healthy tests/security/test_erc20_token_hacks.py
builtin_hack_token.s.py software healthy tests/security/contracts/builtin_hack_token.s.py
infinate_loop.s.py software healthy tests/security/contracts/infinate_loop.s.py
get_set_driver_2.py software healthy tests/security/contracts/get_set_driver_2.py
double_spend_gas_attack.s.py software healthy tests/security/contracts/double_spend_gas_attack.s.py
call_infinate_loop.s.py software healthy tests/security/contracts/call_infinate_loop.s.py
import_hash_from_contract.s.py software healthy tests/security/contracts/import_hash_from_contract.s.py
erc20_clone.s.py software healthy tests/security/contracts/erc20_clone.s.py
hack_tokens.s.py software healthy tests/security/contracts/hack_tokens.s.py
get_set_driver.py software healthy tests/security/contracts/get_set_driver.py
constructor_infinate_loop.s.py software healthy tests/security/contracts/constructor_infinate_loop.s.py
con_inf_writes.s.py software healthy tests/security/contracts/con_inf_writes.s.py
submission.s.py software healthy tests/security/contracts/submission.s.py
test_senecaCompiler_integration.py software healthy tests/integration/test_senecaCompiler_integration.py
test_run_private_function.py software healthy tests/integration/test_run_private_function.py
test_rich_ctx_calling.py software healthy tests/integration/test_rich_ctx_calling.py
test_zk_bridge.py software healthy tests/integration/test_zk_bridge.py
__init__.py software healthy tests/integration/__init__.py
test_datetime_contracts.py software healthy tests/integration/test_datetime_contracts.py
test_executor_transaction_writes.py software healthy tests/integration/test_executor_transaction_writes.py
test_executor_submission_process.py software healthy tests/integration/test_executor_submission_process.py
test_atomic_swap.py software healthy tests/integration/test_atomic_swap.py
test_seneca_client_randoms.py software healthy tests/integration/test_seneca_client_randoms.py
test_export_typecheck.py software healthy tests/integration/test_export_typecheck.py
test_seneca_client_replaces_executor.py software healthy tests/integration/test_seneca_client_replaces_executor.py
test_chi_deduction.py software healthy tests/integration/test_chi_deduction.py
test_vm_language_conformance.py software healthy tests/integration/test_vm_language_conformance.py
test_complex_object_setting.py software healthy tests/integration/test_complex_object_setting.py
test_complex_contracts.py software healthy tests/integration/test_complex_contracts.py
test_ifexp_support.py software healthy tests/integration/test_ifexp_support.py
test_misc_contracts.py software healthy tests/integration/test_misc_contracts.py
test_memory_clean_up_after_execution.py software healthy tests/integration/test_memory_clean_up_after_execution.py
test_builtins_locked_off.py software healthy tests/integration/test_builtins_locked_off.py
test_dynamic_imports.py software healthy tests/integration/test_dynamic_imports.py
test_pixel_game.py software healthy tests/integration/test_pixel_game.py
test_vm_stateful_fuzz.py software healthy tests/integration/test_vm_stateful_fuzz.py
test_parallel_batch_executor.py software healthy tests/integration/test_parallel_batch_executor.py
test_constructor_args.py software healthy tests/integration/test_constructor_args.py
exception.py software healthy tests/integration/test_contracts/exception.py
time.s.py software healthy tests/integration/test_contracts/time.s.py
mathtime.s.py software healthy tests/integration/test_contracts/mathtime.s.py

Showing first 50 of this kind. Full payload available via the JSON button at the top of the page.

LabelLayerStatusPath
TestRuntimeSecurity software healthy tests/security/test_runtime_security.py:116
TestTokenHacks software healthy tests/security/test_erc20_token_hacks.py:7
TestSenecaCompiler software healthy tests/integration/test_senecaCompiler_integration.py:11
TestRunPrivateFunction software healthy tests/integration/test_run_private_function.py:7
TestRandomsContract software healthy tests/integration/test_rich_ctx_calling.py:96
TestZkBridge software healthy tests/integration/test_zk_bridge.py:13
TestSenecaClientReplacesExecutor software healthy tests/integration/test_datetime_contracts.py:9
TestTransactionWrites software healthy tests/integration/test_executor_transaction_writes.py:7
TestExecutor software healthy tests/integration/test_executor_submission_process.py:48
TestAtomicSwapContract software healthy tests/integration/test_atomic_swap.py:49
TestRandomsContract software healthy tests/integration/test_seneca_client_randoms.py:72
TestExportTypecheck software healthy tests/integration/test_export_typecheck.py:41
TestSenecaClientReplacesExecutor software healthy tests/integration/test_seneca_client_replaces_executor.py:9
TestMetering software healthy tests/integration/test_chi_deduction.py:47
TestComplexStorage software healthy tests/integration/test_complex_object_setting.py:25
TestComplexContracts software healthy tests/integration/test_complex_contracts.py:49
TestIfExpSupport software healthy tests/integration/test_ifexp_support.py:13
TestMiscContracts software healthy tests/integration/test_misc_contracts.py:67
TestPassHash software healthy tests/integration/test_misc_contracts.py:279
TestDeveloperSubmission software healthy tests/integration/test_misc_contracts.py:403
TestFloatThing software healthy tests/integration/test_misc_contracts.py:655
TestHackThing software healthy tests/integration/test_misc_contracts.py:845
TestFixed software healthy tests/integration/test_misc_contracts.py:920
TestMetering software healthy tests/integration/test_memory_clean_up_after_execution.py:46
TestBuiltinsLockedOff software healthy tests/integration/test_builtins_locked_off.py:7
TestMathBuiltinsLockedOff software healthy tests/integration/test_builtins_locked_off.py:29
TestContractModuleLoaderLoadsFirst software healthy tests/integration/test_builtins_locked_off.py:48
TestDynamicImport software healthy tests/integration/test_builtins_locked_off.py:74
TestFloatIssue software healthy tests/integration/test_builtins_locked_off.py:96
TestDynamicImports software healthy tests/integration/test_dynamic_imports.py:8
TestCoinContract software healthy tests/integration/test_pixel_game.py:72
TestPixelGame software healthy tests/integration/test_pixel_game.py:216
TestParallelBatchExecutor software healthy tests/integration/test_parallel_batch_executor.py:83
TestSenecaClientReplacesExecutor software healthy tests/integration/test_constructor_args.py:8
TestParallelExecutionPlanner software healthy tests/unit/test_parallel_planner.py:31
TestDeterministicRandom software healthy tests/unit/test_stdlib_random.py:6
TestContext software healthy tests/unit/test_context_data_struct.py:6
TestDatum software healthy tests/unit/test_orm.py:28
TestVariable software healthy tests/unit/test_orm.py:40
TestHash software healthy tests/unit/test_orm.py:217
TestForeignVariable software healthy tests/unit/test_orm.py:751
TestForeignHash software healthy tests/unit/test_orm.py:787
TestLogEvent software healthy tests/unit/test_orm.py:905
TestDriverTombstones software healthy tests/unit/test_driver_tombstones.py:6
TestContractStorage software healthy tests/unit/test_contract_storage.py:8
TestDecimal software healthy tests/unit/test_decimal.py:16
TestTimedelta software healthy tests/unit/test_timedelta.py:16
TestParser software healthy tests/unit/test_parser.py:7
TestVmCompatibilityChecker software healthy tests/unit/test_vm_compatibility.py:11
TestCompilerVmCompatibility software healthy tests/unit/test_vm_compatibility.py:118

Showing first 50 of this kind. Full payload available via the JSON button at the top of the page.

LabelLayerStatusPath
tests software healthy tests
security software healthy tests/security
contracts software healthy tests/security/contracts
integration software healthy tests/integration
test_contracts software healthy tests/integration/test_contracts
modules software healthy tests/integration/test_contracts/modules
unit software healthy tests/unit
test_sys_contracts software healthy tests/unit/test_sys_contracts
precompiled software healthy tests/unit/precompiled
contracts software healthy tests/unit/contracts
performance software healthy tests/performance
test_contracts software healthy tests/performance/test_contracts
modules software healthy tests/performance/test_contracts/modules
docs software healthy docs
scripts software healthy scripts
packages software healthy packages
xian-runtime-types software healthy packages/xian-runtime-types
src software healthy packages/xian-runtime-types/src
xian_runtime_types software healthy packages/xian-runtime-types/src/xian_runtime_types
xian-zk software healthy packages/xian-zk
tests software healthy packages/xian-zk/tests
fixtures software healthy packages/xian-zk/tests/fixtures
examples software healthy packages/xian-zk/examples
python software healthy packages/xian-zk/python
xian_zk software healthy packages/xian-zk/python/xian_zk
src software healthy packages/xian-zk/src
xian-compiler-core software healthy packages/xian-compiler-core
tests software healthy packages/xian-compiler-core/tests
fixtures software healthy packages/xian-compiler-core/tests/fixtures
sources software healthy packages/xian-compiler-core/tests/sources
npm software healthy packages/xian-compiler-core/npm
scripts software healthy packages/xian-compiler-core/npm/scripts
python software healthy packages/xian-compiler-core/python
xian_compiler_core software healthy packages/xian-compiler-core/python/xian_compiler_core
src software healthy packages/xian-compiler-core/src
xian-fastpath-core software healthy packages/xian-fastpath-core
python software healthy packages/xian-fastpath-core/python
xian_fastpath_core software healthy packages/xian-fastpath-core/python/xian_fastpath_core
src software healthy packages/xian-fastpath-core/src
xian-vm-core software healthy packages/xian-vm-core
tests software healthy packages/xian-vm-core/tests
fixtures software healthy packages/xian-vm-core/tests/fixtures
python software healthy packages/xian-vm-core/python
xian_vm_core software healthy packages/xian-vm-core/python/xian_vm_core
src software healthy packages/xian-vm-core/src
xian-accounts software healthy packages/xian-accounts
tests software healthy packages/xian-accounts/tests
src software healthy packages/xian-accounts/src
xian_accounts software healthy packages/xian-accounts/src/xian_accounts
examples software healthy examples

Showing first 50 of this kind. Full payload available via the JSON button at the top of the page.

LabelLayerStatusPath
release-context cicd healthy .github/workflows/release.yml
validate cicd healthy .github/workflows/release.yml
build-python cicd healthy .github/workflows/release.yml
build-rust-sdist cicd healthy .github/workflows/release.yml
build-rust-wheels cicd healthy .github/workflows/release.yml
build-npm-compiler cicd healthy .github/workflows/release.yml
collect-release-artifacts cicd healthy .github/workflows/release.yml
publish cicd healthy .github/workflows/release.yml
publish-npm-compiler cicd healthy .github/workflows/release.yml
github-release cicd healthy .github/workflows/release.yml
validate cicd healthy .github/workflows/validate.yml
validate-native cicd healthy .github/workflows/validate.yml

LabelLayerStatusPath
gha::release cicd healthy .github/workflows/release.yml
gha::validate cicd healthy .github/workflows/validate.yml

LabelLayerStatusPath
repobility-clone-ep7e2anj software healthy /tmp/repobility-clone-ep7e2anj

LabelLayerStatusPath
127.0.0.1 network healthy packages/xian-zk/README.md
For AI agents: Voting guide (TP/FP) MCP manifest Stdio wrapper SARIF Integrate Findings queue Vote TP/FP on findings to calibrate the engine.
For AI agents + API integrations
Email me when this repo regresses
Free. We re-scan periodically; new criticals → your inbox. No signup required for the scan itself.
API access

This page is publicly accessible at: https://repobility.com/scan/e7e50e7c-b532-4b41-b679-09faad92acc2/

To check status programmatically (no auth required):

curl -s https://repobility.com/api/v1/public/scan/e7e50e7c-b532-4b41-b679-09faad92acc2/

Important — please don't re-submit the same URL repeatedly. The submission endpoint is idempotent: re-submitting the same git URL returns this same scan_token, not a new one. To re-scan this repo, sign up free and use the dashboard.