angr 9.2.158__cp310-abi3-manylinux2014_x86_64.whl → 9.2.159__cp310-abi3-manylinux2014_x86_64.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.

Files changed (191) hide show
  1. angr/__init__.py +1 -1
  2. angr/ailment/__init__.py +81 -0
  3. angr/ailment/block.py +81 -0
  4. angr/ailment/block_walker.py +845 -0
  5. angr/ailment/constant.py +3 -0
  6. angr/ailment/converter_common.py +11 -0
  7. angr/ailment/converter_pcode.py +623 -0
  8. angr/ailment/converter_vex.py +798 -0
  9. angr/ailment/expression.py +1639 -0
  10. angr/ailment/manager.py +33 -0
  11. angr/ailment/statement.py +978 -0
  12. angr/ailment/tagged_object.py +61 -0
  13. angr/ailment/utils.py +114 -0
  14. angr/analyses/calling_convention/calling_convention.py +6 -2
  15. angr/analyses/decompiler/ail_simplifier.py +5 -5
  16. angr/analyses/decompiler/block_io_finder.py +4 -4
  17. angr/analyses/decompiler/block_similarity.py +2 -2
  18. angr/analyses/decompiler/block_simplifier.py +4 -4
  19. angr/analyses/decompiler/callsite_maker.py +2 -2
  20. angr/analyses/decompiler/ccall_rewriters/amd64_ccalls.py +1 -1
  21. angr/analyses/decompiler/ccall_rewriters/rewriter_base.py +1 -1
  22. angr/analyses/decompiler/ccall_rewriters/x86_ccalls.py +1 -1
  23. angr/analyses/decompiler/clinic.py +1 -1
  24. angr/analyses/decompiler/condition_processor.py +1 -1
  25. angr/analyses/decompiler/counters/boolean_counter.py +4 -4
  26. angr/analyses/decompiler/counters/call_counter.py +4 -4
  27. angr/analyses/decompiler/counters/expression_counters.py +5 -5
  28. angr/analyses/decompiler/counters/seq_cf_structure_counter.py +1 -1
  29. angr/analyses/decompiler/decompiler.py +5 -3
  30. angr/analyses/decompiler/dephication/dephication_base.py +12 -1
  31. angr/analyses/decompiler/dephication/graph_dephication.py +12 -5
  32. angr/analyses/decompiler/dephication/graph_rewriting.py +6 -10
  33. angr/analyses/decompiler/dephication/graph_vvar_mapping.py +109 -72
  34. angr/analyses/decompiler/dephication/rewriting_engine.py +32 -9
  35. angr/analyses/decompiler/dephication/seqnode_dephication.py +32 -10
  36. angr/analyses/decompiler/empty_node_remover.py +2 -2
  37. angr/analyses/decompiler/expression_narrower.py +6 -6
  38. angr/analyses/decompiler/goto_manager.py +2 -2
  39. angr/analyses/decompiler/jump_target_collector.py +1 -1
  40. angr/analyses/decompiler/label_collector.py +1 -1
  41. angr/analyses/decompiler/optimization_passes/base_ptr_save_simplifier.py +25 -25
  42. angr/analyses/decompiler/optimization_passes/call_stmt_rewriter.py +1 -1
  43. angr/analyses/decompiler/optimization_passes/code_motion.py +2 -2
  44. angr/analyses/decompiler/optimization_passes/condition_constprop.py +3 -3
  45. angr/analyses/decompiler/optimization_passes/const_derefs.py +3 -3
  46. angr/analyses/decompiler/optimization_passes/const_prop_reverter.py +4 -4
  47. angr/analyses/decompiler/optimization_passes/deadblock_remover.py +2 -2
  48. angr/analyses/decompiler/optimization_passes/determine_load_sizes.py +3 -3
  49. angr/analyses/decompiler/optimization_passes/div_simplifier.py +1 -1
  50. angr/analyses/decompiler/optimization_passes/duplication_reverter/ail_merge_graph.py +2 -2
  51. angr/analyses/decompiler/optimization_passes/duplication_reverter/duplication_reverter.py +4 -4
  52. angr/analyses/decompiler/optimization_passes/duplication_reverter/similarity.py +1 -1
  53. angr/analyses/decompiler/optimization_passes/duplication_reverter/utils.py +4 -4
  54. angr/analyses/decompiler/optimization_passes/eager_std_string_concatenation.py +3 -3
  55. angr/analyses/decompiler/optimization_passes/engine_base.py +1 -1
  56. angr/analyses/decompiler/optimization_passes/expr_op_swapper.py +3 -3
  57. angr/analyses/decompiler/optimization_passes/flip_boolean_cmp.py +2 -2
  58. angr/analyses/decompiler/optimization_passes/inlined_string_transformation_simplifier.py +2 -2
  59. angr/analyses/decompiler/optimization_passes/ite_expr_converter.py +3 -3
  60. angr/analyses/decompiler/optimization_passes/ite_region_converter.py +3 -3
  61. angr/analyses/decompiler/optimization_passes/lowered_switch_simplifier.py +4 -4
  62. angr/analyses/decompiler/optimization_passes/mod_simplifier.py +1 -1
  63. angr/analyses/decompiler/optimization_passes/optimization_pass.py +25 -1
  64. angr/analyses/decompiler/optimization_passes/register_save_area_simplifier.py +1 -1
  65. angr/analyses/decompiler/optimization_passes/ret_addr_save_simplifier.py +1 -1
  66. angr/analyses/decompiler/optimization_passes/ret_deduplicator.py +2 -2
  67. angr/analyses/decompiler/optimization_passes/return_duplicator_base.py +4 -4
  68. angr/analyses/decompiler/optimization_passes/return_duplicator_low.py +2 -2
  69. angr/analyses/decompiler/optimization_passes/stack_canary_simplifier.py +1 -1
  70. angr/analyses/decompiler/optimization_passes/switch_default_case_duplicator.py +3 -3
  71. angr/analyses/decompiler/optimization_passes/switch_reused_entry_rewriter.py +3 -3
  72. angr/analyses/decompiler/optimization_passes/tag_slicer.py +1 -1
  73. angr/analyses/decompiler/optimization_passes/win_stack_canary_simplifier.py +1 -1
  74. angr/analyses/decompiler/optimization_passes/x86_gcc_getpc_simplifier.py +1 -1
  75. angr/analyses/decompiler/peephole_optimizations/a_div_const_add_a_mul_n_div_const.py +1 -1
  76. angr/analyses/decompiler/peephole_optimizations/a_mul_const_div_shr_const.py +1 -1
  77. angr/analyses/decompiler/peephole_optimizations/a_mul_const_sub_a.py +1 -1
  78. angr/analyses/decompiler/peephole_optimizations/a_shl_const_sub_a.py +1 -1
  79. angr/analyses/decompiler/peephole_optimizations/a_sub_a_div.py +1 -1
  80. angr/analyses/decompiler/peephole_optimizations/a_sub_a_div_const_mul_const.py +1 -1
  81. angr/analyses/decompiler/peephole_optimizations/a_sub_a_shr_const_shr_const.py +1 -1
  82. angr/analyses/decompiler/peephole_optimizations/a_sub_a_sub_n.py +1 -1
  83. angr/analyses/decompiler/peephole_optimizations/arm_cmpf.py +1 -1
  84. angr/analyses/decompiler/peephole_optimizations/base.py +3 -3
  85. angr/analyses/decompiler/peephole_optimizations/basepointeroffset_add_n.py +1 -1
  86. angr/analyses/decompiler/peephole_optimizations/basepointeroffset_and_mask.py +1 -1
  87. angr/analyses/decompiler/peephole_optimizations/bitwise_or_to_logical_or.py +1 -1
  88. angr/analyses/decompiler/peephole_optimizations/bool_expr_xor_1.py +1 -1
  89. angr/analyses/decompiler/peephole_optimizations/bswap.py +2 -2
  90. angr/analyses/decompiler/peephole_optimizations/cas_intrinsics.py +2 -2
  91. angr/analyses/decompiler/peephole_optimizations/cmpord_rewriter.py +2 -2
  92. angr/analyses/decompiler/peephole_optimizations/coalesce_adjacent_shrs.py +1 -1
  93. angr/analyses/decompiler/peephole_optimizations/coalesce_same_cascading_ifs.py +2 -2
  94. angr/analyses/decompiler/peephole_optimizations/const_mull_a_shift.py +1 -1
  95. angr/analyses/decompiler/peephole_optimizations/constant_derefs.py +1 -1
  96. angr/analyses/decompiler/peephole_optimizations/conv_a_sub0_shr_and.py +1 -1
  97. angr/analyses/decompiler/peephole_optimizations/conv_shl_shr.py +1 -1
  98. angr/analyses/decompiler/peephole_optimizations/eager_eval.py +1 -1
  99. angr/analyses/decompiler/peephole_optimizations/extended_byte_and_mask.py +1 -1
  100. angr/analyses/decompiler/peephole_optimizations/inlined_strcpy.py +2 -2
  101. angr/analyses/decompiler/peephole_optimizations/inlined_strcpy_consolidation.py +2 -2
  102. angr/analyses/decompiler/peephole_optimizations/inlined_wstrcpy.py +2 -2
  103. angr/analyses/decompiler/peephole_optimizations/invert_negated_logical_conjuction_disjunction.py +1 -1
  104. angr/analyses/decompiler/peephole_optimizations/one_sub_bool.py +1 -1
  105. angr/analyses/decompiler/peephole_optimizations/remove_cascading_conversions.py +1 -1
  106. angr/analyses/decompiler/peephole_optimizations/remove_cxx_destructor_calls.py +2 -2
  107. angr/analyses/decompiler/peephole_optimizations/remove_empty_if_body.py +2 -2
  108. angr/analyses/decompiler/peephole_optimizations/remove_noop_conversions.py +1 -1
  109. angr/analyses/decompiler/peephole_optimizations/remove_redundant_bitmasks.py +1 -1
  110. angr/analyses/decompiler/peephole_optimizations/remove_redundant_conversions.py +1 -1
  111. angr/analyses/decompiler/peephole_optimizations/remove_redundant_ite_branch.py +1 -1
  112. angr/analyses/decompiler/peephole_optimizations/remove_redundant_ite_comparisons.py +1 -1
  113. angr/analyses/decompiler/peephole_optimizations/remove_redundant_nots.py +1 -1
  114. angr/analyses/decompiler/peephole_optimizations/remove_redundant_reinterprets.py +1 -1
  115. angr/analyses/decompiler/peephole_optimizations/remove_redundant_shifts.py +1 -1
  116. angr/analyses/decompiler/peephole_optimizations/remove_redundant_shifts_around_comparators.py +1 -1
  117. angr/analyses/decompiler/peephole_optimizations/rewrite_bit_extractions.py +1 -1
  118. angr/analyses/decompiler/peephole_optimizations/rewrite_conv_mul.py +1 -1
  119. angr/analyses/decompiler/peephole_optimizations/rewrite_cxx_operator_calls.py +3 -3
  120. angr/analyses/decompiler/peephole_optimizations/rewrite_mips_gp_loads.py +1 -1
  121. angr/analyses/decompiler/peephole_optimizations/rol_ror.py +2 -2
  122. angr/analyses/decompiler/peephole_optimizations/sar_to_signed_div.py +1 -1
  123. angr/analyses/decompiler/peephole_optimizations/shl_to_mul.py +1 -1
  124. angr/analyses/decompiler/peephole_optimizations/simplify_pc_relative_loads.py +1 -1
  125. angr/analyses/decompiler/peephole_optimizations/single_bit_cond_to_boolexpr.py +1 -1
  126. angr/analyses/decompiler/peephole_optimizations/single_bit_xor.py +1 -1
  127. angr/analyses/decompiler/peephole_optimizations/tidy_stack_addr.py +2 -2
  128. angr/analyses/decompiler/peephole_optimizations/utils.py +1 -1
  129. angr/analyses/decompiler/redundant_label_remover.py +1 -1
  130. angr/analyses/decompiler/region_identifier.py +4 -4
  131. angr/analyses/decompiler/region_simplifiers/cascading_cond_transformer.py +1 -1
  132. angr/analyses/decompiler/region_simplifiers/cascading_ifs.py +1 -1
  133. angr/analyses/decompiler/region_simplifiers/expr_folding.py +37 -8
  134. angr/analyses/decompiler/region_simplifiers/goto.py +1 -1
  135. angr/analyses/decompiler/region_simplifiers/if_.py +1 -1
  136. angr/analyses/decompiler/region_simplifiers/loop.py +1 -1
  137. angr/analyses/decompiler/region_simplifiers/node_address_finder.py +1 -1
  138. angr/analyses/decompiler/region_simplifiers/region_simplifier.py +14 -2
  139. angr/analyses/decompiler/region_simplifiers/switch_cluster_simplifier.py +3 -3
  140. angr/analyses/decompiler/region_simplifiers/switch_expr_simplifier.py +1 -1
  141. angr/analyses/decompiler/return_maker.py +1 -1
  142. angr/analyses/decompiler/seq_to_blocks.py +1 -1
  143. angr/analyses/decompiler/sequence_walker.py +2 -2
  144. angr/analyses/decompiler/ssailification/rewriting.py +4 -4
  145. angr/analyses/decompiler/ssailification/rewriting_engine.py +4 -4
  146. angr/analyses/decompiler/ssailification/rewriting_state.py +3 -3
  147. angr/analyses/decompiler/ssailification/ssailification.py +2 -2
  148. angr/analyses/decompiler/ssailification/traversal.py +1 -1
  149. angr/analyses/decompiler/ssailification/traversal_engine.py +11 -2
  150. angr/analyses/decompiler/structured_codegen/c.py +3 -3
  151. angr/analyses/decompiler/structuring/dream.py +1 -1
  152. angr/analyses/decompiler/structuring/phoenix.py +3 -3
  153. angr/analyses/decompiler/structuring/structurer_base.py +1 -1
  154. angr/analyses/decompiler/structuring/structurer_nodes.py +1 -2
  155. angr/analyses/decompiler/utils.py +1 -1
  156. angr/analyses/deobfuscator/api_obf_peephole_optimizer.py +1 -1
  157. angr/analyses/deobfuscator/string_obf_opt_passes.py +3 -3
  158. angr/analyses/deobfuscator/string_obf_peephole_optimizer.py +2 -2
  159. angr/analyses/propagator/propagator.py +1 -1
  160. angr/analyses/proximity_graph.py +2 -2
  161. angr/analyses/reaching_definitions/engine_ail.py +1 -1
  162. angr/analyses/reaching_definitions/reaching_definitions.py +1 -1
  163. angr/analyses/reaching_definitions/subject.py +1 -1
  164. angr/analyses/s_liveness.py +2 -2
  165. angr/analyses/s_propagator.py +3 -3
  166. angr/analyses/s_reaching_definitions/s_rda_model.py +1 -1
  167. angr/analyses/s_reaching_definitions/s_rda_view.py +3 -3
  168. angr/analyses/s_reaching_definitions/s_reaching_definitions.py +3 -3
  169. angr/analyses/variable_recovery/engine_ail.py +2 -2
  170. angr/analyses/variable_recovery/engine_base.py +1 -1
  171. angr/analyses/variable_recovery/variable_recovery_base.py +1 -1
  172. angr/analyses/variable_recovery/variable_recovery_fast.py +2 -2
  173. angr/engines/light/data.py +1 -1
  174. angr/engines/light/engine.py +1 -1
  175. angr/knowledge_plugins/key_definitions/atoms.py +1 -1
  176. angr/knowledge_plugins/propagations/prop_value.py +1 -1
  177. angr/knowledge_plugins/propagations/propagation_model.py +1 -1
  178. angr/knowledge_plugins/propagations/states.py +1 -1
  179. angr/knowledge_plugins/variables/variable_manager.py +1 -1
  180. angr/rustylib.abi3.so +0 -0
  181. angr/utils/ail.py +4 -4
  182. angr/utils/endness.py +1 -1
  183. angr/utils/ssa/__init__.py +14 -4
  184. angr/utils/ssa/tmp_uses_collector.py +4 -4
  185. angr/utils/ssa/vvar_uses_collector.py +4 -4
  186. {angr-9.2.158.dist-info → angr-9.2.159.dist-info}/METADATA +6 -6
  187. {angr-9.2.158.dist-info → angr-9.2.159.dist-info}/RECORD +191 -179
  188. {angr-9.2.158.dist-info → angr-9.2.159.dist-info}/WHEEL +0 -0
  189. {angr-9.2.158.dist-info → angr-9.2.159.dist-info}/entry_points.txt +0 -0
  190. {angr-9.2.158.dist-info → angr-9.2.159.dist-info}/licenses/LICENSE +0 -0
  191. {angr-9.2.158.dist-info → angr-9.2.159.dist-info}/top_level.txt +0 -0
