tests/gui/test_decompilation_workflows.py::TestDecompilationWorkflows::test_decompiling_a_function_multiple_times

Stack Traces | 1.44s run time

self = <test_decompilation_workflows.TestDecompilationWorkflows testMethod=test_decompiling_a_function_multiple_times>

    def test_decompiling_a_function_multiple_times(self):
        bin_path = os.path.join(test_location, "x86_64", "decompiler", "struct_access")
        proj = angr.Project(bin_path, auto_load_libs=False)
    
        proj.analyses.CFGFast(normalize=True)
        func = proj.kb.functions["main"]
        dec = proj.analyses.Decompiler(func, cfg=proj.kb.cfgs["CFGFast"])
        assert dec.codegen is not None and dec.codegen.text is not None
        print_decompilation_result(dec)
    
        # decompile again, using decompilation cache
        dec_2 = proj.analyses.Decompiler(func, cfg=proj.kb.cfgs["CFGFast"])
        assert dec_2.codegen is not None and dec_2.codegen.text is not None
        print_decompilation_result(dec_2)
    
>       assert dec.codegen.text == dec_2.codegen.text, "Decompilation results should be identical on multiple runs."
E       AssertionError: Decompilation results should be identical on multiple runs.
E       assert 'typedef struct struct_0 {\n    char padding_0[288];\n    struct struct_1 *field_120;\n} struct_0;\n\ntypedef struct struct_1 {\n    char field_0;\n} struct_1;\n\nint main(unsigned int a0, unsigned long long a1)\n{\n    unsigned long long v0;  // [bp-0x158]\n    struct_0 *v1;  // [bp-0x148]\n    unsigned long v2;  // [bp-0x140]\n    char v3;  // [bp-0x138]\n    char v4;  // [bp-0x134]\n    char v5;  // [bp-0x124]\n\n    v0 = a1;\n    v1 = malloc(296);\n    v1->field_120 = &v3;\n    v2 = &v1->padding_0[24 * a0 + 4];\n    *((unsigned int *)&(&v4)[240 + 4 * a0]) = a0;\n    *((unsigned int *)&v1->padding_0[244 + 4 * a0]) = a0;\n    *((unsigned int *)&(&v5)[24 * a0]) = a0;\n    *((unsigned int *)&v1->padding_0[20 + 24 * a0]) = a0;\n    v2 += 24;\n    return *((int *)&v1->field_120[20 + 24 * a0]);\n}\n' == 'typedef struct struct_0 {\n    char padding_0[288];\n    struct struct_1 *field_120;\n} struct_0;\n\ntypedef struct struct_1 {\n    char field_0;\n} struct_1;\n\nint main(unsigned int a0, unsigned long long a1)\n{\n    unsigned int s_14c;  // [bp-0x14c]\n    unsigned long long s_158;  // [bp-0x158]\n    struct_0 *v1;  // [bp-0x148]\n    unsigned long v2;  // [bp-0x140]\n    char v3;  // [bp-0x138]\n    char v4;  // [bp-0x134]\n    char v5;  // [bp-0x124]\n\n    s_14c = a0;\n    s_158 = a1;\n    v1 = malloc(296);\n    v1->field_120 = &v3;\n    v2 = &v1->padding_0[24 * a0 + 4];\n    *((unsigned int *)&(&v4)[240 + 4 * a0]) = a0;\n    *((unsigned int *)&v1->padding_0[244 + 4 * a0]) = a0;\n    *((unsigned int *)&(&v5)[24 * a0]) = a0;\n    *((unsigned int *)&v1->padding_0[20 + 24 * a0]) = a0;\n    v2 += 24;\n    return *((int *)&v1->field_120[20 + 24 * a0]);\n}\n'
E         
E           typedef struct struct_0 {
E               char padding_0[288];
E               struct struct_1 *field_120;
E           } struct_0;
E           
E           typedef struct struct_1 {
E               char field_0;
E           } struct_1;
E           
E           int main(unsigned int a0, unsigned long long a1)
E           {
E         -     unsigned int s_14c;  // [bp-0x14c]
E         -     unsigned long long s_158;  // [bp-0x158]
E         ?                        ^^^^^
E         +     unsigned long long v0;  // [bp-0x158]
E         ?                        ^^
E               struct_0 *v1;  // [bp-0x148]
E               unsigned long v2;  // [bp-0x140]
E               char v3;  // [bp-0x138]
E               char v4;  // [bp-0x134]
E               char v5;  // [bp-0x124]
E           
E         -     s_14c = a0;
E         -     s_158 = a1;
E         ?     ^^^^^
E         +     v0 = a1;
E         ?     ^^
E               v1 = malloc(296);
E               v1->field_120 = &v3;
E               v2 = &v1->padding_0[24 * a0 + 4];
E               *((unsigned int *)&(&v4)[240 + 4 * a0]) = a0;
E               *((unsigned int *)&v1->padding_0[244 + 4 * a0]) = a0;
E               *((unsigned int *)&(&v5)[24 * a0]) = a0;
E               *((unsigned int *)&v1->padding_0[20 + 24 * a0]) = a0;
E               v2 += 24;
E               return *((int *)&v1->field_120[20 + 24 * a0]);
E           }

tests/gui/test_decompilation_workflows.py:37: AssertionError

tests/analyses/decompiler/test_decompiler.py::TestDecompiler::test_decompiling_abnormal_switch_case_case3

Flake rate in main: 47.58% (Passed 65 times, Failed 59 times)

Stack Traces | 13.6s run time

self = <tests.analyses.decompiler.test_decompiler.TestDecompiler testMethod=test_decompiling_abnormal_switch_case_case3>
decompiler_options = None

    def test_decompiling_abnormal_switch_case_case3(self, decompiler_options=None):
        bin_path = os.path.join(test_location, "x86_64", "windows", "msvcr120.dll")
        proj = angr.Project(bin_path, auto_load_libs=False)
    
        cfg = proj.analyses.CFGFast(
            force_smart_scan=False, normalize=True, regions=[(0x18003C330, 0x18003C330 + 0x1000)]
        )
        f = proj.kb.functions[0x18003C330]
        d = proj.analyses[Decompiler].prep(fail_fast=True)(f, cfg=cfg.model, options=decompiler_options)
        print_decompilation_result(d)
        assert d.codegen.text.count("switch") == 1
        # assert d.codegen.text.count("goto LABEL_18003c3fc;") == 2
        # assert d.codegen.text.count("LABEL_18003c3fc:") == 1
        # 16 cases without a default case
        for i in range(16):
            assert f"case {i}:" in d.codegen.text
        assert "default:" not in d.codegen.text
    
        # a0 should be an integer and a1 should be a char pointer
        assert len(d.codegen.cfunc.arg_list) == 3
        arg0, arg1, arg2 = d.codegen.cfunc.arg_list
        arg0_type = arg0.type
        arg1_type = arg1.type
        arg2_type = arg2.type
>       assert isinstance(arg0_type, SimTypePointer), f"Unexpected arg0 type: {arg0_type}"
E       AssertionError: Unexpected arg0 type: unsigned long (64 bits)
E       assert False
E        +  where False = isinstance(unsigned long (64 bits), SimTypePointer)

.../analyses/decompiler/test_decompiler.py:4201: AssertionError