LICENSE
README.md
__init__.py
__main__.py
_classifier_core.py
abi_discovery.py
ast_bridge.py
attack_graph.py
audit_orchestrator.py
batch_scan.py
brain.py
bytecode_analyzer.py
cairo_detector.py
classifier.py
compiler_correlator.py
config.py
cross_chain_detector.py
database.py
defihacklabs_similarity.py
differential_oracle.py
dynamic_fuzzer.py
echidna_bridge.py
economic_quantifier.py
erc4337_checker.py
erc721_checker.py
euler_empirical.py
exploit.py
explorer.py
flash_loan_sim.py
foundry_gen.py
fp_filter.py
fuzzer.py
gas_griefing.py
governance_attack_sim.py
guided_fuzzer.py
halmos_bridge.py
hunter.py
infinifi_extract.py
invariant_engine.py
invariant_fuzzer.py
invariant_miner.py
invariants.py
logger.py
mev_simulator.py
minimizer.py
models.py
monitor.py
mythril_bridge.py
pipeline.py
poc_verifier.py
profiler.py
protocol_checker.py
protocol_classifier.py
protocol_invariants.py
proxy_checker.py
pyproject.toml
reporter.py
ripio_batch_scan.py
ripio_deep_audit.py
selector_registry.json
sequence_fuzzer.py
slither_bridge.py
solana_detector.py
static_analyzer.py
storage_collision.py
taint.py
test_benchmarks.py
test_false_positives.py
test_real_bugs.py
test_static_analyzer.py
upgrade_diff.py
utils.py
verifier.py
./__init__.py
./__main__.py
./_classifier_core.py
./abi_discovery.py
./ast_bridge.py
./attack_graph.py
./audit_orchestrator.py
./batch_scan.py
./brain.py
./bytecode_analyzer.py
./cairo_detector.py
./classifier.py
./compiler_correlator.py
./config.py
./cross_chain_detector.py
./database.py
./defihacklabs_similarity.py
./differential_oracle.py
./dynamic_fuzzer.py
./echidna_bridge.py
./economic_quantifier.py
./erc4337_checker.py
./erc721_checker.py
./euler_empirical.py
./exploit.py
./explorer.py
./flash_loan_sim.py
./foundry_gen.py
./fp_filter.py
./fuzzer.py
./gas_griefing.py
./governance_attack_sim.py
./guided_fuzzer.py
./halmos_bridge.py
./hunter.py
./infinifi_extract.py
./invariant_engine.py
./invariant_fuzzer.py
./invariant_miner.py
./invariants.py
./logger.py
./mev_simulator.py
./minimizer.py
./models.py
./monitor.py
./mythril_bridge.py
./pipeline.py
./poc_verifier.py
./profiler.py
./protocol_checker.py
./protocol_classifier.py
./protocol_invariants.py
./proxy_checker.py
./reporter.py
./ripio_batch_scan.py
./ripio_deep_audit.py
./selector_registry.json
./sequence_fuzzer.py
./slither_bridge.py
./solana_detector.py
./static_analyzer.py
./storage_collision.py
./taint.py
./test_benchmarks.py
./test_false_positives.py
./test_real_bugs.py
./test_static_analyzer.py
./upgrade_diff.py
./utils.py
./verifier.py
./data/known_attacks/attacks_db.json
./generated/erc20_props.sol
./invariants/erc1155.json
./invariants/erc20.json
./invariants/erc4337.json
./invariants/erc4626.json
./invariants/erc721.json
./references/erc20/oz_erc20_v5.sol
./references/erc20/solmate_erc20.sol
./templates/echidna_erc20.yaml
./templates/erc1155_batch_reentrant.sol
./templates/erc20_approve_race.sol
./templates/erc4626_donation_attack.sol
./templates/erc4626_first_depositor.sol
./templates/erc4626_share_price_manip.sol
./templates/erc721_receiver_reentrant.sol
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
classifier/__init__.py
classifier/abi_fingerprint.py
compiler/__init__.py
compiler/codegen.py
compiler/rounding_model.py
data/known_attacks/attacks_db.json
eip_parser/__init__.py
flashloan/__init__.py
generated/erc20_props.sol
invariants/erc1155.json
invariants/erc20.json
invariants/erc4337.json
invariants/erc4626.json
invariants/erc721.json
oracle/__init__.py
references/erc20/oz_erc20_v5.sol
references/erc20/solmate_erc20.sol
templates/echidna_erc20.yaml
templates/erc1155_batch_reentrant.sol
templates/erc20_approve_race.sol
templates/erc4626_donation_attack.sol
templates/erc4626_first_depositor.sol
templates/erc4626_share_price_manip.sol
templates/erc721_receiver_reentrant.sol
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
tracer/__init__.py
tracer/erc4337_opcode_check.py