@@ -7,7 +7,7 @@ from collections import defaultdict, OrderedDict
7
7
  import networkx
8
8
 
9
9
  import claripy
10
- import ailment
10
+ import angr.ailment as ailment
11
11
 
12
12
  from angr.utils.graph import GraphUtils
13
13
  from angr.knowledge_plugins.cfg import IndirectJumpType
@@ -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
@@ -6,7 +6,7 @@ import logging
6
6
 
7
7
  import networkx
8
8
 
9
- import ailment
9
+ import angr.ailment as ailment
10
10
  import claripy
11
11
 
12
12
  from angr.analyses import Analysis
@@ -4,8 +4,7 @@ from typing import Any
4
4
  from collections import OrderedDict
5
5
 
6
6
  import claripy
7
- import ailment
8
- import ailment.utils
7
+ import angr.ailment as ailment
9
8
 
10
9
 
11
10
  INDENT_DELTA = 2
@@ -7,7 +7,7 @@ from collections.abc import Iterable
7
7
  import logging
8
8
 
9
9
  import networkx
10
- import ailment
10
+ import angr.ailment as ailment
11
11
 
12
12
  import angr
13
13
  from angr.analyses.decompiler.counters.call_counter import AILBlockCallCounter
@@ -1,5 +1,5 @@
1
1
  from __future__ import annotations
