angr 9.2.86__py3-none-win_amd64.whl → 9.2.87__py3-none-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.

Files changed (38) hide show
  1. angr/__init__.py +1 -1
  2. angr/analyses/calling_convention.py +8 -6
  3. angr/analyses/data_dep/data_dependency_analysis.py +1 -0
  4. angr/analyses/decompiler/condition_processor.py +15 -9
  5. angr/analyses/decompiler/empty_node_remover.py +5 -3
  6. angr/analyses/decompiler/optimization_passes/optimization_pass.py +3 -3
  7. angr/analyses/decompiler/structured_codegen/c.py +17 -11
  8. angr/analyses/decompiler/structuring/phoenix.py +15 -9
  9. angr/analyses/disassembly.py +14 -12
  10. angr/analyses/reaching_definitions/dep_graph.py +10 -20
  11. angr/analyses/reaching_definitions/rd_state.py +4 -8
  12. angr/analyses/vfg.py +6 -6
  13. angr/calling_conventions.py +15 -7
  14. angr/engines/soot/expressions/condition.py +1 -1
  15. angr/engines/vex/claripy/irop.py +1 -0
  16. angr/engines/vex/heavy/heavy.py +3 -0
  17. angr/factory.py +2 -4
  18. angr/knowledge_plugins/key_definitions/live_definitions.py +4 -8
  19. angr/knowledge_plugins/key_definitions/rd_model.py +4 -4
  20. angr/knowledge_plugins/variables/variable_manager.py +3 -3
  21. angr/lib/angr_native.dll +0 -0
  22. angr/sim_procedure.py +3 -3
  23. angr/sim_type.py +9 -5
  24. angr/state_plugins/solver.py +36 -72
  25. angr/state_plugins/unicorn_engine.py +3 -3
  26. angr/storage/file.py +13 -9
  27. angr/storage/memory_mixins/paged_memory/pages/cooperation.py +10 -6
  28. angr/storage/memory_mixins/paged_memory/pages/multi_values.py +2 -10
  29. angr/storage/memory_mixins/regioned_memory/regioned_memory_mixin.py +12 -12
  30. angr/utils/graph.py +2 -1
  31. {angr-9.2.86.dist-info → angr-9.2.87.dist-info}/METADATA +6 -6
  32. {angr-9.2.86.dist-info → angr-9.2.87.dist-info}/RECORD +38 -36
  33. tests/utils/__init__.py +0 -0
  34. tests/utils/test_graph.py +41 -0
  35. {angr-9.2.86.dist-info → angr-9.2.87.dist-info}/LICENSE +0 -0
  36. {angr-9.2.86.dist-info → angr-9.2.87.dist-info}/WHEEL +0 -0
  37. {angr-9.2.86.dist-info → angr-9.2.87.dist-info}/entry_points.txt +0 -0
  38. {angr-9.2.86.dist-info → angr-9.2.87.dist-info}/top_level.txt +0 -0
@@ -1,14 +1,14 @@
1
- angr/__init__.py,sha256=Xex7C6QnusJHN_mAtwnNEiYVPDocSX24CK_V3IVuXvE,3851
1
+ angr/__init__.py,sha256=rb5ZHrlnFUMxOQMkBWSM1ncRdKVGBynfJG6mffNtu68,3851
2
2
  angr/__main__.py,sha256=kaO56Te6h73SM94BVtASF00q5QbBbC3eBs9poVc9sVI,1887
3
3
  angr/annocfg.py,sha256=dK5JAdN4Ig_jgxTBZeZXwk3kAS4-IQUvE6T02GBZTDQ,10818
4
4
  angr/blade.py,sha256=B8QXVQ93jz1YCIlb-dZLeBqYmVFdMXI5GleP1Wnxjrw,15519
5
5
  angr/block.py,sha256=FnsFukbXhLzYPW5zJRXMxNmvCRU4LFlFIaJwo5sAqkY,14468
6
6
  angr/callable.py,sha256=-E9HelavtRY1xPAxCVXl120H8Rb7Myd2IcrXtWZFAOU,6034
7
- angr/calling_conventions.py,sha256=NZhjJWrtW3V00mPTUsjqyRUN-8TauD4Mc30OnMMulM0,91019
7
+ angr/calling_conventions.py,sha256=JLbdAWYcpYWMVA9f4exlD1tQjBsvvacQPLGORRH7_hM,91390
8
8
  angr/code_location.py,sha256=ow0Z8OF8FNBPZs4PUmRej_5aHaKTmUIanYPro3iHAMs,5476
9
9
  angr/codenode.py,sha256=J_lZNz8akZzBI4ok0KpI1eNGvZbCt_quOAeUplaEB6I,3784
10
10
  angr/errors.py,sha256=QdVWy5wElJYd4srA2k2vFzHPiE69gkXfksB9B6y6W8Y,8245
11
- angr/factory.py,sha256=KBSUjT5UEGgwYruZXrm5c01-dAeIfP3-2leB65M8IC8,17427
11
+ angr/factory.py,sha256=0t5pbwGZRZ1SAfKEfiaW6XZPSK38SR8vgkLKNXbBtj0,17411
12
12
  angr/graph_utils.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
13
13
  angr/keyed_region.py,sha256=Edk5vASUdBO2dRqgHDWHkeq9ZvBCwH_zk-l6rXAbls0,18129
14
14
  angr/project.py,sha256=WstqFLteSjxpdZtVn915vtrXBSunj4ib6czy5i0qfQQ,37186
@@ -17,10 +17,10 @@ angr/serializable.py,sha256=6cljvzAqFwsLqFu9ouCno7hMpgstha5-8C7RyWNCRXc,1502
17
17
  angr/service.py,sha256=9R50bFaCf6zjxybiEIVIkODSVCsE2VcTul_KjjsjaGU,1102
18
18
  angr/sim_manager.py,sha256=b7saPxVQmXInT4PmEUVHIV-Fuj1X1c8rxiCy9AIBiaY,39300
19
19
  angr/sim_options.py,sha256=OuT01xS_F3ifBD9MAfZmNCnfjtTg0HulZlrKcs1LNSY,18057
