Description

To fix:

• src/angr/tests/analyses/cfg/test_cfgfast.py::TestCfgfast::test_busybox - AssertionError: CFG edge <CFGNode 0x449acc[8]>-<CFGNode putenv [0]> is not found. (Filed TestCfgfast::test_busybox - AssertionError: CFG edge - is not found #5798)
  • MipsElfFastResolver doesn't handle Ijk_Boring. Also called with incorrect t9 context because we haven't begun a new function at time of resolve, due to fallthrough from previous block after call to non-returning function.
• src/angr/tests/analyses/cfg/test_jumptables.py::TestJumpTableResolver::test_vtable_amd64_libc_ubuntu_2004 (Fixed by JumpTableResolver: For diamond vtable check, check local graph #5793)
• src/angr/tests/analyses/decompiler/test_decompiler.py::TestDecompiler::test_decompiling_true_a_x86_64_0 (Filed TestDecompiler::test_decompiling_true_a_x86_64_0: AssertionError #5800)
• src/angr/tests/analyses/test_flirt.py::TestFlirt::test_amd64_elf_static_libc_ubuntu_2004 (Fixed by FlirtAnalysis: Fix function lookup #5776)
• src/angr/tests/analyses/test_flirt.py::TestFlirt::test_armhf_elf_static_using_armel_libc (Fixed by FlirtMatcher: Tail bytes follow CRC region #5785)
• src/angr/tests/analyses/test_string_obf_finder.py::TestStringObfFinder::test_find_obfuscated_strings_28ce9d (may be fixed)
• src/angr/tests/analyses/test_string_obf_finder.py::TestStringObfFinder::test_find_obfuscated_strings_dd5640 (may be fixed)
• src/angr/tests/regression/test_regression_memcmp_definite_size.py::TestMemcmpDefiniteSize::test_memcmp_strlen_simprocedure_interaction
  • Fails with assertion at

    angr/native/unicornlib/sim_unicorn.cpp

    Line 2035 in 5d2221d

    assert(false && "Unable to identify instruction for current memory read. This should not happen!");

    (Filed TestMemcmpDefiniteSize::test_memcmp_strlen_simprocedure_interaction assert in sim_unicorn #5801)

Steps to reproduce the bug

No response

Environment

angr @ 92972d7

Additional context

No response