2
- from ailment.expression import Const, Load
2
+ from angr.ailment.expression import Const, Load
3
3
 
4
4
  from angr import SIM_LIBRARIES
5
5
  from angr.calling_conventions import default_cc
@@ -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
@@ -6,7 +6,7 @@ import time
6
6
  import contextlib
7
7
 
8
8
  import claripy
9
- import ailment
9
+ import angr.ailment as ailment
10
10
  import pyvex
11
11
 
12
12
  from angr.code_location import CodeLocation
@@ -4,8 +4,8 @@ import logging
4
4
 
5
5
  import networkx
6
6
 
7
- import ailment
8
- from ailment import AILBlockWalker
7
+ import angr.ailment as ailment
8
+ from angr.ailment import AILBlockWalker
9
9
 
10
10
  from angr.codenode import BlockNode
11
11
  from angr.sim_variable import SimMemoryVariable
@@ -7,7 +7,7 @@ from typing import cast
7
7
 
8
8
  from archinfo.types import RegisterOffset
9
9
  import claripy
10
- import ailment
10
+ import angr.ailment as ailment
11
11
  from claripy import FSORT_DOUBLE, FSORT_FLOAT
12
12
 
13
13
  from angr.engines.light import SpOffset
@@ -4,7 +4,7 @@ from typing import Any
4
4
  from collections.abc import Iterable