20
- angr/sim_procedure.py,sha256=TpYn5z6YMKjugyH_Lw9XcEaQc8cpTxtyorBKrRYMewA,26073
20
+ angr/sim_procedure.py,sha256=1IysaiIIvI7pbzTUonS4_HqGRUdx-1jKFT8gSees3DA,26081
21
21
  angr/sim_state.py,sha256=BhAKyfvoGfqpgAPYYT4j7drrkOdPy03ucBO7LKMz0s0,37826
22
22
  angr/sim_state_options.py,sha256=lfP7ygngjGe0AGV5rkE24tvBazJBZG-RTdrKj4rL9XE,12530
23
- angr/sim_type.py,sha256=ZU4uHgFcJyjvVMGza8_JluHKmAWbpT9S1Xb41qdydHU,117056
23
+ angr/sim_type.py,sha256=2VrWhlHw9zhVmMCzKOqFvpzRtz3srWkK9UlIc1RhG5M,117168
24
24
  angr/sim_variable.py,sha256=VIpKm4lguu_bKokjq4UB6Q_30Ogz9J7XRBJuH62lW60,17228
25
25
  angr/slicer.py,sha256=kbLKMAjf2kC6ov-OiGb95BqLmgV0QRl5mmEANcvzuAk,10640
26
26
  angr/state_hierarchy.py,sha256=w_5Tl-7h9xUXBsIKZRAWw8Xh0we8GIAaN6nbKgYH_Qo,8467
@@ -33,7 +33,7 @@ angr/analyses/binary_optimizer.py,sha256=uXrvQ1pVKev9o0aqnuqz7Mbo20vMoZogJpvrjdj
33
33
  angr/analyses/bindiff.py,sha256=aFFfp4zHJqYGFp2ge-MBt7q2k1DFZb9VD1zC_cxFMmE,51815
34
34
  angr/analyses/boyscout.py,sha256=BFlxz4o8mpFXDiObd_x_9ObGvgBeh-zlxcC-_YT2wHs,2448
35
35
  angr/analyses/callee_cleanup_finder.py,sha256=gWeXZNM1wFYz6v2Fgy_0DlJSx53Zkf2M5lgvIGARCm8,2835
36
- angr/analyses/calling_convention.py,sha256=6aWMp1RkPBF362ML9wGccv78lawWhz-tHua3-6uCYoc,39844
36
+ angr/analyses/calling_convention.py,sha256=7NxuQEP0QDDSEmAk5P5S50rcjKD1Tof1BdG1d8JQvrk,39916
37
37
  angr/analyses/cdg.py,sha256=OAnsjM1MgWXEToyOprxyWPTsn3BA_HBnrCXllB0h3h0,6361
38
38
  angr/analyses/class_identifier.py,sha256=lA_r-AUoP8nFCKMbyCuca-AfV7rOdj0g-XCFdbS5G0w,2969
39
39
  angr/analyses/code_tagging.py,sha256=_SnJd0FkE1ZXvv6uzxaoIACJANKCrGtK3nLWcuS7Lb0,3641
@@ -41,7 +41,7 @@ angr/analyses/complete_calling_conventions.py,sha256=uv6Wq0GXZsr4uLcgdiVWcL-0t4f
41
41
  angr/analyses/congruency_check.py,sha256=U3xBVim4pNSrnURqsFysipVIuGFWbqtxZ6nfRBfWaLY,16456
42
42
  angr/analyses/datagraph_meta.py,sha256=75AVKJ8LIL4Id0nlz3Gf6XlruqarYyBX1WylxRvcAeQ,3386
43
43
  angr/analyses/ddg.py,sha256=TNE3__wJHyr2zMFLCV-KM518BvTAXHS1RZclALrLePk,63426
44
- angr/analyses/disassembly.py,sha256=ikFtj5gVR0I_vCtnqHt_pIeCgN-HfwRFJ8FZsDW-Rgw,45696
44
+ angr/analyses/disassembly.py,sha256=HCxzf2w55h8dyheGTvqmmTkd7Al2EY9fsH0R0Wx-pk8,45780
45
45
  angr/analyses/disassembly_utils.py,sha256=4Np0PCPjr0h0jIVzUUG6KzrEKl9--IpTE3sgmmsmhcg,2989
46
46
  angr/analyses/dominance_frontier.py,sha256=XRfC_LUUetE8t1Cc9bwvWS9sl63Fx9sp8KFqN_Y9IDg,1245
47
47
  angr/analyses/find_objects_static.py,sha256=xryfgv3DZ_AppLwuIzLeRst6b4EvigQT1M5TgrbJyiY,9882
@@ -55,7 +55,7 @@ angr/analyses/soot_class_hierarchy.py,sha256=Cs_LRV1RLXH6sF_E49tJWg9Inxvv_o5mB-V
55
55
  angr/analyses/stack_pointer_tracker.py,sha256=H1xwKMDOY9NPae7debUAhT6kfHDwrINqfWuYmFWJE_A,27894
56
56
  angr/analyses/static_hooker.py,sha256=g57k_fwxgS4oTzslyCpOf4faG17E685a4-4SpEz8Ges,1711
57
57
  angr/analyses/veritesting.py,sha256=Mlx4EskA-bgNcj80U6rnkzoaGmX-Qwrg531CzsYKohs,25224
58
- angr/analyses/vfg.py,sha256=Wl5SYY8Em_HFcyidsgglTfBHHzIwG1pYbXdo5FV-ZFU,75252
58
+ angr/analyses/vfg.py,sha256=YANIgMJDZYURpedlPB_TefaxxYp8RIL3szLqb6XyGS8,75256
59
59
  angr/analyses/vsa_ddg.py,sha256=7c7sTwMqNsian9rVRijqsHQ2797XF5XsfbJ7AvtXwvI,16173
60
60
  angr/analyses/vtable.py,sha256=MzSFDAbGTNYH4-rtnrN1v2HSNR3nbVIWQi2Suim0Af4,3874
