Project

General

Profile

Actions
Copy link

Bug #9910

closed

Symbolic executor fails to construct CFG

Added by Alexander Kamkin about 5 years ago. Updated almost 5 years ago.

Status:
Closed
Priority:
Normal
Assignee:
Artem Kotsynyak
Category:
Symexecutor
Target version:
2.5
Start date:
11/11/2019
Due date:
% Done:

100%

Estimated time:
Detected in build:
svn
Platform:
Published in build:
2.5.1-beta-200127

Description

Symbolic executor fails to construct CFG for fibonacci.c (-O3).

        {
            "range": [
                33,
                32
            ],
            "target_taken": -1,
            "target_other": -1,
            "condition_smt": "true",
            "hwstate_mod_smt": [
                {
                    "asm": {
                        "name": "PC",
                        "kind": "reg",
                        "type": "i64" 
                    },
                    "smt_in": "PC!126",
                    "smt_out": "PC!127",
                    "smt_type": "(_ BitVec 64)" 
                }
            ]
        }
Actions
Copy link

Also available in: Atom PDF