5
5
  from collections import defaultdict
6
6
 
7
- import ailment
7
+ import angr.ailment as ailment
8
8
  import pyvex
9
9
 
10
10
  from angr.analyses import ForwardAnalysis
@@ -1,7 +1,7 @@
1
1
  from __future__ import annotations
2
2
  from enum import Enum
3
3
 
4
- import ailment
4
+ import angr.ailment as ailment
5
5
 
6
6
  from angr.block import Block
7
7
  from angr.knowledge_plugins.functions.function_manager import Function
@@ -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
@@ -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
 
@@ -3,7 +3,7 @@ from typing import Any, Generic, TypeVar, cast
3
3
  import contextlib
4
4
  import logging
5
5
 
6
- import ailment
6
+ import angr.ailment as ailment
7
7
  import claripy
8
8
 
9
9
  from angr.analyses.variable_recovery.variable_recovery_base import VariableRecoveryStateBase
@@ -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
@@ -1,5 +1,5 @@
1
1
  from __future__ import annotations
2
- import ailment
2
+ import angr.ailment as ailment
3
3
 
4
4
  from angr.utils.constants import is_alignment_mask
5
5
 
@@ -6,7 +6,7 @@ from abc import abstractmethod
6
6
  import re
7
7
  import logging
8
8
 