61
61
  angr/analyses/xrefs.py,sha256=uV7b96-TAx2SPjqbIVljGAd7jV1kuMhGPHF75gxVdPM,9714
@@ -86,7 +86,7 @@ angr/analyses/cfg_slice_to_sink/cfg_slice_to_sink.py,sha256=Vry1fKUF_DP-YaFxQwha
86
86
  angr/analyses/cfg_slice_to_sink/graph.py,sha256=-xHCkXBJtD74uYA27On59NZfBgPw-fXYGQtT6rfbB7Y,3560
87
87
  angr/analyses/cfg_slice_to_sink/transitions.py,sha256=QSrGmYOvc5NMiWs4XV78GUeru7d9Dqsq3MxtI5xPtmw,870
88
88
  angr/analyses/data_dep/__init__.py,sha256=0lw_UQtE5ukbWzpCiO8sFGEu4XxuPYqBB1nEjUwijsQ,180
89
- angr/analyses/data_dep/data_dependency_analysis.py,sha256=12WNVAdY196JZf37AfkdPD1fzvn5UvEZDxCVMmdccTc,25295
89
+ angr/analyses/data_dep/data_dependency_analysis.py,sha256=gM5d0rS9auFdvhCdGIG4MUU41kGSr20xrdsGry3c0u8,25296
90
90
  angr/analyses/data_dep/dep_nodes.py,sha256=BCpIPECRJhlX2sMO2LtaXxSD25-Edw2vXQOVcx5i55w,4650
91
91
  angr/analyses/data_dep/sim_act_location.py,sha256=4f8jp-ahitxoHCCOSSFGJ1olvNWuHyiE6iOLa5DA0k4,1527
92
92
  angr/analyses/decompiler/__init__.py,sha256=RkTvvTwAGpaLdGSTgXxVrKmGEDRxqLCNSB-b8fM6fBM,540
@@ -96,11 +96,11 @@ angr/analyses/decompiler/block_simplifier.py,sha256=X5kO97A1bEwSUfbwgj1cSO56qkhw
96
96
  angr/analyses/decompiler/call_counter.py,sha256=V3TIaSvLUy9vLEWErnvlCS--_ubGWQAeU0tqq6XYeOU,1205
97
97
  angr/analyses/decompiler/callsite_maker.py,sha256=B2lajS20_cTDWvUc-Py-2rP6UybNLd-qAjkuDJMIlX8,14938
98
98
  angr/analyses/decompiler/clinic.py,sha256=HHBsMgXR2Bm-_zcccSKYerflSOVHKrgnpjhjBT59vR8,80514
99
- angr/analyses/decompiler/condition_processor.py,sha256=odeqbtYOEAU--XzjJ07opziB8-VQnkLHb1eHQXY-6ss,48955
99
+ angr/analyses/decompiler/condition_processor.py,sha256=e1WlxSr8FbtXi9qLHfvfBgUU-GKkoDSYUgMojHP9lBQ,49091
100
100
  angr/analyses/decompiler/decompilation_cache.py,sha256=NveTVs6IY3TTdgsLvTb3ktftM4n0NrAJIkqjXqQ3550,1119
101
101
  angr/analyses/decompiler/decompilation_options.py,sha256=vbuLF0Oze2ldFNpv2jWFnGG4sJPey527KAAbj9TRvAI,8240
102
102
  angr/analyses/decompiler/decompiler.py,sha256=YIsOoeELNvC88r3_kPGOv0Hvz82ZYNsPRd8PLWg6z6g,20197
103
- angr/analyses/decompiler/empty_node_remover.py,sha256=O1IcaEFd5oH04nxfvIuh-e2Zbnctw7lSSHrae4NRMSM,7320
103
+ angr/analyses/decompiler/empty_node_remover.py,sha256=KhH88_x3A1nR22H3wrdp1gznLuFH12IBLaay4Xa3Law,7368
104
104
  angr/analyses/decompiler/expression_counters.py,sha256=P4RbtnyEy2lJnNUw_G702W-AIGaL4MszZ5fdrritwwg,2867
105
105
  angr/analyses/decompiler/expression_narrower.py,sha256=64VR1xdPVVoCLHOYRPacV9ecQb33rP7nC1l8rpFxTkg,3545
106
106
  angr/analyses/decompiler/goto_manager.py,sha256=UD42GvAN7--8GPZuT3blkyEhhpw-HExRfzov79j-3w4,2485
@@ -127,7 +127,7 @@ angr/analyses/decompiler/optimization_passes/ite_region_converter.py,sha256=l571
127
127
  angr/analyses/decompiler/optimization_passes/lowered_switch_simplifier.py,sha256=9hhCcvE15MCM6KoJU1ba11hFiN6MXxYAb9FbntzYJbg,34328
128
128
  angr/analyses/decompiler/optimization_passes/mod_simplifier.py,sha256=o2AZIpj4NpOAaWOGbudDUfGJJAD2exu-HvNbwph3mi8,3124
129
129
  angr/analyses/decompiler/optimization_passes/multi_simplifier.py,sha256=_63Y2vMNLSXYM6_Grfs89Nu63i5YLxTPmxTR_Z6fwLY,10420
130
- angr/analyses/decompiler/optimization_passes/optimization_pass.py,sha256=r01n7uRHjg5C7eumONghcjzirDaLwjYKgTJ-dQTXg0A,13042
130
+ angr/analyses/decompiler/optimization_passes/optimization_pass.py,sha256=U2boYOhhNuIYg6NNUJQJIJhWQCzdivPtNY6G1lt6PYQ,13044
131
131
  angr/analyses/decompiler/optimization_passes/register_save_area_simplifier.py,sha256=2_-nVKkvClCDykVDd29CRIT1ZCPdYBlSi96h9yrSOw4,7398
132
132
  angr/analyses/decompiler/optimization_passes/ret_addr_save_simplifier.py,sha256=_sTaGMQMFa5ATQIvNyL05UK8gCi_SaOckrZKyHZ2vfs,6470
