angr 9.2.158__cp310-abi3-win_amd64.whl → 9.2.159__cp310-abi3-win_amd64.whl
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Potentially problematic release.
This version of angr might be problematic. Click here for more details.
- angr/__init__.py +1 -1
- angr/ailment/__init__.py +81 -0
- angr/ailment/block.py +81 -0
- angr/ailment/block_walker.py +845 -0
- angr/ailment/constant.py +3 -0
- angr/ailment/converter_common.py +11 -0
- angr/ailment/converter_pcode.py +623 -0
- angr/ailment/converter_vex.py +798 -0
- angr/ailment/expression.py +1639 -0
- angr/ailment/manager.py +33 -0
- angr/ailment/statement.py +978 -0
- angr/ailment/tagged_object.py +61 -0
- angr/ailment/utils.py +114 -0
- angr/analyses/calling_convention/calling_convention.py +6 -2
- angr/analyses/decompiler/ail_simplifier.py +5 -5
- angr/analyses/decompiler/block_io_finder.py +4 -4
- angr/analyses/decompiler/block_similarity.py +2 -2
- angr/analyses/decompiler/block_simplifier.py +4 -4
- angr/analyses/decompiler/callsite_maker.py +2 -2
- angr/analyses/decompiler/ccall_rewriters/amd64_ccalls.py +1 -1
- angr/analyses/decompiler/ccall_rewriters/rewriter_base.py +1 -1
- angr/analyses/decompiler/ccall_rewriters/x86_ccalls.py +1 -1
- angr/analyses/decompiler/clinic.py +1 -1
- angr/analyses/decompiler/condition_processor.py +1 -1
- angr/analyses/decompiler/counters/boolean_counter.py +4 -4
- angr/analyses/decompiler/counters/call_counter.py +4 -4
- angr/analyses/decompiler/counters/expression_counters.py +5 -5
- angr/analyses/decompiler/counters/seq_cf_structure_counter.py +1 -1
- angr/analyses/decompiler/decompiler.py +5 -3
- angr/analyses/decompiler/dephication/dephication_base.py +12 -1
- angr/analyses/decompiler/dephication/graph_dephication.py +12 -5
- angr/analyses/decompiler/dephication/graph_rewriting.py +6 -10
- angr/analyses/decompiler/dephication/graph_vvar_mapping.py +109 -72
- angr/analyses/decompiler/dephication/rewriting_engine.py +32 -9
- angr/analyses/decompiler/dephication/seqnode_dephication.py +32 -10
- angr/analyses/decompiler/empty_node_remover.py +2 -2
- angr/analyses/decompiler/expression_narrower.py +6 -6
- angr/analyses/decompiler/goto_manager.py +2 -2
- angr/analyses/decompiler/jump_target_collector.py +1 -1
- angr/analyses/decompiler/label_collector.py +1 -1
- angr/analyses/decompiler/optimization_passes/base_ptr_save_simplifier.py +25 -25
- angr/analyses/decompiler/optimization_passes/call_stmt_rewriter.py +1 -1
- angr/analyses/decompiler/optimization_passes/code_motion.py +2 -2
- angr/analyses/decompiler/optimization_passes/condition_constprop.py +3 -3
- angr/analyses/decompiler/optimization_passes/const_derefs.py +3 -3
- angr/analyses/decompiler/optimization_passes/const_prop_reverter.py +4 -4
- angr/analyses/decompiler/optimization_passes/deadblock_remover.py +2 -2
- angr/analyses/decompiler/optimization_passes/determine_load_sizes.py +3 -3
- angr/analyses/decompiler/optimization_passes/div_simplifier.py +1 -1
- angr/analyses/decompiler/optimization_passes/duplication_reverter/ail_merge_graph.py +2 -2
- angr/analyses/decompiler/optimization_passes/duplication_reverter/duplication_reverter.py +4 -4
- angr/analyses/decompiler/optimization_passes/duplication_reverter/similarity.py +1 -1
- angr/analyses/decompiler/optimization_passes/duplication_reverter/utils.py +4 -4
- angr/analyses/decompiler/optimization_passes/eager_std_string_concatenation.py +3 -3
- angr/analyses/decompiler/optimization_passes/engine_base.py +1 -1
- angr/analyses/decompiler/optimization_passes/expr_op_swapper.py +3 -3
- angr/analyses/decompiler/optimization_passes/flip_boolean_cmp.py +2 -2
- angr/analyses/decompiler/optimization_passes/inlined_string_transformation_simplifier.py +2 -2
- angr/analyses/decompiler/optimization_passes/ite_expr_converter.py +3 -3
- angr/analyses/decompiler/optimization_passes/ite_region_converter.py +3 -3
- angr/analyses/decompiler/optimization_passes/lowered_switch_simplifier.py +4 -4
- angr/analyses/decompiler/optimization_passes/mod_simplifier.py +1 -1
- angr/analyses/decompiler/optimization_passes/optimization_pass.py +25 -1
- angr/analyses/decompiler/optimization_passes/register_save_area_simplifier.py +1 -1
- angr/analyses/decompiler/optimization_passes/ret_addr_save_simplifier.py +1 -1
- angr/analyses/decompiler/optimization_passes/ret_deduplicator.py +2 -2
- angr/analyses/decompiler/optimization_passes/return_duplicator_base.py +4 -4
- angr/analyses/decompiler/optimization_passes/return_duplicator_low.py +2 -2
- angr/analyses/decompiler/optimization_passes/stack_canary_simplifier.py +1 -1
- angr/analyses/decompiler/optimization_passes/switch_default_case_duplicator.py +3 -3
- angr/analyses/decompiler/optimization_passes/switch_reused_entry_rewriter.py +3 -3
- angr/analyses/decompiler/optimization_passes/tag_slicer.py +1 -1
- angr/analyses/decompiler/optimization_passes/win_stack_canary_simplifier.py +1 -1
- angr/analyses/decompiler/optimization_passes/x86_gcc_getpc_simplifier.py +1 -1
- angr/analyses/decompiler/peephole_optimizations/a_div_const_add_a_mul_n_div_const.py +1 -1
- angr/analyses/decompiler/peephole_optimizations/a_mul_const_div_shr_const.py +1 -1
- angr/analyses/decompiler/peephole_optimizations/a_mul_const_sub_a.py +1 -1
- angr/analyses/decompiler/peephole_optimizations/a_shl_const_sub_a.py +1 -1
- angr/analyses/decompiler/peephole_optimizations/a_sub_a_div.py +1 -1
- angr/analyses/decompiler/peephole_optimizations/a_sub_a_div_const_mul_const.py +1 -1
- angr/analyses/decompiler/peephole_optimizations/a_sub_a_shr_const_shr_const.py +1 -1
- angr/analyses/decompiler/peephole_optimizations/a_sub_a_sub_n.py +1 -1
- angr/analyses/decompiler/peephole_optimizations/arm_cmpf.py +1 -1
- angr/analyses/decompiler/peephole_optimizations/base.py +3 -3
- angr/analyses/decompiler/peephole_optimizations/basepointeroffset_add_n.py +1 -1
- angr/analyses/decompiler/peephole_optimizations/basepointeroffset_and_mask.py +1 -1
- angr/analyses/decompiler/peephole_optimizations/bitwise_or_to_logical_or.py +1 -1
- angr/analyses/decompiler/peephole_optimizations/bool_expr_xor_1.py +1 -1
- angr/analyses/decompiler/peephole_optimizations/bswap.py +2 -2
- angr/analyses/decompiler/peephole_optimizations/cas_intrinsics.py +2 -2
- angr/analyses/decompiler/peephole_optimizations/cmpord_rewriter.py +2 -2
- angr/analyses/decompiler/peephole_optimizations/coalesce_adjacent_shrs.py +1 -1
- angr/analyses/decompiler/peephole_optimizations/coalesce_same_cascading_ifs.py +2 -2
- angr/analyses/decompiler/peephole_optimizations/const_mull_a_shift.py +1 -1
- angr/analyses/decompiler/peephole_optimizations/constant_derefs.py +1 -1
- angr/analyses/decompiler/peephole_optimizations/conv_a_sub0_shr_and.py +1 -1
- angr/analyses/decompiler/peephole_optimizations/conv_shl_shr.py +1 -1
- angr/analyses/decompiler/peephole_optimizations/eager_eval.py +1 -1
- angr/analyses/decompiler/peephole_optimizations/extended_byte_and_mask.py +1 -1
- angr/analyses/decompiler/peephole_optimizations/inlined_strcpy.py +2 -2
- angr/analyses/decompiler/peephole_optimizations/inlined_strcpy_consolidation.py +2 -2
- angr/analyses/decompiler/peephole_optimizations/inlined_wstrcpy.py +2 -2
- angr/analyses/decompiler/peephole_optimizations/invert_negated_logical_conjuction_disjunction.py +1 -1
- angr/analyses/decompiler/peephole_optimizations/one_sub_bool.py +1 -1
- angr/analyses/decompiler/peephole_optimizations/remove_cascading_conversions.py +1 -1
- angr/analyses/decompiler/peephole_optimizations/remove_cxx_destructor_calls.py +2 -2
- angr/analyses/decompiler/peephole_optimizations/remove_empty_if_body.py +2 -2
- angr/analyses/decompiler/peephole_optimizations/remove_noop_conversions.py +1 -1
- angr/analyses/decompiler/peephole_optimizations/remove_redundant_bitmasks.py +1 -1
- angr/analyses/decompiler/peephole_optimizations/remove_redundant_conversions.py +1 -1
- angr/analyses/decompiler/peephole_optimizations/remove_redundant_ite_branch.py +1 -1
- angr/analyses/decompiler/peephole_optimizations/remove_redundant_ite_comparisons.py +1 -1
- angr/analyses/decompiler/peephole_optimizations/remove_redundant_nots.py +1 -1
- angr/analyses/decompiler/peephole_optimizations/remove_redundant_reinterprets.py +1 -1
- angr/analyses/decompiler/peephole_optimizations/remove_redundant_shifts.py +1 -1
- angr/analyses/decompiler/peephole_optimizations/remove_redundant_shifts_around_comparators.py +1 -1
- angr/analyses/decompiler/peephole_optimizations/rewrite_bit_extractions.py +1 -1
- angr/analyses/decompiler/peephole_optimizations/rewrite_conv_mul.py +1 -1
- angr/analyses/decompiler/peephole_optimizations/rewrite_cxx_operator_calls.py +3 -3
- angr/analyses/decompiler/peephole_optimizations/rewrite_mips_gp_loads.py +1 -1
- angr/analyses/decompiler/peephole_optimizations/rol_ror.py +2 -2
- angr/analyses/decompiler/peephole_optimizations/sar_to_signed_div.py +1 -1
- angr/analyses/decompiler/peephole_optimizations/shl_to_mul.py +1 -1
- angr/analyses/decompiler/peephole_optimizations/simplify_pc_relative_loads.py +1 -1
- angr/analyses/decompiler/peephole_optimizations/single_bit_cond_to_boolexpr.py +1 -1
- angr/analyses/decompiler/peephole_optimizations/single_bit_xor.py +1 -1
- angr/analyses/decompiler/peephole_optimizations/tidy_stack_addr.py +2 -2
- angr/analyses/decompiler/peephole_optimizations/utils.py +1 -1
- angr/analyses/decompiler/redundant_label_remover.py +1 -1
- angr/analyses/decompiler/region_identifier.py +4 -4
- angr/analyses/decompiler/region_simplifiers/cascading_cond_transformer.py +1 -1
- angr/analyses/decompiler/region_simplifiers/cascading_ifs.py +1 -1
- angr/analyses/decompiler/region_simplifiers/expr_folding.py +37 -8
- angr/analyses/decompiler/region_simplifiers/goto.py +1 -1
- angr/analyses/decompiler/region_simplifiers/if_.py +1 -1
- angr/analyses/decompiler/region_simplifiers/loop.py +1 -1
- angr/analyses/decompiler/region_simplifiers/node_address_finder.py +1 -1
- angr/analyses/decompiler/region_simplifiers/region_simplifier.py +14 -2
- angr/analyses/decompiler/region_simplifiers/switch_cluster_simplifier.py +3 -3
- angr/analyses/decompiler/region_simplifiers/switch_expr_simplifier.py +1 -1
- angr/analyses/decompiler/return_maker.py +1 -1
- angr/analyses/decompiler/seq_to_blocks.py +1 -1
- angr/analyses/decompiler/sequence_walker.py +2 -2
- angr/analyses/decompiler/ssailification/rewriting.py +4 -4
- angr/analyses/decompiler/ssailification/rewriting_engine.py +4 -4
- angr/analyses/decompiler/ssailification/rewriting_state.py +3 -3
- angr/analyses/decompiler/ssailification/ssailification.py +2 -2
- angr/analyses/decompiler/ssailification/traversal.py +1 -1
- angr/analyses/decompiler/ssailification/traversal_engine.py +11 -2
- angr/analyses/decompiler/structured_codegen/c.py +3 -3
- angr/analyses/decompiler/structuring/dream.py +1 -1
- angr/analyses/decompiler/structuring/phoenix.py +3 -3
- angr/analyses/decompiler/structuring/structurer_base.py +1 -1
- angr/analyses/decompiler/structuring/structurer_nodes.py +1 -2
- angr/analyses/decompiler/utils.py +1 -1
- angr/analyses/deobfuscator/api_obf_peephole_optimizer.py +1 -1
- angr/analyses/deobfuscator/string_obf_opt_passes.py +3 -3
- angr/analyses/deobfuscator/string_obf_peephole_optimizer.py +2 -2
- angr/analyses/propagator/propagator.py +1 -1
- angr/analyses/proximity_graph.py +2 -2
- angr/analyses/reaching_definitions/engine_ail.py +1 -1
- angr/analyses/reaching_definitions/reaching_definitions.py +1 -1
- angr/analyses/reaching_definitions/subject.py +1 -1
- angr/analyses/s_liveness.py +2 -2
- angr/analyses/s_propagator.py +3 -3
- angr/analyses/s_reaching_definitions/s_rda_model.py +1 -1
- angr/analyses/s_reaching_definitions/s_rda_view.py +3 -3
- angr/analyses/s_reaching_definitions/s_reaching_definitions.py +3 -3
- angr/analyses/variable_recovery/engine_ail.py +2 -2
- angr/analyses/variable_recovery/engine_base.py +1 -1
- angr/analyses/variable_recovery/variable_recovery_base.py +1 -1
- angr/analyses/variable_recovery/variable_recovery_fast.py +2 -2
- angr/engines/light/data.py +1 -1
- angr/engines/light/engine.py +1 -1
- angr/knowledge_plugins/key_definitions/atoms.py +1 -1
- angr/knowledge_plugins/propagations/prop_value.py +1 -1
- angr/knowledge_plugins/propagations/propagation_model.py +1 -1
- angr/knowledge_plugins/propagations/states.py +1 -1
- angr/knowledge_plugins/variables/variable_manager.py +1 -1
- angr/lib/angr_native.dll +0 -0
- angr/rustylib.pyd +0 -0
- angr/utils/ail.py +4 -4
- angr/utils/endness.py +1 -1
- angr/utils/ssa/__init__.py +14 -4
- angr/utils/ssa/tmp_uses_collector.py +4 -4
- angr/utils/ssa/vvar_uses_collector.py +4 -4
- {angr-9.2.158.dist-info → angr-9.2.159.dist-info}/METADATA +6 -6
- {angr-9.2.158.dist-info → angr-9.2.159.dist-info}/RECORD +192 -180
- {angr-9.2.158.dist-info → angr-9.2.159.dist-info}/WHEEL +0 -0
- {angr-9.2.158.dist-info → angr-9.2.159.dist-info}/entry_points.txt +0 -0
- {angr-9.2.158.dist-info → angr-9.2.159.dist-info}/licenses/LICENSE +0 -0
- {angr-9.2.158.dist-info → angr-9.2.159.dist-info}/top_level.txt +0 -0
|
@@ -9,9 +9,9 @@ import logging
|
|
|
9
9
|
import networkx
|
|
10
10
|
|
|
11
11
|
import claripy
|
|
12
|
-
from ailment.block import Block
|
|
13
|
-
from ailment.statement import Statement, ConditionalJump, Jump, Label, Return
|
|
14
|
-
from ailment.expression import Const, UnaryOp, MultiStatementExpression
|
|
12
|
+
from angr.ailment.block import Block
|
|
13
|
+
from angr.ailment.statement import Statement, ConditionalJump, Jump, Label, Return
|
|
14
|
+
from angr.ailment.expression import Const, UnaryOp, MultiStatementExpression
|
|
15
15
|
|
|
16
16
|
from angr.utils.graph import GraphUtils
|
|
17
17
|
from angr.utils.ail import is_phi_assignment, is_head_controlled_loop_block
|
|
@@ -3,9 +3,9 @@ from __future__ import annotations
|
|
|
3
3
|
|
|
4
4
|
import archinfo
|
|
5
5
|
|
|
6
|
-
from ailment import Block
|
|
7
|
-
from ailment.statement import Statement, Call, Assignment
|
|
8
|
-
from ailment.expression import Const, Register, VirtualVariable
|
|
6
|
+
from angr.ailment import Block
|
|
7
|
+
from angr.ailment.statement import Statement, Call, Assignment
|
|
8
|
+
from angr.ailment.expression import Const, Register, VirtualVariable
|
|
9
9
|
|
|
10
10
|
from angr.analyses.decompiler.optimization_passes.optimization_pass import OptimizationPass, OptimizationPassStage
|
|
11
11
|
from angr.analyses.decompiler.optimization_passes import register_optimization_pass
|
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
from __future__ import annotations
|
|
2
|
-
from ailment.statement import Call
|
|
3
|
-
from ailment.expression import Const
|
|
2
|
+
from angr.ailment.statement import Call
|
|
3
|
+
from angr.ailment.expression import Const
|
|
4
4
|
import claripy
|
|
5
5
|
|
|
6
6
|
from angr.analyses.decompiler.peephole_optimizations.base import PeepholeOptimizationExprBase
|
angr/analyses/proximity_graph.py
CHANGED
angr/analyses/s_liveness.py
CHANGED
|
@@ -1,8 +1,8 @@
|
|
|
1
1
|
from __future__ import annotations
|
|
2
2
|
|
|
3
3
|
import networkx
|
|
4
|
-
from ailment.expression import VirtualVariable
|
|
5
|
-
from ailment.statement import Assignment, Call, ConditionalJump
|
|
4
|
+
from angr.ailment.expression import VirtualVariable
|
|
5
|
+
from angr.ailment.statement import Assignment, Call, ConditionalJump
|
|
6
6
|
|
|
7
7
|
from angr.analyses import Analysis, register_analysis
|
|
8
8
|
from angr.utils.ail import is_head_controlled_loop_block, is_phi_assignment
|
angr/analyses/s_propagator.py
CHANGED
|
@@ -6,8 +6,8 @@ from collections import defaultdict
|
|
|
6
6
|
|
|
7
7
|
import networkx
|
|
8
8
|
|
|
9
|
-
from ailment.block import Block
|
|
10
|
-
from ailment.expression import (
|
|
9
|
+
from angr.ailment.block import Block
|
|
10
|
+
from angr.ailment.expression import (
|
|
11
11
|
Const,
|
|
12
12
|
VirtualVariable,
|
|
13
13
|
VirtualVariableCategory,
|
|
@@ -16,7 +16,7 @@ from ailment.expression import (
|
|
|
16
16
|
Convert,
|
|
17
17
|
Expression,
|
|
18
18
|
)
|
|
19
|
-
from ailment.statement import Assignment, Store, Return, Jump, ConditionalJump
|
|
19
|
+
from angr.ailment.statement import Assignment, Store, Return, Jump, ConditionalJump
|
|
20
20
|
|
|
21
21
|
from angr.knowledge_plugins.functions import Function
|
|
22
22
|
from angr.code_location import CodeLocation, ExternalCodeLocation
|
|
@@ -4,7 +4,7 @@ from collections import defaultdict
|
|
|
4
4
|
from collections.abc import Generator
|
|
5
5
|
from typing import Any, Literal, overload
|
|
6
6
|
|
|
7
|
-
from ailment.expression import VirtualVariable, Tmp
|
|
7
|
+
from angr.ailment.expression import VirtualVariable, Tmp
|
|
8
8
|
|
|
9
9
|
from angr.knowledge_plugins.key_definitions import atoms, Definition
|
|
10
10
|
from angr.code_location import CodeLocation
|
|
@@ -4,9 +4,9 @@ import logging
|
|
|
4
4
|
from collections.abc import Callable
|
|
5
5
|
from collections import defaultdict
|
|
6
6
|
|
|
7
|
-
from ailment import Block
|
|
8
|
-
from ailment.statement import Statement, Assignment, Call, Label
|
|
9
|
-
from ailment.expression import VirtualVariable, VirtualVariableCategory, Expression
|
|
7
|
+
from angr.ailment import Block
|
|
8
|
+
from angr.ailment.statement import Statement, Assignment, Call, Label
|
|
9
|
+
from angr.ailment.expression import VirtualVariable, VirtualVariableCategory, Expression
|
|
10
10
|
|
|
11
11
|
from angr.utils.ail import is_phi_assignment
|
|
12
12
|
from angr.utils.graph import GraphUtils
|
|
@@ -1,8 +1,8 @@
|
|
|
1
1
|
from __future__ import annotations
|
|
2
2
|
|
|
3
|
-
from ailment.block import Block
|
|
4
|
-
from ailment.statement import Assignment, Call, Return
|
|
5
|
-
from ailment.expression import VirtualVariable
|
|
3
|
+
from angr.ailment.block import Block
|
|
4
|
+
from angr.ailment.statement import Assignment, Call, Return
|
|
5
|
+
from angr.ailment.expression import VirtualVariable
|
|
6
6
|
import networkx
|
|
7
7
|
|
|
8
8
|
from angr.knowledge_plugins.functions import Function
|
|
@@ -3,8 +3,8 @@ from __future__ import annotations
|
|
|
3
3
|
from typing import TYPE_CHECKING, cast
|
|
4
4
|
import logging
|
|
5
5
|
|
|
6
|
-
import ailment
|
|
7
|
-
from ailment.constant import UNDETERMINED_SIZE
|
|
6
|
+
import angr.ailment as ailment
|
|
7
|
+
from angr.ailment.constant import UNDETERMINED_SIZE
|
|
8
8
|
import claripy
|
|
9
9
|
from unique_log_filter import UniqueLogFilter
|
|
10
10
|
|
|
@@ -9,7 +9,7 @@ import archinfo
|
|
|
9
9
|
import claripy
|
|
10
10
|
from claripy.annotation import Annotation
|
|
11
11
|
from archinfo import Arch
|
|
12
|
-
from ailment.expression import BinaryOp, StackBaseOffset
|
|
12
|
+
from angr.ailment.expression import BinaryOp, StackBaseOffset
|
|
13
13
|
|
|
14
14
|
from angr.knowledge_plugins.functions.function import Function
|
|
15
15
|
from angr.project import Project
|
|
@@ -8,8 +8,8 @@ import networkx
|
|
|
8
8
|
|
|
9
9
|
import claripy
|
|
10
10
|
import pyvex
|
|
11
|
-
import ailment
|
|
12
|
-
from ailment.expression import VirtualVariable
|
|
11
|
+
import angr.ailment as ailment
|
|
12
|
+
from angr.ailment.expression import VirtualVariable
|
|
13
13
|
|
|
14
14
|
import angr.errors
|
|
15
15
|
from angr import SIM_TYPE_COLLECTIONS
|
angr/engines/light/data.py
CHANGED
angr/engines/light/engine.py
CHANGED
|
@@ -2,7 +2,7 @@ from __future__ import annotations
|
|
|
2
2
|
from enum import Enum, auto
|
|
3
3
|
|
|
4
4
|
import claripy
|
|
5
|
-
import ailment
|
|
5
|
+
import angr.ailment as ailment
|
|
6
6
|
from archinfo import Arch, Endness, RegisterOffset
|
|
7
7
|
|
|
8
8
|
from angr.calling_conventions import SimFunctionArgument, SimRegArg, SimStackArg
|
|
@@ -3,7 +3,7 @@ from typing import Any
|
|
|
3
3
|
from collections import defaultdict
|
|
4
4
|
|
|
5
5
|
import claripy
|
|
6
|
-
import ailment
|
|
6
|
+
import angr.ailment as ailment
|
|
7
7
|
from angr.serializable import Serializable
|
|
8
8
|
from angr.knowledge_plugins.functions.function import Function
|
|
9
9
|
from .states import PropagatorVEXState, PropagatorState
|
angr/lib/angr_native.dll
CHANGED
|
Binary file
|
angr/rustylib.pyd
CHANGED
|
Binary file
|
angr/utils/ail.py
CHANGED
|
@@ -1,9 +1,9 @@
|
|
|
1
1
|
from __future__ import annotations
|
|
2
2
|
|
|
3
|
-
from ailment import AILBlockWalkerBase
|
|
4
|
-
from ailment.block import Block
|
|
5
|
-
from ailment.expression import Expression, VirtualVariable, Phi
|
|
6
|
-
from ailment.statement import Assignment, Statement, ConditionalJump
|
|
3
|
+
from angr.ailment import AILBlockWalkerBase
|
|
4
|
+
from angr.ailment.block import Block
|
|
5
|
+
from angr.ailment.expression import Expression, VirtualVariable, Phi
|
|
6
|
+
from angr.ailment.statement import Assignment, Statement, ConditionalJump
|
|
7
7
|
|
|
8
8
|
|
|
9
9
|
def is_phi_assignment(stmt: Statement) -> bool:
|
angr/utils/endness.py
CHANGED
angr/utils/ssa/__init__.py
CHANGED
|
@@ -6,10 +6,20 @@ from typing import Any, Literal, overload
|
|
|
6
6
|
import networkx
|
|
7
7
|
|
|
8
8
|
import archinfo
|
|
9
|
-
from ailment import Expression, Block
|
|
10
|
-
from ailment.expression import
|
|
11
|
-
|
|
12
|
-
|
|
9
|
+
from angr.ailment import Expression, Block
|
|
10
|
+
from angr.ailment.expression import (
|
|
11
|
+
VirtualVariable,
|
|
12
|
+
Const,
|
|
13
|
+
Phi,
|
|
14
|
+
Tmp,
|
|
15
|
+
Load,
|
|
16
|
+
Register,
|
|
17
|
+
StackBaseOffset,
|
|
18
|
+
DirtyExpression,
|
|
19
|
+
ITE,
|
|
20
|
+
)
|
|
21
|
+
from angr.ailment.statement import Statement, Assignment, Call, Store, CAS
|
|
22
|
+
from angr.ailment.block_walker import AILBlockWalkerBase
|
|
13
23
|
|
|
14
24
|
from angr.knowledge_plugins.key_definitions import atoms
|
|
15
25
|
from angr.code_location import CodeLocation
|
|
@@ -1,10 +1,10 @@
|
|
|
1
1
|
from __future__ import annotations
|
|
2
2
|
from collections import defaultdict
|
|
3
3
|
|
|
4
|
-
from ailment import AILBlockWalkerBase
|
|
5
|
-
from ailment.expression import Tmp
|
|
6
|
-
from ailment.statement import Statement, Assignment
|
|
7
|
-
from ailment.block import Block
|
|
4
|
+
from angr.ailment import AILBlockWalkerBase
|
|
5
|
+
from angr.ailment.expression import Tmp
|
|
6
|
+
from angr.ailment.statement import Statement, Assignment
|
|
7
|
+
from angr.ailment.block import Block
|
|
8
8
|
|
|
9
9
|
|
|
10
10
|
class TmpUsesCollector(AILBlockWalkerBase):
|
|
@@ -1,10 +1,10 @@
|
|
|
1
1
|
from __future__ import annotations
|
|
2
2
|
from collections import defaultdict
|
|
3
3
|
|
|
4
|
-
from ailment import AILBlockWalkerBase
|
|
5
|
-
from ailment.expression import VirtualVariable, Phi
|
|
6
|
-
from ailment.statement import Statement, Assignment
|
|
7
|
-
from ailment.block import Block
|
|
4
|
+
from angr.ailment import AILBlockWalkerBase
|
|
5
|
+
from angr.ailment.expression import VirtualVariable, Phi
|
|
6
|
+
from angr.ailment.statement import Statement, Assignment
|
|
7
|
+
from angr.ailment.block import Block
|
|
8
8
|
|
|
9
9
|
from angr.code_location import CodeLocation
|
|
10
10
|
|
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
Metadata-Version: 2.4
|
|
2
2
|
Name: angr
|
|
3
|
-
Version: 9.2.
|
|
3
|
+
Version: 9.2.159
|
|
4
4
|
Summary: A multi-architecture binary analysis toolkit, with the ability to perform dynamic symbolic execution and various static analyses on binaries
|
|
5
5
|
License: BSD-2-Clause
|
|
6
6
|
Project-URL: Homepage, https://angr.io/
|
|
@@ -17,13 +17,12 @@ Description-Content-Type: text/markdown
|
|
|
17
17
|
License-File: LICENSE
|
|
18
18
|
Requires-Dist: cxxheaderparser
|
|
19
19
|
Requires-Dist: GitPython
|
|
20
|
-
Requires-Dist:
|
|
21
|
-
Requires-Dist: archinfo==9.2.158
|
|
20
|
+
Requires-Dist: archinfo==9.2.159
|
|
22
21
|
Requires-Dist: cachetools
|
|
23
22
|
Requires-Dist: capstone==5.0.3
|
|
24
23
|
Requires-Dist: cffi>=1.14.0
|
|
25
|
-
Requires-Dist: claripy==9.2.
|
|
26
|
-
Requires-Dist: cle==9.2.
|
|
24
|
+
Requires-Dist: claripy==9.2.159
|
|
25
|
+
Requires-Dist: cle==9.2.159
|
|
27
26
|
Requires-Dist: mulpyplexer
|
|
28
27
|
Requires-Dist: networkx!=2.8.1,>=2.0
|
|
29
28
|
Requires-Dist: protobuf>=5.28.2
|
|
@@ -32,10 +31,11 @@ Requires-Dist: pycparser>=2.18
|
|
|
32
31
|
Requires-Dist: pydemumble
|
|
33
32
|
Requires-Dist: pyformlang
|
|
34
33
|
Requires-Dist: pypcode<4.0,>=3.2.1
|
|
35
|
-
Requires-Dist: pyvex==9.2.
|
|
34
|
+
Requires-Dist: pyvex==9.2.159
|
|
36
35
|
Requires-Dist: rich>=13.1.0
|
|
37
36
|
Requires-Dist: sortedcontainers
|
|
38
37
|
Requires-Dist: sympy
|
|
38
|
+
Requires-Dist: typing-extensions
|
|
39
39
|
Requires-Dist: unique-log-filter
|
|
40
40
|
Requires-Dist: colorama; platform_system == "Windows"
|
|
41
41
|
Provides-Extra: angrdb
|