LICENSE
README.md
__init__.py
__main__.py
ast_bridge.py
ast_scope.py
ast_utils.py
beta_cli.py
beta_semantics.py
bridge_detectors.py
bytecode_oracle.py
call_graph.py
cli.py
commercial_detectors.py
compiler_correlator.py
config.py
confirmation.py
cross_tool_dedup.py
detector_plugin.py
detectors_builtin.py
differential_oracle.py
echidna_bridge.py
eip7702_detector.py
eip7702_extensions.py
eip7702_reporting_hardening.py
eip7702_sandbox.py
eip7702_validation.py
erc4337_checker.py
erc7821_checker.py
evidence.py
fork_oracle.py
fp_filter.py
fp_suppressor.py
halmos_bridge.py
invariant_fuzzer.py
invariants.py
logger.py
mev_and_erc6900_checker.py
mythril_bridge.py
owasp_2026.py
poc_skeletons.py
prior_audit_dedup.py
project_context.py
proof_adapters.py
pyproject.toml
pyrometer_bridge.py
reviewer_confidence.py
sarif_output.py
selector_registry.json
semantic_index.py
semantic_ir.py
semgrep_bridge.py
slither_bridge.py
solidity_project_model.py
static_analyzer.py
test_bytecode_aa7702.py
test_eip7702_modifier_suppression.py
utils.py
wake_bridge.py
./__init__.py
./__main__.py
./ast_bridge.py
./ast_scope.py
./ast_utils.py
./beta_cli.py
./beta_semantics.py
./bridge_detectors.py
./bytecode_oracle.py
./call_graph.py
./cli.py
./commercial_detectors.py
./compiler_correlator.py
./config.py
./confirmation.py
./cross_tool_dedup.py
./detector_plugin.py
./detectors_builtin.py
./differential_oracle.py
./echidna_bridge.py
./eip7702_detector.py
./eip7702_extensions.py
./eip7702_reporting_hardening.py
./eip7702_sandbox.py
./eip7702_validation.py
./erc4337_checker.py
./erc7821_checker.py
./evidence.py
./fork_oracle.py
./fp_filter.py
./fp_suppressor.py
./halmos_bridge.py
./invariant_fuzzer.py
./invariants.py
./logger.py
./mev_and_erc6900_checker.py
./mythril_bridge.py
./owasp_2026.py
./poc_skeletons.py
./prior_audit_dedup.py
./project_context.py
./proof_adapters.py
./pyrometer_bridge.py
./reviewer_confidence.py
./sarif_output.py
./selector_registry.json
./semantic_index.py
./semantic_ir.py
./semgrep_bridge.py
./slither_bridge.py
./solidity_project_model.py
./static_analyzer.py
./test_bytecode_aa7702.py
./test_eip7702_modifier_suppression.py
./utils.py
./wake_bridge.py
chainedr.egg-info/PKG-INFO
chainedr.egg-info/SOURCES.txt
chainedr.egg-info/dependency_links.txt
chainedr.egg-info/entry_points.txt
chainedr.egg-info/requires.txt
chainedr.egg-info/top_level.txt
tests/test_basic.py
tests/test_classifier.py
tests/test_classifier_edge_cases.py
tests/test_classifier_with_trust.py
tests/test_database.py
tests/test_doppler_regression.py
tests/test_erc1155_invariants.py
tests/test_erc20_invariants.py
tests/test_erc4337_invariants.py
tests/test_erc4626_invariants.py
tests/test_erc721_invariants.py
tests/test_exploit.py
tests/test_explorer.py
tests/test_finding_verifier.py
tests/test_fp_filter.py
tests/test_fuzzer.py
tests/test_hunter.py
tests/test_hunter_new_checks.py
tests/test_integration_neutrl.py
tests/test_monitor.py
tests/test_novel_detectors.py
tests/test_profiler.py
tests/test_reporter.py
tests/test_slither_bridge.py
tests/test_taint_analysis_trusted.py
tests/test_taint_analysis_untrusted.py
tests/test_trust_model_extraction.py