133
133
  angr/analyses/decompiler/optimization_passes/ret_deduplicator.py,sha256=BwD92mD25Qx3nYqG-XTTgorL1hl_JqZ9YRM5xuGHJac,7828
@@ -193,12 +193,12 @@ angr/analyses/decompiler/region_simplifiers/switch_cluster_simplifier.py,sha256=
193
193
  angr/analyses/decompiler/region_simplifiers/switch_expr_simplifier.py,sha256=HGIiC6c3C91VfcqxUHe9aTsRohwmMXOHZH_G_dbwwx4,3327
194
194
  angr/analyses/decompiler/structured_codegen/__init__.py,sha256=Glc4jBCr7lZckltN9XZdSvMrGHf0swXFyKTr_QQKdWE,290
195
195
  angr/analyses/decompiler/structured_codegen/base.py,sha256=nJPOoeJCbewchYdXjSE4S2b1-WN6pT3TxmCQMDO0azw,3845
196
- angr/analyses/decompiler/structured_codegen/c.py,sha256=XAU0b828HiUwrE4Y_Z_k3Or0DvKBYB1iJy-BEHctPaU,130915
196
+ angr/analyses/decompiler/structured_codegen/c.py,sha256=3NzZAIHr-A1P1_24gWN9Bd8IwnF-TLt0DxV0luNuElM,131143
197
197
  angr/analyses/decompiler/structured_codegen/dummy.py,sha256=IVfmtcWpTgNCRVsuW3GdQgDnuPmvodX85V0bBYtF_BI,535
198
198
  angr/analyses/decompiler/structured_codegen/dwarf_import.py,sha256=TMz65TkF_ID_Ipocj0aFDb84H6slolN90wq0tzhY2Rk,6773
199
199
  angr/analyses/decompiler/structuring/__init__.py,sha256=eSiT6xUpv9K5-enK3OZj2lNzxwowS9_5OTrjHiPgfFs,371
200
200
  angr/analyses/decompiler/structuring/dream.py,sha256=xsFPPl0L7nu8ejugCm8FbJUCgYcnCMUCAJQTzNQDLIo,48400
201
- angr/analyses/decompiler/structuring/phoenix.py,sha256=Xru4nnJEgvAJxQ8QrtHUSlFHl-_BE161VFtbPxAbqJE,116680
201
+ angr/analyses/decompiler/structuring/phoenix.py,sha256=TFdj0hiBjYI2yyXPXmb6B9JLg1QRUzkmZSCE7CGe4rs,116840
202
202
  angr/analyses/decompiler/structuring/recursive_structurer.py,sha256=5DFQTjM6F80YY5W8B2CjemSxubWW2xW5f8vXSbNA2iw,5829
203
203
  angr/analyses/decompiler/structuring/structurer_base.py,sha256=zn_nosvSNEjOAypEsz72LU5rMBahOJGquz6BqJiuqvo,41101
204
204
  angr/analyses/decompiler/structuring/structurer_nodes.py,sha256=PE_byL1mxj811MMM-qQWzSaITtcu5Xn0ZKz0yobnK-k,11964
@@ -253,14 +253,14 @@ angr/analyses/propagator/values.py,sha256=b8zg2VIPJoZj4qtF3_XRfoxA7LjXxO9OIkqZ3y
253
253
  angr/analyses/propagator/vex_vars.py,sha256=O0W7GekEZIVwiNiOdyu-BuxCZmHFZPh_ho7jmbnYAwk,1433
254
254
  angr/analyses/reaching_definitions/__init__.py,sha256=3itfNz4b0XcTDJJbU10gZfSuqUAx0s8poicXhXZUpys,1989
255
255
  angr/analyses/reaching_definitions/call_trace.py,sha256=5y8VtU-5-2ISamCkok6zoMahWASO2TBQYl5Q0pgeLGw,2217
256
- angr/analyses/reaching_definitions/dep_graph.py,sha256=iwhYTySlIPkXOuYvEZzUme947Veq2ogrtD6_1ODqzVQ,14966
256
+ angr/analyses/reaching_definitions/dep_graph.py,sha256=M4P5jyA7nVrWk9oEOB5EQUtGIf-eKCevwhH3uj-O7rQ,14886
257
257
  angr/analyses/reaching_definitions/engine_ail.py,sha256=QW-F0zHjGPLvfk0X_tHiHy3fvPUsLRMks-vhsRqXCJ0,46041
258
258
  angr/analyses/reaching_definitions/engine_vex.py,sha256=CvxXI4pVX7K_IhbWMGL-cNcfS2qEaAF-s4LGopb_yHs,42097
259
259
  angr/analyses/reaching_definitions/external_codeloc.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
260
260
  angr/analyses/reaching_definitions/function_handler.py,sha256=TB6yW0TBQnTdAv3SOBcui6dSCBMoviivKx0v8COY12w,26839
261
261
  angr/analyses/reaching_definitions/heap_allocator.py,sha256=L7LCcE-QvLd_vuc0slWmQ6X73wkYNMkUEDy1cJAV818,2634
262
262
  angr/analyses/reaching_definitions/rd_initializer.py,sha256=dZxm8H37NPJdugHS_0R2ylujjWcvUj_nBaMf1z6bjbA,11224
263
- angr/analyses/reaching_definitions/rd_state.py,sha256=vcDnKN2iUf9kLU7A7HppECOk1DNvqB03OdX2MqTrZIs,23569
263
+ angr/analyses/reaching_definitions/rd_state.py,sha256=iruxr8VqKN47UgH3AL3JrB1r7vAY72dz-0iFETz-0do,23537
264
264
  angr/analyses/reaching_definitions/reaching_definitions.py,sha256=CjW3Q7rj_fX-LQ09eACCPohXX44FT13ewWpvJQk-vr4,23163
265
265
  angr/analyses/reaching_definitions/subject.py,sha256=GVaI1jM-Nv2MWaCjJ-Q_54nSS3hvAaZthz14AJJNq-A,1995
266
266
  angr/analyses/typehoon/__init__.py,sha256=kCQMAuvsUKAdYFiOstBzMBCqpquJKJCQSe0CGAr2Rng,31
