angr/tests/analyses/decompiler
Fish b80f4cf2af
Outliner: Rebuild phi statements; update output phis; return only region-defined vvars. (#6831)
* Rebuild phi statements instead of mutating them in place

* Update the phis of every dispatcher target

* Return only the variables the outlined region defines
2026-08-13 13:51:21 -07:00
..
__init__.py tests: Structure test files into directories 2023-09-08 16:05:33 -07:00
test_baseptr_save_simplifier.py [pre-commit.ci] pre-commit autoupdate (#6721) 2026-07-29 13:46:11 -07:00
test_c_conditions.py Decompiler: Test common C conditions. (#6762) 2026-08-04 18:27:09 -07:00
test_cas_rewriting.py [pre-commit.ci] pre-commit autoupdate (#6721) 2026-07-29 13:46:11 -07:00
test_ccall_rewriter_arm.py Migrate AIL classes to Rust (#5967) 2026-07-08 02:10:07 -07:00
test_ccall_rewriting.py Decompiler: rewrite CondBE and CondNB ccalls on amd64 (#6645) 2026-07-29 01:11:09 -07:00
test_cfguard_dispatch.py Speed up test cases by building scoped CFGs. (#6601) 2026-07-10 01:17:46 -07:00
test_combo_reg_args.py SSA/VRA: Handle ComboRegs. (#6574) 2026-07-06 22:35:13 -07:00
test_condition_processor.py Decompiler: disambiguate Extract condition placeholders (#6677) 2026-07-23 22:33:21 -07:00
test_const_hex_display.py Decompiler: Unify hex-display rules. (#6547) 2026-06-29 16:55:24 -07:00
test_decompilation_notes.py Speed up test cases by building scoped CFGs. (#6601) 2026-07-10 01:17:46 -07:00
test_decompiler.py Clinic: recover variable-length arrays (VLAs) (#6634) 2026-08-01 13:41:12 -07:00
test_decompiler_types.py Decompiler: Fix duplicate struct defs for pre-defined structs. (#6756) 2026-08-03 22:12:47 -07:00
test_dephication_interference.py Dephication: Correctly consider phi congruence classes. (#6735) 2026-07-29 01:53:02 -07:00
test_dephication_rewriting.py Dephication: Keep the remapped assignment destination with source is not a vvar. (#6787) 2026-08-07 23:50:03 -07:00
test_dogbolt_regressions.py Enable ruff isort rule (#6452) 2026-06-02 14:48:07 -07:00
test_dowhile_latch_continue.py Phoenix: Correct Loop.continue_addr. (#6785) 2026-08-07 18:41:56 -07:00
test_edits.py Decompiler: Add edits layer; add more tools to MCP. (#6789) 2026-08-09 01:48:07 -07:00
test_errors.py Enable ruff isort rule (#6452) 2026-06-02 14:48:07 -07:00
test_expression_overfolding.py [pre-commit.ci] pre-commit autoupdate (#6721) 2026-07-29 13:46:11 -07:00
test_head_controlled_loops.py [pre-commit.ci] pre-commit autoupdate (#6721) 2026-07-29 13:46:11 -07:00
test_inlined_string_simplifiers.py Decompiler: reject float constants in string simplifiers (#6682) 2026-07-24 00:28:36 -07:00
test_inlining.py Enable ruff isort rule (#6452) 2026-06-02 14:48:07 -07:00
test_jumpkind_intrinsics.py [pre-commit.ci] pre-commit autoupdate (#6721) 2026-07-29 13:46:11 -07:00
test_lowered_switch_simplifier.py LoweredSwitchSimplifier: Do not visit visited nodes. (#6572) 2026-07-06 14:54:15 -07:00
test_mips.py Speed up test cases by building scoped CFGs. (#6601) 2026-07-10 01:17:46 -07:00
test_mips_gp_setting_simplifier.py Speed up test cases by building scoped CFGs. (#6601) 2026-07-10 01:17:46 -07:00
test_narrowing_exprs.py [pre-commit.ci] pre-commit autoupdate (#6721) 2026-07-29 13:46:11 -07:00
test_optimization_passes.py VariableMap: Track Call prototype and calling_convention. (#6482) 2026-06-09 02:59:11 -07:00
test_outliner.py Outliner: Rebuild phi statements; update output phis; return only region-defined vvars. (#6831) 2026-08-13 13:51:21 -07:00
test_output_nondeterminism.py VRA: Register the Reference stack variable against its atom. (#6705) 2026-07-26 07:58:06 -07:00
test_partial_reg_reads.py [pre-commit.ci] pre-commit autoupdate (#6721) 2026-07-29 13:46:11 -07:00
test_peephole_concat.py Migrate AIL classes to Rust (#5967) 2026-07-08 02:10:07 -07:00
test_peephole_inline_memset.py [pre-commit.ci] pre-commit autoupdate (#6721) 2026-07-29 13:46:11 -07:00
test_peephole_optimizations.py EagerEval: Fix broken expression type comparison. (#6734) 2026-07-29 00:05:07 -07:00
test_peephole_redundant_bitshifts.py [pre-commit.ci] pre-commit autoupdate (#6721) 2026-07-29 13:46:11 -07:00
test_peephole_wcscpy.py [pre-commit.ci] pre-commit autoupdate (#6721) 2026-07-29 13:46:11 -07:00
test_phoenix_last_resort_isolation.py Phoenix: Fix incorrect virtualization of orphaned edges. (#6790) 2026-08-09 02:00:48 -07:00
test_phoenix_node_order_cache.py Fix cache misses in DirectedGraphHelper. (#6569) 2026-07-06 14:55:38 -07:00
test_propagator_loops.py Enable ruff isort rule (#6452) 2026-06-02 14:48:07 -07:00
test_propagator_rules.py Speed up test cases by building scoped CFGs. (#6601) 2026-07-10 01:17:46 -07:00
test_region_overlay.py RegionOverlay: Keep extra-edge adjacency for view-only nodes leaving the successor set. (#6585) 2026-07-07 14:59:21 -07:00
test_register_save_area_simplifier_adv.py Tests: Speed up decompiler-related test cases (strike 1). (#6713) 2026-07-27 01:56:24 -07:00
test_rust_cfg_transformation.py CFGTransformationMixin: Rebuild conditional jumps when replacing branch targets. (#6786) 2026-08-07 23:46:34 -07:00
test_rust_codegen_handlers.py RustCodeGen: Add more handlers. (#6788) 2026-08-08 09:28:22 -07:00
test_rust_decompiler.py Tests: Speed up decompiler-related test cases (strike 1). (#6713) 2026-07-27 01:56:24 -07:00
test_rust_error_propagation_simplifier.py Decompiler: Use VariableMap to track Atom-Variable mapping. (#6470) 2026-06-05 16:28:58 -07:00
test_rust_format_macro_simplifier.py Enable ruff isort rule (#6452) 2026-06-02 14:48:07 -07:00
test_rust_function_prototype_inference.py Oxidizer: Rust pseudocode generation (#6283) 2026-05-19 07:15:07 -07:00
test_rust_misc_passes.py Decompiler: Use VariableMap to track Atom-Variable mapping. (#6470) 2026-06-05 16:28:58 -07:00
test_rust_outliners.py Migrate AIL classes to Rust (#5967) 2026-07-08 02:10:07 -07:00
test_rust_pattern_match_simplifier.py Migrate AIL classes to Rust (#5967) 2026-07-08 02:10:07 -07:00
test_rust_small_passes.py Decompiler: Use VariableMap to track Atom-Variable mapping. (#6470) 2026-06-05 16:28:58 -07:00
test_rust_struct_instantiation_simplifier.py Decompiler: Use VariableMap to track Atom-Variable mapping. (#6470) 2026-06-05 16:28:58 -07:00
test_semvar_naming.py Decompiler: Make semvar naming less aggressive. (#6558) 2026-07-01 13:34:23 -07:00
test_signedness.py SimpleSolver: Memoize least common ancestors on type lattices. (#6707) 2026-07-26 17:17:09 -07:00
test_ssa_addr_taken_stackvar.py Ssailification: Add defs for addr-ref stack slots with no defs. (#6605) 2026-07-10 14:04:55 -07:00
test_ssa_stack.py Speed up test cases by building scoped CFGs. (#6601) 2026-07-10 01:17:46 -07:00
test_ssa_stack_phi.py Ssailification: Generate phi for vars with narrower same-offset partial defs. (#6604) 2026-07-10 13:05:19 -07:00
test_stack_arg_slices.py Speed up test cases by building scoped CFGs. (#6601) 2026-07-10 01:17:46 -07:00
test_struct_member_access.py Enable ruff isort rule (#6452) 2026-06-02 14:48:07 -07:00
test_structured_codegen.py Render truncations to non-C widths as masks instead of casts (#6741) 2026-07-31 17:05:47 -07:00
test_structurer.py Speed up test cases by building scoped CFGs. (#6601) 2026-07-10 01:17:46 -07:00
test_switch_cluster_simplifier.py SwitchClusterSimplifier: Do not merge different default nodes. (#6782) 2026-08-07 19:13:10 -07:00
test_switch_default_case_dup.py Enable ruff isort rule (#6452) 2026-06-02 14:48:07 -07:00
test_switch_default_case_duplicator.py SwitchDefaultCaseDuplicator: handle cmov-split predecessor blocks. (#6622) 2026-07-15 02:13:00 -07:00
test_type_propagation.py Enable ruff isort rule (#6452) 2026-06-02 14:48:07 -07:00
test_unify_local_variables.py [pre-commit.ci] pre-commit autoupdate (#6721) 2026-07-29 13:46:11 -07:00
test_variable_map.py Decompiler: Use VariableMap to track Atom-Variable mapping. (#6470) 2026-06-05 16:28:58 -07:00
test_variable_nondeterminism.py [pre-commit.ci] pre-commit autoupdate (#6721) 2026-07-29 13:46:11 -07:00
test_variadic_callsite_args.py Ssailification: Assume all arg regs are used at uncertain-arg-count call sites. (#6594) 2026-07-08 17:34:42 -07:00
test_vector_binops.py AIL: handle HAddV operations (#6680) 2026-07-23 21:10:10 -07:00