9
- import ailment
9
+ import angr.ailment as ailment
10
10
  import pyvex
11
11
  import claripy
12
12
  from pyvex.expr import IRExpr
@@ -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, TYPE_CHECKING
3
3
  from collections.abc import Iterable, Generator
4
4
 
5
5
  import claripy
6
- import ailment
6
+ import angr.ailment as ailment
7
7
 
8
8
  if TYPE_CHECKING:
9
9
  from angr.code_location import CodeLocation
@@ -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
@@ -7,7 +7,7 @@ import weakref
7
7
 
8
8
  from typing_extensions import Self
9
9
 
10
- import ailment
10
+ import angr.ailment as ailment
11
11
  import claripy
12
12
  import archinfo
13
13
 
@@ -6,7 +6,7 @@ from itertools import count, chain
6
6
 
7
7
  import networkx
8
8
 
9
- import ailment
9
+ import angr.ailment as ailment
10
10
  from cle.backends.elf.compilation_unit import CompilationUnit
11
11
  from cle.backends.elf.variable import Variable
12
12
 
angr/rustylib.abi3.so 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
@@ -1,5 +1,5 @@
1
1
  from __future__ import annotations
2
- from ailment.expression import Const
2
+ from angr.ailment.expression import Const
3
3
 
4
4
 
5
5
  def ail_const_to_be(expr: Const, endness: str) -> Const:
@@ -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 VirtualVariable, Const, Phi, Tmp, Load, Register, StackBaseOffset, DirtyExpression, ITE
11
- from ailment.statement import Statement, Assignment, Call, Store, CAS
12
- from ailment.block_walker import AILBlockWalkerBase
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.158
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: ailment==9.2.158
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.158
26
- Requires-Dist: cle==9.2.158
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.158
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