@@ -339,7 +339,7 @@ angr/engines/soot/expressions/arrayref.py,sha256=5Xy7XGy7BXiAAaSbK4ROx30OiFasiCn
339
339
  angr/engines/soot/expressions/base.py,sha256=2UMjFnKI6akkHlW6PT5kYvvEy8PVpgxVTudoaC_4rRs,507
340
340
  angr/engines/soot/expressions/binop.py,sha256=l0q78_kUPDyOqVV43g25WzYnz18QyUPvuUZ-19j1VnM,781
341
341
  angr/engines/soot/expressions/cast.py,sha256=gjlV_2vsq7lL7gouefu0oLmxoMWmvBq6DKNxvTwSFLw,753
342
- angr/engines/soot/expressions/condition.py,sha256=4kkZtMuqHhozj1qsN2wveVcz1HyenKaU0g9WOaU8lNM,1259
342
+ angr/engines/soot/expressions/condition.py,sha256=wrtt7xNbazvI17_jkee-5GWjbnoXEc2JRAQHYmY07B4,1260
343
343
  angr/engines/soot/expressions/constants.py,sha256=u8TpIdAd-vbvLyiBJUsmrihToN4DnyMzin4e6mpFik8,1387
344
344
  angr/engines/soot/expressions/instanceOf.py,sha256=ENr1ezBpKiZ_jkB9M6l3PfsWLYMbLhvHHWtyUNI5k4A,313
345
345
  angr/engines/soot/expressions/instancefieldref.py,sha256=N4yI8dURLxD7NZImOs4ypVrBzdajuc_80me-6Xjiud0,234
@@ -379,12 +379,12 @@ angr/engines/vex/lifter.py,sha256=Nq3dE76uEaR3FfGbznvJduQpI_wY9A-9qUjC5WRcNBY,17
379
379
  angr/engines/vex/claripy/__init__.py,sha256=HhzP6K1QqXD7T4D9VgZgAS9s_FrGi8ENB_I7r7Bz7Y4,40
380
380
  angr/engines/vex/claripy/ccall.py,sha256=NvXJv_yHV_hiS35qPbwqBrl7M8BfNe9gd5myjlTRf7M,82570
381
381
  angr/engines/vex/claripy/datalayer.py,sha256=Ilr-fFubNvew0N_Z4XfHtnROqvIGz6UBan9IWXVk4Go,5123
382
- angr/engines/vex/claripy/irop.py,sha256=KAgfl0r8P7iN5aTIsKrSaDG3rXIftlbY4vnoGudx-9o,46170
382
+ angr/engines/vex/claripy/irop.py,sha256=Vmd9PvIp8tDuvZXcVhVQSb7J1VChlalULW5StaD3Pxw,46171
383
383
  angr/engines/vex/heavy/__init__.py,sha256=VapnI5PnxNnZyqtmQpJNrRs9Yh01-gpfR1LjaGc_ofw,201
384
384
  angr/engines/vex/heavy/actions.py,sha256=f8CbzwIOSgksmiY5nwDlgAomOI88wa5S_4vk5RE5718,8871
385
385
  angr/engines/vex/heavy/concretizers.py,sha256=bwv8VIqwS2DGP3qf_EI4Kb97_Ma8wygbnn-0HWsTfo0,14702
386
386
  angr/engines/vex/heavy/dirty.py,sha256=a4rWD03dA9m7HoLM8-TBMxFptkyRNVPWg8OOAiar-Cg,18699
387
- angr/engines/vex/heavy/heavy.py,sha256=9edm1sHMdN3huCQKQlzTpfQVL3yEtArlafHFkn0stRQ,15644
387
+ angr/engines/vex/heavy/heavy.py,sha256=ZDRxpH1V3396MuyofLFbyy_cgAoljkWXEBR5Mr_nYRE,15822
388
388
  angr/engines/vex/heavy/inspect.py,sha256=NNQpo4E267W8Z0RDQee9gGH9KDx0mydwjVo02yogT6o,2317
389
389
  angr/engines/vex/heavy/resilience.py,sha256=4TYoIFjIygSwRsu4229CsbRNOtlP-QQuligWZRKlEjQ,3737
390
390
  angr/engines/vex/heavy/super_fastpath.py,sha256=2E1Tdai9Xf7g-wf5AD3FrLN67pVusnQtF1aPRLLNxEg,1180
@@ -450,9 +450,9 @@ angr/knowledge_plugins/key_definitions/definition.py,sha256=Mwn2R5AAAi85L2y61Ext
450
450
  angr/knowledge_plugins/key_definitions/environment.py,sha256=cbNst29pGtv13Z6jlvdBIajYkE3X9MnAV5ixRTHkHzQ,3461
451
451
  angr/knowledge_plugins/key_definitions/heap_address.py,sha256=62vX5xkT91qO-6IKtGtGNUqgkfFUU1_Al6B9vU-SA7E,922
452
452
  angr/knowledge_plugins/key_definitions/key_definition_manager.py,sha256=PETOIDYYj7VPp2rtIO5XhXnvi3lgDr9qXa4pZrwbCho,3235
453
- angr/knowledge_plugins/key_definitions/live_definitions.py,sha256=0LCBNANhliZ5fwA2z--cmTaEoUb6lrSlrPscJu_rcW0,39472
453
+ angr/knowledge_plugins/key_definitions/live_definitions.py,sha256=mHtSHR1psuOq8c-dCeFlXmO0aGR0E-3fEFbBf7L9NE4,39440
454
454
  angr/knowledge_plugins/key_definitions/liveness.py,sha256=6LrvBdxkF-HB93PeEyLfILUuay1YlG6ss7U69OyNf7I,7140
455
- angr/knowledge_plugins/key_definitions/rd_model.py,sha256=qx3myk20WmSthpYvcwUbLTAaADNk7-12vfrnDKr_peg,7314
455
+ angr/knowledge_plugins/key_definitions/rd_model.py,sha256=-oYsPYibsx-K9mL_plMDH3iTnAJ9uoQxScvjYcUzzWw,7312
456
456
  angr/knowledge_plugins/key_definitions/tag.py,sha256=uBHlS71E3Ok_6V3K8NkMblctCrnAHmPYikaFTA02PyA,1682
