├── .github └── workflows │ └── deploy-mdbook.yml ├── .gitignore ├── Cargo.toml ├── GEMINI.md ├── LICENSE ├── README.md ├── docs ├── book.toml └── src │ ├── SUMMARY.md │ ├── architecture.md │ ├── architecture │ ├── app_state.md │ └── sast_engine.md │ ├── cli │ ├── ast_utils.md │ ├── build.md │ ├── fetcher.md │ ├── recap.md │ ├── reverse.md │ └── sast.md │ ├── cli_usage.md │ ├── future.md │ ├── images │ ├── dotting_cfg.svg │ ├── dotting_cfg_updated.svg │ ├── reverse_cfg_entrypoint_example.png │ ├── reverse_cfg_example.png │ ├── reverse_cfg_full_example.png │ ├── reverse_immediate_data_example.png │ └── sast_result_abr_cpi_example.png │ ├── installation.md │ ├── introduction.md │ ├── recap │ ├── columns.md │ ├── constraints.md │ └── tips_and_example.md │ ├── recap_module.md │ ├── reverse.md │ ├── reverse │ ├── cfg.md │ ├── disassembly.md │ ├── dotting.md │ ├── immediates.md │ ├── overview.md │ └── reduced_cfg.md │ ├── rules │ ├── example.md │ ├── format.md │ ├── starlark_libs.md │ └── templates.md │ └── static_analysis.md ├── rules └── syn_ast │ ├── account_data_matching.star │ ├── account_data_reallocation.star │ ├── account_reinitialization.star │ ├── arbitrary_cpi.star │ ├── checked_arithm_unwrap.star │ ├── closing_accounts.star │ ├── duplicate_mutable_accounts.star │ ├── missing_bump_seed_canonicalization.star │ ├── missing_owner_check.star │ ├── missing_signer_check.star │ ├── pda_sharing.star │ ├── saturating_math_usage.star │ ├── type_cosplay.star │ └── unvalidated_sysvar_accounts.star ├── src ├── commands │ ├── ast_utils_command.rs │ ├── build_command.rs │ ├── dotting_command.rs │ ├── fetcher_command.rs │ ├── mod.rs │ ├── recap_command.rs │ ├── reverse_command.rs │ └── sast_command.rs ├── dotting │ ├── editor.rs │ └── mod.rs ├── engines │ ├── mod.rs │ └── starlark_engine.rs ├── fetcher │ └── mod.rs ├── helpers │ ├── mod.rs │ ├── spinner.rs │ └── static_dir.rs ├── main.rs ├── parsers │ ├── mod.rs │ └── syn_ast.rs ├── printers │ ├── mod.rs │ └── sast_printer.rs ├── recap │ ├── crates.rs │ ├── fs_utils.rs │ ├── idl.rs │ ├── mod.rs │ ├── parser.rs │ ├── project.rs │ ├── render.rs │ └── rows.rs ├── reverse │ ├── cfg.rs │ ├── disass.rs │ ├── immediate_tracker.rs │ ├── mod.rs │ ├── rusteq.rs │ └── utils.rs ├── state │ ├── app_state.rs │ ├── build_state.rs │ ├── mod.rs │ └── sast_state.rs └── static │ ├── starlark_libs │ ├── syn_ast.star │ └── template_manager.star │ └── starlark_rules │ └── syn_ast │ ├── account_data_matching.star │ ├── account_data_reallocation.star │ ├── account_reinitialization.star │ ├── arbitrary_cpi.star │ ├── closing_accounts.star │ ├── duplicate_mutable_accounts.star │ ├── missing_bump_seed_canonicalization.star │ ├── missing_owner_check.star │ ├── missing_signer_check.star │ ├── pda_sharing.star │ ├── saturating_math_usage.star │ ├── type_cosplay.star │ └── unvalidated_sysvar_accounts.star ├── test_cases ├── base_anchor │ ├── .gitignore │ ├── .prettierignore │ ├── Anchor.toml │ ├── Cargo.toml │ ├── migrations │ │ └── deploy.ts │ ├── package.json │ ├── programs │ │ └── base_anchor │ │ │ ├── Cargo.toml │ │ │ ├── Xargo.toml │ │ │ ├── src │ │ │ └── lib.rs │ │ │ └── tests │ │ │ └── test_initialize.rs │ ├── tsconfig.json │ └── yarn.lock ├── base_sbf │ ├── Cargo.toml │ └── src │ │ └── lib.rs ├── base_sbf_addition_checker │ ├── Cargo.toml │ ├── out1 │ │ ├── cfg.dot │ │ ├── cfg.svg │ │ ├── disassembly.out │ │ └── immediate_data_table.out │ ├── out2 │ │ ├── cfg.dot │ │ ├── cfg.svg │ │ ├── disassembly.out │ │ └── immediate_data_table.out │ └── src │ │ └── lib.rs └── root_node │ ├── .gitignore │ ├── .prettierignore │ ├── Anchor.toml │ ├── Cargo.toml │ ├── migrations │ └── deploy.ts │ ├── package.json │ ├── programs │ └── root_node │ │ ├── Cargo.toml │ │ ├── Xargo.toml │ │ └── src │ │ └── lib.rs │ ├── tests │ └── root_node.ts │ ├── tsconfig.json │ └── yarn.lock └── test_starlark_condition_template ├── test.py ├── test_ast.py └── test_checked_arithm_unwrap.py /.github/workflows/deploy-mdbook.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/sol-azy/HEAD/.github/workflows/deploy-mdbook.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/sol-azy/HEAD/.gitignore -------------------------------------------------------------------------------- /Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/sol-azy/HEAD/Cargo.toml -------------------------------------------------------------------------------- /GEMINI.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/sol-azy/HEAD/GEMINI.md -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/sol-azy/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/sol-azy/HEAD/README.md -------------------------------------------------------------------------------- /docs/book.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/sol-azy/HEAD/docs/book.toml -------------------------------------------------------------------------------- /docs/src/SUMMARY.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/sol-azy/HEAD/docs/src/SUMMARY.md -------------------------------------------------------------------------------- /docs/src/architecture.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/sol-azy/HEAD/docs/src/architecture.md -------------------------------------------------------------------------------- /docs/src/architecture/app_state.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/sol-azy/HEAD/docs/src/architecture/app_state.md -------------------------------------------------------------------------------- /docs/src/architecture/sast_engine.md: -------------------------------------------------------------------------------- 1 | # `SastEngine` Architecture -------------------------------------------------------------------------------- /docs/src/cli/ast_utils.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/sol-azy/HEAD/docs/src/cli/ast_utils.md -------------------------------------------------------------------------------- /docs/src/cli/build.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/sol-azy/HEAD/docs/src/cli/build.md -------------------------------------------------------------------------------- /docs/src/cli/fetcher.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/sol-azy/HEAD/docs/src/cli/fetcher.md -------------------------------------------------------------------------------- /docs/src/cli/recap.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/sol-azy/HEAD/docs/src/cli/recap.md -------------------------------------------------------------------------------- /docs/src/cli/reverse.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/sol-azy/HEAD/docs/src/cli/reverse.md -------------------------------------------------------------------------------- /docs/src/cli/sast.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/sol-azy/HEAD/docs/src/cli/sast.md -------------------------------------------------------------------------------- /docs/src/cli_usage.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/sol-azy/HEAD/docs/src/cli_usage.md -------------------------------------------------------------------------------- /docs/src/future.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/sol-azy/HEAD/docs/src/future.md -------------------------------------------------------------------------------- /docs/src/images/dotting_cfg.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/sol-azy/HEAD/docs/src/images/dotting_cfg.svg -------------------------------------------------------------------------------- /docs/src/images/dotting_cfg_updated.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/sol-azy/HEAD/docs/src/images/dotting_cfg_updated.svg -------------------------------------------------------------------------------- /docs/src/images/reverse_cfg_entrypoint_example.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/sol-azy/HEAD/docs/src/images/reverse_cfg_entrypoint_example.png -------------------------------------------------------------------------------- /docs/src/images/reverse_cfg_example.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/sol-azy/HEAD/docs/src/images/reverse_cfg_example.png -------------------------------------------------------------------------------- /docs/src/images/reverse_cfg_full_example.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/sol-azy/HEAD/docs/src/images/reverse_cfg_full_example.png -------------------------------------------------------------------------------- /docs/src/images/reverse_immediate_data_example.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/sol-azy/HEAD/docs/src/images/reverse_immediate_data_example.png -------------------------------------------------------------------------------- /docs/src/images/sast_result_abr_cpi_example.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/sol-azy/HEAD/docs/src/images/sast_result_abr_cpi_example.png -------------------------------------------------------------------------------- /docs/src/installation.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/sol-azy/HEAD/docs/src/installation.md -------------------------------------------------------------------------------- /docs/src/introduction.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/sol-azy/HEAD/docs/src/introduction.md -------------------------------------------------------------------------------- /docs/src/recap/columns.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/sol-azy/HEAD/docs/src/recap/columns.md -------------------------------------------------------------------------------- /docs/src/recap/constraints.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/sol-azy/HEAD/docs/src/recap/constraints.md -------------------------------------------------------------------------------- /docs/src/recap/tips_and_example.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/sol-azy/HEAD/docs/src/recap/tips_and_example.md -------------------------------------------------------------------------------- /docs/src/recap_module.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/sol-azy/HEAD/docs/src/recap_module.md -------------------------------------------------------------------------------- /docs/src/reverse.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/sol-azy/HEAD/docs/src/reverse.md -------------------------------------------------------------------------------- /docs/src/reverse/cfg.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/sol-azy/HEAD/docs/src/reverse/cfg.md -------------------------------------------------------------------------------- /docs/src/reverse/disassembly.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/sol-azy/HEAD/docs/src/reverse/disassembly.md -------------------------------------------------------------------------------- /docs/src/reverse/dotting.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/sol-azy/HEAD/docs/src/reverse/dotting.md -------------------------------------------------------------------------------- /docs/src/reverse/immediates.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/sol-azy/HEAD/docs/src/reverse/immediates.md -------------------------------------------------------------------------------- /docs/src/reverse/overview.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/sol-azy/HEAD/docs/src/reverse/overview.md -------------------------------------------------------------------------------- /docs/src/reverse/reduced_cfg.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/sol-azy/HEAD/docs/src/reverse/reduced_cfg.md -------------------------------------------------------------------------------- /docs/src/rules/example.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/sol-azy/HEAD/docs/src/rules/example.md -------------------------------------------------------------------------------- /docs/src/rules/format.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/sol-azy/HEAD/docs/src/rules/format.md -------------------------------------------------------------------------------- /docs/src/rules/starlark_libs.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/sol-azy/HEAD/docs/src/rules/starlark_libs.md -------------------------------------------------------------------------------- /docs/src/rules/templates.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/sol-azy/HEAD/docs/src/rules/templates.md -------------------------------------------------------------------------------- /docs/src/static_analysis.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/sol-azy/HEAD/docs/src/static_analysis.md -------------------------------------------------------------------------------- /rules/syn_ast/account_data_matching.star: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/sol-azy/HEAD/rules/syn_ast/account_data_matching.star -------------------------------------------------------------------------------- /rules/syn_ast/account_data_reallocation.star: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/sol-azy/HEAD/rules/syn_ast/account_data_reallocation.star -------------------------------------------------------------------------------- /rules/syn_ast/account_reinitialization.star: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/sol-azy/HEAD/rules/syn_ast/account_reinitialization.star -------------------------------------------------------------------------------- /rules/syn_ast/arbitrary_cpi.star: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/sol-azy/HEAD/rules/syn_ast/arbitrary_cpi.star -------------------------------------------------------------------------------- /rules/syn_ast/checked_arithm_unwrap.star: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/sol-azy/HEAD/rules/syn_ast/checked_arithm_unwrap.star -------------------------------------------------------------------------------- /rules/syn_ast/closing_accounts.star: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/sol-azy/HEAD/rules/syn_ast/closing_accounts.star -------------------------------------------------------------------------------- /rules/syn_ast/duplicate_mutable_accounts.star: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/sol-azy/HEAD/rules/syn_ast/duplicate_mutable_accounts.star -------------------------------------------------------------------------------- /rules/syn_ast/missing_bump_seed_canonicalization.star: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/sol-azy/HEAD/rules/syn_ast/missing_bump_seed_canonicalization.star -------------------------------------------------------------------------------- /rules/syn_ast/missing_owner_check.star: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/sol-azy/HEAD/rules/syn_ast/missing_owner_check.star -------------------------------------------------------------------------------- /rules/syn_ast/missing_signer_check.star: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/sol-azy/HEAD/rules/syn_ast/missing_signer_check.star -------------------------------------------------------------------------------- /rules/syn_ast/pda_sharing.star: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/sol-azy/HEAD/rules/syn_ast/pda_sharing.star -------------------------------------------------------------------------------- /rules/syn_ast/saturating_math_usage.star: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/sol-azy/HEAD/rules/syn_ast/saturating_math_usage.star -------------------------------------------------------------------------------- /rules/syn_ast/type_cosplay.star: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/sol-azy/HEAD/rules/syn_ast/type_cosplay.star -------------------------------------------------------------------------------- /rules/syn_ast/unvalidated_sysvar_accounts.star: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/sol-azy/HEAD/rules/syn_ast/unvalidated_sysvar_accounts.star -------------------------------------------------------------------------------- /src/commands/ast_utils_command.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/sol-azy/HEAD/src/commands/ast_utils_command.rs -------------------------------------------------------------------------------- /src/commands/build_command.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/sol-azy/HEAD/src/commands/build_command.rs -------------------------------------------------------------------------------- /src/commands/dotting_command.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/sol-azy/HEAD/src/commands/dotting_command.rs -------------------------------------------------------------------------------- /src/commands/fetcher_command.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/sol-azy/HEAD/src/commands/fetcher_command.rs -------------------------------------------------------------------------------- /src/commands/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/sol-azy/HEAD/src/commands/mod.rs -------------------------------------------------------------------------------- /src/commands/recap_command.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/sol-azy/HEAD/src/commands/recap_command.rs -------------------------------------------------------------------------------- /src/commands/reverse_command.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/sol-azy/HEAD/src/commands/reverse_command.rs -------------------------------------------------------------------------------- /src/commands/sast_command.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/sol-azy/HEAD/src/commands/sast_command.rs -------------------------------------------------------------------------------- /src/dotting/editor.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/sol-azy/HEAD/src/dotting/editor.rs -------------------------------------------------------------------------------- /src/dotting/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/sol-azy/HEAD/src/dotting/mod.rs -------------------------------------------------------------------------------- /src/engines/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/sol-azy/HEAD/src/engines/mod.rs -------------------------------------------------------------------------------- /src/engines/starlark_engine.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/sol-azy/HEAD/src/engines/starlark_engine.rs -------------------------------------------------------------------------------- /src/fetcher/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/sol-azy/HEAD/src/fetcher/mod.rs -------------------------------------------------------------------------------- /src/helpers/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/sol-azy/HEAD/src/helpers/mod.rs -------------------------------------------------------------------------------- /src/helpers/spinner.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/sol-azy/HEAD/src/helpers/spinner.rs -------------------------------------------------------------------------------- /src/helpers/static_dir.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/sol-azy/HEAD/src/helpers/static_dir.rs -------------------------------------------------------------------------------- /src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/sol-azy/HEAD/src/main.rs -------------------------------------------------------------------------------- /src/parsers/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/sol-azy/HEAD/src/parsers/mod.rs -------------------------------------------------------------------------------- /src/parsers/syn_ast.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/sol-azy/HEAD/src/parsers/syn_ast.rs -------------------------------------------------------------------------------- /src/printers/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/sol-azy/HEAD/src/printers/mod.rs -------------------------------------------------------------------------------- /src/printers/sast_printer.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/sol-azy/HEAD/src/printers/sast_printer.rs -------------------------------------------------------------------------------- /src/recap/crates.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/sol-azy/HEAD/src/recap/crates.rs -------------------------------------------------------------------------------- /src/recap/fs_utils.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/sol-azy/HEAD/src/recap/fs_utils.rs -------------------------------------------------------------------------------- /src/recap/idl.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/sol-azy/HEAD/src/recap/idl.rs -------------------------------------------------------------------------------- /src/recap/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/sol-azy/HEAD/src/recap/mod.rs -------------------------------------------------------------------------------- /src/recap/parser.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/sol-azy/HEAD/src/recap/parser.rs -------------------------------------------------------------------------------- /src/recap/project.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/sol-azy/HEAD/src/recap/project.rs -------------------------------------------------------------------------------- /src/recap/render.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/sol-azy/HEAD/src/recap/render.rs -------------------------------------------------------------------------------- /src/recap/rows.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/sol-azy/HEAD/src/recap/rows.rs -------------------------------------------------------------------------------- /src/reverse/cfg.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/sol-azy/HEAD/src/reverse/cfg.rs -------------------------------------------------------------------------------- /src/reverse/disass.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/sol-azy/HEAD/src/reverse/disass.rs -------------------------------------------------------------------------------- /src/reverse/immediate_tracker.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/sol-azy/HEAD/src/reverse/immediate_tracker.rs -------------------------------------------------------------------------------- /src/reverse/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/sol-azy/HEAD/src/reverse/mod.rs -------------------------------------------------------------------------------- /src/reverse/rusteq.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/sol-azy/HEAD/src/reverse/rusteq.rs -------------------------------------------------------------------------------- /src/reverse/utils.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/sol-azy/HEAD/src/reverse/utils.rs -------------------------------------------------------------------------------- /src/state/app_state.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/sol-azy/HEAD/src/state/app_state.rs -------------------------------------------------------------------------------- /src/state/build_state.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/sol-azy/HEAD/src/state/build_state.rs -------------------------------------------------------------------------------- /src/state/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/sol-azy/HEAD/src/state/mod.rs -------------------------------------------------------------------------------- /src/state/sast_state.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/sol-azy/HEAD/src/state/sast_state.rs -------------------------------------------------------------------------------- /src/static/starlark_libs/syn_ast.star: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/sol-azy/HEAD/src/static/starlark_libs/syn_ast.star -------------------------------------------------------------------------------- /src/static/starlark_libs/template_manager.star: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/sol-azy/HEAD/src/static/starlark_libs/template_manager.star -------------------------------------------------------------------------------- /src/static/starlark_rules/syn_ast/account_data_matching.star: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/sol-azy/HEAD/src/static/starlark_rules/syn_ast/account_data_matching.star -------------------------------------------------------------------------------- /src/static/starlark_rules/syn_ast/account_data_reallocation.star: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/sol-azy/HEAD/src/static/starlark_rules/syn_ast/account_data_reallocation.star -------------------------------------------------------------------------------- /src/static/starlark_rules/syn_ast/account_reinitialization.star: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/sol-azy/HEAD/src/static/starlark_rules/syn_ast/account_reinitialization.star -------------------------------------------------------------------------------- /src/static/starlark_rules/syn_ast/arbitrary_cpi.star: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/sol-azy/HEAD/src/static/starlark_rules/syn_ast/arbitrary_cpi.star -------------------------------------------------------------------------------- /src/static/starlark_rules/syn_ast/closing_accounts.star: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/sol-azy/HEAD/src/static/starlark_rules/syn_ast/closing_accounts.star -------------------------------------------------------------------------------- /src/static/starlark_rules/syn_ast/duplicate_mutable_accounts.star: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/sol-azy/HEAD/src/static/starlark_rules/syn_ast/duplicate_mutable_accounts.star -------------------------------------------------------------------------------- /src/static/starlark_rules/syn_ast/missing_bump_seed_canonicalization.star: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/sol-azy/HEAD/src/static/starlark_rules/syn_ast/missing_bump_seed_canonicalization.star -------------------------------------------------------------------------------- /src/static/starlark_rules/syn_ast/missing_owner_check.star: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/sol-azy/HEAD/src/static/starlark_rules/syn_ast/missing_owner_check.star -------------------------------------------------------------------------------- /src/static/starlark_rules/syn_ast/missing_signer_check.star: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/sol-azy/HEAD/src/static/starlark_rules/syn_ast/missing_signer_check.star -------------------------------------------------------------------------------- /src/static/starlark_rules/syn_ast/pda_sharing.star: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/sol-azy/HEAD/src/static/starlark_rules/syn_ast/pda_sharing.star -------------------------------------------------------------------------------- /src/static/starlark_rules/syn_ast/saturating_math_usage.star: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/sol-azy/HEAD/src/static/starlark_rules/syn_ast/saturating_math_usage.star -------------------------------------------------------------------------------- /src/static/starlark_rules/syn_ast/type_cosplay.star: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/sol-azy/HEAD/src/static/starlark_rules/syn_ast/type_cosplay.star -------------------------------------------------------------------------------- /src/static/starlark_rules/syn_ast/unvalidated_sysvar_accounts.star: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/sol-azy/HEAD/src/static/starlark_rules/syn_ast/unvalidated_sysvar_accounts.star -------------------------------------------------------------------------------- /test_cases/base_anchor/.gitignore: -------------------------------------------------------------------------------- 1 | .anchor 2 | .DS_Store 3 | target 4 | **/*.rs.bk 5 | node_modules 6 | test-ledger 7 | .yarn 8 | -------------------------------------------------------------------------------- /test_cases/base_anchor/.prettierignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/sol-azy/HEAD/test_cases/base_anchor/.prettierignore -------------------------------------------------------------------------------- /test_cases/base_anchor/Anchor.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/sol-azy/HEAD/test_cases/base_anchor/Anchor.toml -------------------------------------------------------------------------------- /test_cases/base_anchor/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/sol-azy/HEAD/test_cases/base_anchor/Cargo.toml -------------------------------------------------------------------------------- /test_cases/base_anchor/migrations/deploy.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/sol-azy/HEAD/test_cases/base_anchor/migrations/deploy.ts -------------------------------------------------------------------------------- /test_cases/base_anchor/package.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/sol-azy/HEAD/test_cases/base_anchor/package.json -------------------------------------------------------------------------------- /test_cases/base_anchor/programs/base_anchor/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/sol-azy/HEAD/test_cases/base_anchor/programs/base_anchor/Cargo.toml -------------------------------------------------------------------------------- /test_cases/base_anchor/programs/base_anchor/Xargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/sol-azy/HEAD/test_cases/base_anchor/programs/base_anchor/Xargo.toml -------------------------------------------------------------------------------- /test_cases/base_anchor/programs/base_anchor/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/sol-azy/HEAD/test_cases/base_anchor/programs/base_anchor/src/lib.rs -------------------------------------------------------------------------------- /test_cases/base_anchor/programs/base_anchor/tests/test_initialize.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/sol-azy/HEAD/test_cases/base_anchor/programs/base_anchor/tests/test_initialize.rs -------------------------------------------------------------------------------- /test_cases/base_anchor/tsconfig.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/sol-azy/HEAD/test_cases/base_anchor/tsconfig.json -------------------------------------------------------------------------------- /test_cases/base_anchor/yarn.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/sol-azy/HEAD/test_cases/base_anchor/yarn.lock -------------------------------------------------------------------------------- /test_cases/base_sbf/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/sol-azy/HEAD/test_cases/base_sbf/Cargo.toml -------------------------------------------------------------------------------- /test_cases/base_sbf/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/sol-azy/HEAD/test_cases/base_sbf/src/lib.rs -------------------------------------------------------------------------------- /test_cases/base_sbf_addition_checker/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/sol-azy/HEAD/test_cases/base_sbf_addition_checker/Cargo.toml -------------------------------------------------------------------------------- /test_cases/base_sbf_addition_checker/out1/cfg.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/sol-azy/HEAD/test_cases/base_sbf_addition_checker/out1/cfg.dot -------------------------------------------------------------------------------- /test_cases/base_sbf_addition_checker/out1/cfg.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/sol-azy/HEAD/test_cases/base_sbf_addition_checker/out1/cfg.svg -------------------------------------------------------------------------------- /test_cases/base_sbf_addition_checker/out1/disassembly.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/sol-azy/HEAD/test_cases/base_sbf_addition_checker/out1/disassembly.out -------------------------------------------------------------------------------- /test_cases/base_sbf_addition_checker/out1/immediate_data_table.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/sol-azy/HEAD/test_cases/base_sbf_addition_checker/out1/immediate_data_table.out -------------------------------------------------------------------------------- /test_cases/base_sbf_addition_checker/out2/cfg.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/sol-azy/HEAD/test_cases/base_sbf_addition_checker/out2/cfg.dot -------------------------------------------------------------------------------- /test_cases/base_sbf_addition_checker/out2/cfg.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/sol-azy/HEAD/test_cases/base_sbf_addition_checker/out2/cfg.svg -------------------------------------------------------------------------------- /test_cases/base_sbf_addition_checker/out2/disassembly.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/sol-azy/HEAD/test_cases/base_sbf_addition_checker/out2/disassembly.out -------------------------------------------------------------------------------- /test_cases/base_sbf_addition_checker/out2/immediate_data_table.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/sol-azy/HEAD/test_cases/base_sbf_addition_checker/out2/immediate_data_table.out -------------------------------------------------------------------------------- /test_cases/base_sbf_addition_checker/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/sol-azy/HEAD/test_cases/base_sbf_addition_checker/src/lib.rs -------------------------------------------------------------------------------- /test_cases/root_node/.gitignore: -------------------------------------------------------------------------------- 1 | .anchor 2 | .DS_Store 3 | target 4 | **/*.rs.bk 5 | node_modules 6 | test-ledger 7 | .yarn 8 | -------------------------------------------------------------------------------- /test_cases/root_node/.prettierignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/sol-azy/HEAD/test_cases/root_node/.prettierignore -------------------------------------------------------------------------------- /test_cases/root_node/Anchor.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/sol-azy/HEAD/test_cases/root_node/Anchor.toml -------------------------------------------------------------------------------- /test_cases/root_node/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/sol-azy/HEAD/test_cases/root_node/Cargo.toml -------------------------------------------------------------------------------- /test_cases/root_node/migrations/deploy.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/sol-azy/HEAD/test_cases/root_node/migrations/deploy.ts -------------------------------------------------------------------------------- /test_cases/root_node/package.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/sol-azy/HEAD/test_cases/root_node/package.json -------------------------------------------------------------------------------- /test_cases/root_node/programs/root_node/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/sol-azy/HEAD/test_cases/root_node/programs/root_node/Cargo.toml -------------------------------------------------------------------------------- /test_cases/root_node/programs/root_node/Xargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/sol-azy/HEAD/test_cases/root_node/programs/root_node/Xargo.toml -------------------------------------------------------------------------------- /test_cases/root_node/programs/root_node/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/sol-azy/HEAD/test_cases/root_node/programs/root_node/src/lib.rs -------------------------------------------------------------------------------- /test_cases/root_node/tests/root_node.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/sol-azy/HEAD/test_cases/root_node/tests/root_node.ts -------------------------------------------------------------------------------- /test_cases/root_node/tsconfig.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/sol-azy/HEAD/test_cases/root_node/tsconfig.json -------------------------------------------------------------------------------- /test_cases/root_node/yarn.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/sol-azy/HEAD/test_cases/root_node/yarn.lock -------------------------------------------------------------------------------- /test_starlark_condition_template/test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/sol-azy/HEAD/test_starlark_condition_template/test.py -------------------------------------------------------------------------------- /test_starlark_condition_template/test_ast.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/sol-azy/HEAD/test_starlark_condition_template/test_ast.py -------------------------------------------------------------------------------- /test_starlark_condition_template/test_checked_arithm_unwrap.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FuzzingLabs/sol-azy/HEAD/test_starlark_condition_template/test_checked_arithm_unwrap.py --------------------------------------------------------------------------------