457
457
  angr/knowledge_plugins/key_definitions/undefined.py,sha256=dv1fo4jR48tuslsbPZ40YZhqePfVxBohH9LtFKP8qhk,1236
458
458
  angr/knowledge_plugins/key_definitions/unknown_size.py,sha256=YwA1DWBE9796BTU8KdY6xIR88IXc2KDUAZuxHEqO710,1510
@@ -468,12 +468,12 @@ angr/knowledge_plugins/sync/__init__.py,sha256=RN3y0UhYax-GdPyAhondMXEBuWIu-enHj
468
468
  angr/knowledge_plugins/sync/sync_controller.py,sha256=TipNeYSek6VZCU87SDgBDBTZUBI9iAebGpYE1lJ9YTg,9315
469
469
  angr/knowledge_plugins/variables/__init__.py,sha256=tmh_2i0X6Y41TkEgxHRQ4y-kVEGZnlDIpJZ_wUkCISI,60
470
470
  angr/knowledge_plugins/variables/variable_access.py,sha256=CtstTsBph7RCGoWTFsiaPLDMuXjKQAoQ8lgwVMESisA,3751
471
- angr/knowledge_plugins/variables/variable_manager.py,sha256=7yUHE-kRDBFleniP6JIB87bHZQ0syKjvse_qxCRgUig,43560
471
+ angr/knowledge_plugins/variables/variable_manager.py,sha256=s13P3O3Q7lh2iaSx-U-WUlayt-CZ-eIyUQFEZPPeW3I,43562
472
472
  angr/knowledge_plugins/xrefs/__init__.py,sha256=-5A2h048WTRu6Et7q7bqlc-AyBXNuJ9AF9nE9zc3M4I,94
473
473
  angr/knowledge_plugins/xrefs/xref.py,sha256=w4wjDFl4xtJYOtJplp9s1AIX3wI1RE71po3ufh1M4aY,4963
474
474
  angr/knowledge_plugins/xrefs/xref_manager.py,sha256=GYF9N1t4JxkDNGAwrVLo4_NF51P4gqiuQ21F0IbloF0,4026
475
475
  angr/knowledge_plugins/xrefs/xref_types.py,sha256=VR3xLQQ-gUg25oX0OL3BJHyQRlZh2A8syBac9ZMS9n4,271
476
- angr/lib/angr_native.dll,sha256=tEJP1Qv9VlLRKW7FBqzp1WrLLF3sW0F2zBBAGRxNrcM,19209728
476
+ angr/lib/angr_native.dll,sha256=wqgkj_zL__crE1RodyGmqqPTZGq_m0H4rmSWOTo6yp4,19209728
477
477
  angr/misc/__init__.py,sha256=Ct-Q6-c-Frdz5Ihkqmou3j_1jyJi8WJXlQxs-gPQg0Y,237
478
478
  angr/misc/ansi.py,sha256=TKrx7d_MViChHh5RBR2VLufNrujTUioJWsZS5ugk8k4,807
479
479
  angr/misc/autoimport.py,sha256=6WT-Z6wf5NiacQhKZmR4d2bPOvNrokA7Wg0g2MUXSuw,2371
@@ -1120,11 +1120,11 @@ angr/state_plugins/scratch.py,sha256=7j-J4xq8A9Axh6fJzQoUpLpobtIe0va7eeX-glGfYk0
1120
1120
  angr/state_plugins/sim_action.py,sha256=IDPLtcqN04APpStuVYarv00LF2u6JVFfdxEBEw_v_a0,9763
1121
1121
  angr/state_plugins/sim_action_object.py,sha256=4_f7ry76pG4XBnF7O48_7krt_ibG4DZkIMrjmmk_MGg,4268
1122
1122
  angr/state_plugins/sim_event.py,sha256=pRQtMet5g--GmH97BMrS3bDErgUOWAOocjPLGNzmelU,2061
1123
- angr/state_plugins/solver.py,sha256=X92N3PKDMtvHKBKGp8lH_jl_b5XTuV0XSHRdiJGdqmk,45509
1123
+ angr/state_plugins/solver.py,sha256=YyOdCGhSW0aoZkaWQc8_cIyPjTXMCmEfsoiFDLAAGb0,45221
1124
1124
  angr/state_plugins/symbolizer.py,sha256=3UAfStON-0GuuHhkD4JD6Y5WveqEfTD3JLK3uj0R-co,11039
1125
1125
  angr/state_plugins/trace_additions.py,sha256=LRcgdGKY2QtzOwsVa-FYLGRFcl0ISOnq-WzCMayiM-8,30091
1126
1126
  angr/state_plugins/uc_manager.py,sha256=9yEE10rrGXTVncLzVOpgvSAGA2RdzApUu_fq_lUksDs,2643
1127
- angr/state_plugins/unicorn_engine.py,sha256=mILnbmz9LlVQUY1Buvv7Gj3HMu672atsl2i-aMc2vPQ,78093
1127
+ angr/state_plugins/unicorn_engine.py,sha256=till_XsE5yEL9BbdVnxi0PK_kJ6sAF0oYwh1d0zC138,78095
1128
1128
  angr/state_plugins/view.py,sha256=4gUiyQM2IPZ2rn91yNKN9CQp662XzdigSeGdVQ5lOFM,12361
1129
1129
  angr/state_plugins/heap/__init__.py,sha256=uyxW6BfOmiuhbIYIjXMDQW8AxfN9scC2bwRdsSAiajk,136
1130
1130
  angr/state_plugins/heap/heap_base.py,sha256=qtonZCTiGSh30UbPZ92ILXRVmO3pV4NZyDPN0DB8QvI,6229
@@ -1134,7 +1134,7 @@ angr/state_plugins/heap/heap_libc.py,sha256=1mLu83BfdyJDjalAnm2klIb3bs7BV6bl_gPU
1134
1134
  angr/state_plugins/heap/heap_ptmalloc.py,sha256=G5R4CQ9iG3luayWiROfBGOLb5jO_mxMfXY2zUPL3DJE,28967
1135
1135
  angr/state_plugins/heap/utils.py,sha256=Peru_TgVCGRQEORQJVwJfQB1Wleglk_Hdp7aOHQa6no,793
1136
1136
  angr/storage/__init__.py,sha256=X3JnQg95SqAqahP1x10Kk5E0OXxyNlV2Xk3NKyXzykA,182
1137
- angr/storage/file.py,sha256=S55K2p9s1IHtmbpR5iUF3V5HorSgBiiHWnFdtSmjZfU,48219
1137
+ angr/storage/file.py,sha256=Wl-6-N0cWndwgOB03vpUW0BS37SNbGzJcYx4ffUZs8g,48379
1138
1138
  angr/storage/memory_object.py,sha256=U0T-XB7CxUqISODY6o2WONjiThHyzFKBjZ8D0pWLPj4,5663
1139
1139
  angr/storage/pcap.py,sha256=8n30ui0KO7qx_RgmGFL_cBYMF5AlQ5LzVFeCh9ODU6c,1940
1140
1140
  angr/storage/memory_mixins/__init__.py,sha256=1kLsmopg8ZyCMP3OJSXOX50sbLpvlQ4HUZjDzhrCfQc,11892
@@ -1171,11 +1171,11 @@ angr/storage/memory_mixins/paged_memory/paged_memory_multivalue_mixin.py,sha256=
1171
1171
  angr/storage/memory_mixins/paged_memory/privileged_mixin.py,sha256=Ls_QhPLKudESInlAhUR1GVeacJNTciz9E2DX-LatAZ4,1541
1172
1172
  angr/storage/memory_mixins/paged_memory/stack_allocation_mixin.py,sha256=Fg_KtS7GiI6TLfBKoRAOiz4z-M9ZkcvT9UwCkAp9-rY,3283
1173
1173
  angr/storage/memory_mixins/paged_memory/pages/__init__.py,sha256=rwGAcESljLORCDteXXJ0cJCFkaqymoxm8kziKLB3DFw,1469
1174
- angr/storage/memory_mixins/paged_memory/pages/cooperation.py,sha256=pz7HEzWkNetiE56F6PnHpo6j06C4ArD-T7bUucN03uQ,12656
1174
+ angr/storage/memory_mixins/paged_memory/pages/cooperation.py,sha256=wAFitUWddf8-iCuueqg-GW0aqhv7UgnwWekLI7hX3eo,12776
1175
1175
  angr/storage/memory_mixins/paged_memory/pages/history_tracking_mixin.py,sha256=Az7lg1gXapWxj8tIx0Sz9x2nJfm71oBy5Rm87CUh9mM,2727
1176
1176
  angr/storage/memory_mixins/paged_memory/pages/ispo_mixin.py,sha256=mHt5nQYXkXifwGT0_UGvKirECEC2v7jNNtf_6oY57uI,2050
1177
1177
  angr/storage/memory_mixins/paged_memory/pages/list_page.py,sha256=ey-c8PLa_iH5gyz6VRcxtK1I9w8JbIrvkFO1Hj9V8L8,14108
1178
- angr/storage/memory_mixins/paged_memory/pages/multi_values.py,sha256=r9vweVUesydBOMtqEJmsN6UF0EfecnOTW4Riax52Ljg,11398
1178
+ angr/storage/memory_mixins/paged_memory/pages/multi_values.py,sha256=Qhgy3Ie76Hektg_u35Hyt8VfCGV_HS2F5D1nkhYlmCQ,11302
1179
1179
  angr/storage/memory_mixins/paged_memory/pages/mv_list_page.py,sha256=YM29YEUXitJRU1aVV63PPOGV-oiLRrJO7N6rFcPvXOc,15981
1180
1180
  angr/storage/memory_mixins/paged_memory/pages/permissions_mixin.py,sha256=Ek2YSmFOGUScFXPx8hqroNkl3gK1aqKCMv_X3_pImLs,830
1181
1181
  angr/storage/memory_mixins/paged_memory/pages/refcount_mixin.py,sha256=oES5tahTy4SgyDi2h5oRRC0PC4JHNcIvdAC4INKkeJw,1701
@@ -1187,7 +1187,7 @@ angr/storage/memory_mixins/regioned_memory/region_category_mixin.py,sha256=M5k0Z
1187
1187
  angr/storage/memory_mixins/regioned_memory/region_data.py,sha256=lhXZOQztoXWq3D5swqbGmiOtuPIpExGVspY7RMuIbfg,9196
1188
1188
  angr/storage/memory_mixins/regioned_memory/region_meta_mixin.py,sha256=7jVxGkDBfRJySt6TUsk30ytH5xRIwarVFOeIHaJUFxA,4355
1189
1189
  angr/storage/memory_mixins/regioned_memory/regioned_address_concretization_mixin.py,sha256=ij_UIHzi01tkeUiIHS_0FaPwKSC62CLgi2Ip4jo3iiw,4891
1190
- angr/storage/memory_mixins/regioned_memory/regioned_memory_mixin.py,sha256=2AG9eS4Xwx3N8dX0XC5GiwEIRcKLIgvAHFfG7l-9biM,18606
1190
+ angr/storage/memory_mixins/regioned_memory/regioned_memory_mixin.py,sha256=i7oyYQxgUHCdcMov1XONharUQtLK0NBNkOXysuGH5vg,18638
1191
1191
  angr/storage/memory_mixins/regioned_memory/static_find_mixin.py,sha256=I8O2DFCCALahx7wnAtxziZ3mEASRZHaY1OhnN0KMblk,2240
1192
1192
  angr/utils/__init__.py,sha256=XjOtDNWPHZZjayRA6OxLra78wBtR-pY_A8EC3nqCGkE,980
1193
1193
  angr/utils/algo.py,sha256=WZrCP3a1RnbBpDw6BQQNWjng1EghMmBRlDyU83tMLuM,995
@@ -1198,7 +1198,7 @@ angr/utils/enums_conv.py,sha256=YdnZzvuVc_BW1EuC4OtEo7LqB35XkPrXICyWox8Posg,2091
1198
1198
  angr/utils/env.py,sha256=wWlmjLp7CtafKItn7xq2RW3UzGGgxw58Wc8fSm3EZJQ,363
1199
1199
  angr/utils/formatting.py,sha256=QOw75CLSrttGTn2aYQzBFIBhZj40J9ESQZxJOz0BexA,4217
1200
1200
  angr/utils/funcid.py,sha256=PCOvMfRrt70Es1cMlVqKFVCmHfELXQHvX08Uqabn7Nk,5006
1201
- angr/utils/graph.py,sha256=ZiN3i0iKoY9Gcc2a3_NS3_oDEN8zJQBY_P32uJC7gLg,27812
1201
+ angr/utils/graph.py,sha256=HjUzom1Mfu2j6aVU7j3UHvSPju_0UPwClMBNu85qlqU,27838
1202
1202
  angr/utils/lazy_import.py,sha256=VgN0-cMsr6XdGIq56Js1X8YecfPdW9Z4NrB3d2jD-5Y,308
1203
1203
  angr/utils/library.py,sha256=MYbY6rvC2Fi1ofbBHynh6-cdmaDETxj8hBz1gxKvsQQ,7178
1204
1204
  angr/utils/loader.py,sha256=QdkatPiyRfz5KdfCzRI1Xp3TJL_Pa75wY0dsILgMbwk,1944
@@ -1417,9 +1417,11 @@ tests/storage/test_multivalues.py,sha256=x82duiIMsU9nE-6vhm-eEsofshKfbVy5d9CNgdC
1417
1417
  tests/storage/test_permissions.py,sha256=-Gsd1CUO7xZv7NTieiuikm33xfl33MyzIkembL3CuIw,883
1418
1418
  tests/storage/test_ptmalloc.py,sha256=WwORhRoN0SYC8R9aJ_RITbVKlB6JQnLyINTWbT4PidU,10592
1419
1419
  tests/storage/test_relro_perm.py,sha256=gqNbkYfAYr0wM-oSijS3HYi0-cbtplMDCSWQqRCqEb4,1406
1420
- angr-9.2.86.dist-info/LICENSE,sha256=cgL_ho5B1NH8UxwtBuqThRWdjear8b7hktycaS1sz6g,1327
1421
- angr-9.2.86.dist-info/METADATA,sha256=zPJuf7ahQ6UMgz-A1woen-3u3cZQzc-u_O439wi5G3Y,4890
1422
- angr-9.2.86.dist-info/WHEEL,sha256=6iYPr8vTHsyDK75jr9X0V3I9wPSVmtwr_8fdATBciGk,98
1423
- angr-9.2.86.dist-info/entry_points.txt,sha256=Vjh1C8PMyr5dZFMnik5WkEP01Uwr2T73I3a6N32sgQU,44
1424
- angr-9.2.86.dist-info/top_level.txt,sha256=EGgw8HjaUI9JWd6w70Tzkn1AcyKTMJTVJ9OpWyaOewk,11
1425
- angr-9.2.86.dist-info/RECORD,,
1420
+ tests/utils/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
1421
+ tests/utils/test_graph.py,sha256=6mMOM0rIIKkkvBlk-PCyfWbtmnR_2KjfsD-pJNHdx5A,1136
1422
+ angr-9.2.87.dist-info/LICENSE,sha256=cgL_ho5B1NH8UxwtBuqThRWdjear8b7hktycaS1sz6g,1327
1423
+ angr-9.2.87.dist-info/METADATA,sha256=9Xdye5VtAw22TZV_eNrhiRJtry7zv0F7kZ67BJvvA7c,4890
1424
+ angr-9.2.87.dist-info/WHEEL,sha256=6iYPr8vTHsyDK75jr9X0V3I9wPSVmtwr_8fdATBciGk,98
1425
+ angr-9.2.87.dist-info/entry_points.txt,sha256=Vjh1C8PMyr5dZFMnik5WkEP01Uwr2T73I3a6N32sgQU,44
1426
+ angr-9.2.87.dist-info/top_level.txt,sha256=EGgw8HjaUI9JWd6w70Tzkn1AcyKTMJTVJ9OpWyaOewk,11
1427
+ angr-9.2.87.dist-info/RECORD,,
File without changes
@@ -0,0 +1,41 @@
1
+ #!/usr/bin/env python3
2
+ # pylint: disable=missing-class-docstring,disable=no-self-use
3
+ import unittest
4
+ import networkx as nx
5
+ from angr.utils.graph import Dominators, TemporaryNode
6
+
7
+
8
+ class TestGraph(unittest.TestCase):
9
+ def test_dominators(self):
10
+ G = nx.DiGraph()
11
+ G.add_edge("1", "2")
12
+ G.add_edge("1", "3")
13
+ G.add_edge("2", "5")
14
+ G.add_edge("2", "7")
15
+ G.add_edge("3", "4")
16
+ G.add_edge("4", "5")
17
+ G.add_edge("4", "6")
18
+ G.add_edge("4", "7")
19
+ G.add_edge("5", "8")
20
+ G.add_edge("7", "8")
21
+ G.add_edge("8", "6")
22
+ d = Dominators(G, "1")
23
+ start_node = TemporaryNode("start_node")
24
+ end_node = TemporaryNode("end_node")
25
+ idom_succ = {
26
+ start_node: {"1": {}},
27
+ "1": {"2": {}, "3": {}, "5": {}, "6": {}, "7": {}, "8": {}},
28
+ "2": {},
29
+ "3": {"4": {}},
30
+ "4": {},
31
+ "5": {},
32
+ "6": {end_node: {}},
33
+ "7": {},
34
+ "8": {},
35
+ end_node: {},
36
+ }
37
+ assert d.dom.succ == idom_succ
38
+
39
+
40
+ if __name__ == "__main__":
41
+ unittest.main()
File without changes
File without changes